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

Материал из DISCOPAL
Перейти к: навигация, поиск
м (StasFomin переименовал страницу Hardprob/ Minimum Register Sufficiency в Hardprob/Minimum Register Sufficiency без оставления перенаправления)
Строка 1: Строка 1:
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 
* Направленный ациклический граф <m>G=\left(V,A\right)</m>
 
* Направленный ациклический граф <m>G=\left(V,A\right)</m>
* Найти вычисления на Computation for <em>G</em>, которое использует <em>k</em> регистров, т.е.  
+
* Найти вычисление на <em>G</em>, которое использует <em>k</em> регистров, т.е.  
 
** порядок <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>, удовлетворяющих

Версия 07:50, 14 апреля 2023

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

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