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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Простое число <em>q</em>, набор <m>P=\{p_1(x), p_2(x),\ldots,p_m(x)\}</m> п…»)
 
 
Строка 1: Строка 1:
−
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
+
#перенаправление [[Hardprob/Maximum Satisfiability Of Quadratic Equations Over Gf(Q)]]
−
* Простое число <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 -->
+
  
 
[[Категория:ClassicHardProblems]]
 
[[Категория:ClassicHardProblems]]

Текущая версия на 14:18, 13 апреля 2023

Перенаправление на:

Источник — «https://discopal.ispras.ru/index.php?title=Hardprob/Maximum_Satisfiability_Of_Quadratic_Equations_Over_GF(Q)&oldid=23750»