Hardprob/Minimum Register Sufficiency — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \leq на ≤) |
||
| Строка 4: | Строка 4: | ||
** порядок <m>v_1, \ldots, v_n</m> на вершинах <em>V</em> | ** порядок <m>v_1, \ldots, v_n</m> на вершинах <em>V</em> | ||
** последовательность <m>S_0, \ldots, S_n</m> подмножеств <em>V</em>, удовлетворяющих | ** последовательность <m>S_0, \ldots, S_n</m> подмножеств <em>V</em>, удовлетворяющих | ||
| − | *** <m>\vert S_i\vert | + | *** <m>\vert S_i\vert ≤ k</m> |
*** <m>S_0</m> — пустое | *** <m>S_0</m> — пустое | ||
*** <m>S_n</m> — содержит все вершины с нулевой входящей степенью в <em>G</em> | *** <m>S_n</m> — содержит все вершины с нулевой входящей степенью в <em>G</em> | ||
| − | *** <m>1 | + | *** <m>1 ≤ i ≤ n</m>, <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>. | ||
Версия 21:26, 17 апреля 2023
- Направленный ациклический граф
- Найти вычисление на G, которое использует k регистров, т.е.
- порядок на вершинах V
- последовательность подмножеств V, удовлетворяющих
- — пустое
- — содержит все вершины с нулевой входящей степенью в G
- , , , и содержит все вершины u, для которых
- Минимизировать число регистров,т.е. k.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «PO1»