Hardprob/Maximum Satisfiability Of Quadratic Equations Over Gf(Q) — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(Массовая правка: замена \ldots на …)
 
(не показаны 3 промежуточные версии этого же участника)
Строка 1: Строка 1:
#перенаправление [[Hardprob/Maximum Satisfiability Of Quadratic Equations Over GF(Q)]]
+
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 +
* Простое число <em>q</em>, набор <m>P=\{p_1(x), p_2(x),…,p_m(x)\}</m> полиномов степени не большей 2, над полем GF[<em>q</em>] от <em>n</em> переменных. Эти полиномы не должны содержать мономов <m>{x_i}^2 \ ∀i</m>.
 +
* Найти в подмножество полиномов <em>P'⊆ P</em>, у которых будет некий общий корень.
 +
* Максимизировать размер этого подмножества, т.е. <em>P'</em>.
 +
 
 +
----
 +
{{hard-problem-on-lab17|{{PAGENAME}}}}
 +
<!-- * {{has-testdata-and-visualization}} -->
 +
<!-- * {{has-pyomo-model}}  -->
 +
<!-- * {{has-npc-reduction}} -->
 +
<!-- * {{add-random-fuzzing-tests}} -->
 +
----
 +
<small>
 +
{{ViggoCode|node219}}
 +
{{GDCode|AN9}} (аналог)
 +
<!-- * [ Задача в википедии]  -->
 +
</small>
 +
<!-- end -->
 +
 
 +
[[Категория:ClassicHardProblems]]

Текущая версия на 22:45, 17 апреля 2023

  • Простое число q, набор полиномов степени не большей 2, над полем GF[q] от n переменных. Эти полиномы не должны содержать мономов .
  • Найти в подмножество полиномов P'⊆ P, у которых будет некий общий корень.
  • Максимизировать размер этого подмножества, т.е. P'.

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