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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена \in на ∈)
(Массовая правка: замена \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 \leq k</m>  
+
***  <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 \leq i \leq 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>
+
***  <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.

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