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

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

  • Направленный ациклический граф G=(V,A)
  • Найти вычисление на G, которое использует k регистров, т.е.
    • порядок v1, …, vn на вершинах V
    • последовательность S0, …, Sn подмножеств V, удовлетворяющих
      • S0 — пустое
      • Sn — содержит все вершины с нулевой входящей степенью в G
      • , , , и содержит все вершины u, для которых
  • Минимизировать число регистров,т.е. k.

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