Просмотр исходного текста страницы 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]]