Hardprob/Minimum Register Sufficiency — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена PCRE <m>(\w)_(\w),\s*…\s*,\s*(\w)_(\w)<\/m> на <em>\1<sub>\2</sub>, …, \3<sub>\4</sub></em>)
(Массовая правка: замена PCRE <m>(\w)\s*≤\s*(\w)\s*≤\s*(\w)\s*</m> на <em>\1 ≤ \2 ≤ \3</em>)
 
Строка 7: Строка 7:
 
***  <em>S<sub>0</sub></em> — пустое
 
***  <em>S<sub>0</sub></em> — пустое
 
***  <em>S<sub>n</sub></em> — содержит все вершины с нулевой входящей степенью в <em>G</em>
 
***  <em>S<sub>n</sub></em> — содержит все вершины с нулевой входящей степенью в <em>G</em>
***  <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>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.

Задача в лаб22 (рид-онли просмотр)