Hardprob/Minimum Register Sufficiency
Материал из DISCOPAL
Версия от 11:08, 17 апреля 2023; StasFomin (обсуждение | вклад) (Массовая правка: замена \subseteq на ⊆)
- Направленный ациклический граф
- Найти вычисление на G, которое использует k регистров, т.е.
- порядок на вершинах V
- последовательность подмножеств V, удовлетворяющих
- — пустое
- — содержит все вершины с нулевой входящей степенью в G
- , , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.