Hardprob/Minimum Register Sufficiency — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)_(\w)</m> на <em>\1<sub>\2</sub></em>) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \ldots на …) |
||
| Строка 2: | Строка 2: | ||
* Направленный ациклический граф <em>G=(V,A)</em> | * Направленный ациклический граф <em>G=(V,A)</em> | ||
* Найти вычисление на <em>G</em>, которое использует <em>k</em> регистров, т.е. | * Найти вычисление на <em>G</em>, которое использует <em>k</em> регистров, т.е. | ||
| − | ** порядок <m>v_1, | + | ** порядок <m>v_1, …, v_n</m> на вершинах <em>V</em> |
| − | ** последовательность <m>S_0, | + | ** последовательность <m>S_0, …, S_n</m> подмножеств <em>V</em>, удовлетворяющих |
*** <m>\vert S_i\vert ≤ k</m> | *** <m>\vert S_i\vert ≤ k</m> | ||
*** <em>S<sub>0</sub></em> — пустое | *** <em>S<sub>0</sub></em> — пустое | ||
Версия 22:45, 17 апреля 2023
- Направленный ациклический граф G=(V,A)
- Найти вычисление на G, которое использует k регистров, т.е.
- порядок на вершинах V
- последовательность подмножеств V, удовлетворяющих
- S0 — пустое
- Sn — содержит все вершины с нулевой входящей степенью в G
- , , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»