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

Версия 14:18, 13 апреля 2023

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

@@ Строка 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),\ldots,p_m(x)\}</m> полиномов степени не большей 2, над полем GF[<em>q</em>] от <em>n</em> переменных. Эти полиномы не должны содержать мономов <m>{x_i}^2 \ ∀i</m>.
+* Найти в подмножество полиномов <em>P'⊆ P</em>, у которых будет некий общий корень.
+* Максимизировать размер этого подмножества, т.е. <m>P'</m>.
+----
+{{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 -->