Hardprob/Maximum Packing Integer Programming — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(не показаны 3 промежуточные версии этого же участника)
Строка 1: Строка 1:
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
+
<!-- start -->{{png-image-for-hard-problem|{{PAGENAME}}}}
 
* Рациональная <em>m×n</em>-матрица <m>A∈[0,1]^{m\cdot n}</m>, рациональный <em>m</em>-вектор <m>b∈  [1,∞)^m</m>, рациональный <m>n</m>-вектор <m>c∈  [0,1]^n</m>.
 
* Рациональная <em>m×n</em>-матрица <m>A∈[0,1]^{m\cdot n}</m>, рациональный <em>m</em>-вектор <m>b∈  [1,∞)^m</m>, рациональный <m>n</m>-вектор <m>c∈  [0,1]^n</m>.
 
* Найти рациональный <em>n</em>-вектор <m>x∈  \{0,1\}^n</m>, такой что <em>Ax≤b</em>.
 
* Найти рациональный <em>n</em>-вектор <m>x∈  \{0,1\}^n</m>, такой что <em>Ax≤b</em>.
Строка 6: Строка 6:
 
----
 
----
 
{{hard-problem-on-lab17|{{PAGENAME}}}}
 
{{hard-problem-on-lab17|{{PAGENAME}}}}
<!-- * {{has-testdata-and-visualization}} -->
+
* {{has-testdata-and-visualization}}
<!-- * {{has-pyomo-model}}   -->
+
* {{has-pyomo-model}}
 
<!-- * {{has-npc-reduction}} -->
 
<!-- * {{has-npc-reduction}} -->
 
<!-- * {{add-random-fuzzing-tests}} -->
 
<!-- * {{add-random-fuzzing-tests}} -->
Строка 17: Строка 17:
 
</small>
 
</small>
 
<!-- end -->
 
<!-- end -->
{{reserve-task|[[Участник:StasFomin|StasFomin]] 21:14, 26 апреля 2023 (UTC)}}
 
  
 
[[Категория:ClassicHardProblems]]
 
[[Категория:ClassicHardProblems]]
 +
[[Категория:Mathematical Programming]]

Текущая версия на 13:15, 27 апреля 2023

Maximum-packing-integer-programming.png
  • Рациональная m×n-матрица , рациональный m-вектор , рациональный -вектор .
  • Найти рациональный n-вектор , такой что Ax≤b.
  • Максимизировать скалярное произведение c и x, т.е., .

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

  • Data-vis-logo.png — есть тестовые данные и визуализация.
  • PyomoLogo.png — есть Pyomo-формулировка для ЦЛП.