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

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

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

@@ Строка 1: / Строка 1: @@
 <!-- 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>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>.