Hardprob/Minimum Register Sufficiency — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Направленный ациклический граф <m>G=\left(V,A\right)</m> * Най…») |
StasFomin (обсуждение | вклад) м (StasFomin переименовал страницу Hardprob/ Minimum Register Sufficiency в Hardprob/Minimum Register Sufficiency без оставления перенаправления) |
(нет различий)
| |
Версия 07:48, 14 апреля 2023
- Направленный ациклический граф
- Найти вычисления на Computation for G, которое использует k регистров, т.е.
- порядок на вершинах V
- последовательность подмножеств V, удовлетворяющих
- — пустое
- — содержит все вершины с нулевой входящей степенью в G
- , , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»