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

Материал из DISCOPAL
Перейти к: навигация, поиск
Строка 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}} -->

Версия 09:24, 27 апреля 2023

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

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

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

Задача зарезервирована: StasFomin 21:13, 26 апреля 2023 (UTC)