Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction

Andreas Björklund, Petteri Kaski, Ryan Williams

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

12 Sitaatiot (Scopus)
216 Lataukset (Pure)

Abstrakti

We consider the problem of finding solutions to systems of polynomial equations over a finite field. Lokshtanov et al. [SODA'17] recently obtained the first worst-case algorithms that beat exhaustive search for this problem. In particular for degree-d equations modulo two in n variables, they gave an O2(1−1/(5d))n time algorithm, and for the special case d = 2 they gave an O20.876n time algorithm. We modify their approach in a way that improves these running times to O2(1−1/(27d))n and O20.804n, respectively. In particular, our latter bound - that holds for all systems of quadratic equations modulo 2 - comes close to the O20.792n expected time bound of an algorithm empirically found to hold for random equation systems in Bardet et al. [J. Complexity, 2013]. Our improvement involves three observations: 1. The Valiant-Vazirani lemma can be used to reduce the solution-finding problem to that of counting solutions modulo 2. 2. The monomials in the probabilistic polynomials used in this solution-counting modulo 2 have a special form that we exploit to obtain better bounds on their number than in Lokshtanov et al. [SODA'17]. 3. The problem of solution-counting modulo 2 can be “embedded” in a smaller instance of the original problem, which enables us to apply the algorithm as a subroutine to itself.

AlkuperäiskieliEnglanti
Otsikko46th International Colloquium on Automata, Languages, and Programming, ICALP 2019
ToimittajatIoannis Chatzigiannakis, Christel Baier, Stefano Leonardi, Paola Flocchini
KustantajaSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Sivut1-13
ISBN (elektroninen)9783959771092
DOI - pysyväislinkit
TilaJulkaistu - 1 heinäk. 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaInternational Colloquium on Automata, Languages and Programming - Patras, Kreikka
Kesto: 8 heinäk. 201912 heinäk. 2019
Konferenssinumero: 46

Julkaisusarja

NimiLeibniz international proceedings in informatics
KustantajaSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Vuosikerta132
ISSN (painettu)1868-8969

Conference

ConferenceInternational Colloquium on Automata, Languages and Programming
LyhennettäICALP
Maa/AlueKreikka
KaupunkiPatras
Ajanjakso08/07/201912/07/2019

Sormenjälki

Sukella tutkimusaiheisiin 'Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä