Hardprob/Minimum Register Sufficiency
Материал из DISCOPAL
- Направленный ациклический граф G=(V,A)
- Найти вычисление на G, которое использует k регистров, т.е.
- порядок v1, …, vn на вершинах V
- последовательность S0, …, Sn подмножеств V, удовлетворяющих
- S0 — пустое
- Sn — содержит все вершины с нулевой входящей степенью в G
- 1 ≤ i ≤ n, , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.