Hardprob/Minimum Register Sufficiency — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)\s*≤\s*(\w)\s*≤\s*(\w)\s*</m> на <em>\1 ≤ \2 ≤ \3</em>) |
||
| (не показано 7 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
| − | * Направленный ациклический граф < | + | * Направленный ациклический граф <em>G=(V,A)</em> |
* Найти вычисление на <em>G</em>, которое использует <em>k</em> регистров, т.е. | * Найти вычисление на <em>G</em>, которое использует <em>k</em> регистров, т.е. | ||
| − | ** порядок < | + | ** порядок <em>v<sub>1</sub>, …, v<sub>n</sub></em> на вершинах <em>V</em> |
| − | ** последовательность < | + | ** последовательность <em>S<sub>0</sub>, …, S<sub>n</sub></em> подмножеств <em>V</em>, удовлетворяющих |
| − | *** <m>\vert S_i\vert | + | *** <m>\vert S_i\vert ≤ k</m> |
| − | *** < | + | *** <em>S<sub>0</sub></em> — пустое |
| − | *** < | + | *** <em>S<sub>n</sub></em> — содержит все вершины с нулевой входящей степенью в <em>G</em> |
| − | *** < | + | *** <em>1 ≤ i ≤ n</em>, <m>v_i ∈ S_i</m>, <m>S_i - \{v_i\} ⊆ S_{i-1}</m>, и <m>S_{i-1}</m> содержит все вершины <em>u</em>, для которых <m>(v_i,u) ∈ A</m> |
* Минимизировать число регистров,т.е. <em>k</em>. | * Минимизировать число регистров,т.е. <em>k</em>. | ||
Текущая версия на 23:44, 17 апреля 2023
- Направленный ациклический граф G=(V,A)
- Найти вычисление на G, которое использует k регистров, т.е.
- порядок v1, …, vn на вершинах V
- последовательность S0, …, Sn подмножеств V, удовлетворяющих
- S0 — пустое
- Sn — содержит все вершины с нулевой входящей степенью в G
- 1 ≤ i ≤ n, , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»