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

Текущая версия на 16:53, 21 мая 2025

Набор инструкций, формирующих некий блок без переходов,
- N доступных регистров,
- стоимость чтения и записи в регистр i.
Порядок резервирования регистров для этой последовательности инструкций.
Минимизировать полную стоимость чтения-записи в регистры.

— есть тестовые данные и визуализация.
— есть Pyomo-формулировка для ЦЛП.
- Правда там две, студента и моя, надо прорефакторить и слить.

@@ Строка 1: / Строка 1: @@
 <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
-* Набор инструкций, формирующих некий блое без переходов,
+* Набор инструкций, формирующих некий блок без переходов,
 ** <em>N</em> доступных регистров,
-** стоимость <m>S_i, \ \ 1\le i\le N</m> чтения и записи в регистр <em>i</em>.
+** стоимость <m>S_i, \ \ 1≤i≤N</m> чтения и записи в регистр <em>i</em>.
 * Порядок резервирования регистров для этой последовательности инструкций.
 * Минимизировать полную стоимость чтения-записи в регистры.
@@ Строка 8: / Строка 8: @@
 ----
 {{hard-problem-on-lab17|{{PAGENAME}}}}
-<!-- * {{has-testdata-and-visualization}} -->
+* {{has-testdata-and-visualization}}
-<!-- * {{has-pyomo-model}}   -->
+* {{has-pyomo-model}}
+** Правда там две, студента и моя, надо прорефакторить и слить.
 <!-- * {{has-npc-reduction}} -->
 <!-- * {{add-random-fuzzing-tests}} -->