Hardprob/Minimum Register Sufficiency
Материал из DISCOPAL
Версия от 22:54, 17 апреля 2023; StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)_(\w),\s*…\s*,\s*(\w)_(\w)<\/m> на <em>\1<sub>\2</sub>, …, \3<sub>\4</sub></em>)
- Направленный ациклический граф G=(V,A)
- Найти вычисление на G, которое использует k регистров, т.е.
- порядок v1, …, vn на вершинах V
- последовательность S0, …, Sn подмножеств V, удовлетворяющих
- S0 — пустое
- Sn — содержит все вершины с нулевой входящей степенью в G
- , , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.