Hardprob/Maximum Satisfying Linear Subsystem — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Система линейных уравнений <em>Ax=b</em>, где <em>A</em> цело…») |
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
* Система линейных уравнений <em>Ax=b</em>, где <em>A</em> целочисленная <em>m×n</em>—матрица, и целочисленный <em>m</em>-вектор <em>b</em>. | * Система линейных уравнений <em>Ax=b</em>, где <em>A</em> целочисленная <em>m×n</em>—матрица, и целочисленный <em>m</em>-вектор <em>b</em>. | ||
| − | * Найти рациональный <em>n</em>-вектор <m> | + | * Найти рациональный <em>n</em>-вектор <m>x∈ Q^n</m>. |
* Максимизировать число уравнений, которые выполняются найденным <em>x</em>. | * Максимизировать число уравнений, которые выполняются найденным <em>x</em>. | ||
Текущая версия на 18:00, 17 апреля 2023
- Система линейных уравнений Ax=b, где A целочисленная m×n—матрица, и целочисленный m-вектор b.
- Найти рациональный n-вектор .
- Максимизировать число уравнений, которые выполняются найденным x.
Код в «maximum-satisfying-linear-subsystem.ipynb» на гитлаб или живьем в лабе