Abstract
We consider polynomials f(x1, …, xn) over a finite filed that satisfy the following condition: the set of solutions of the equation f(x1, …, xn) = b, where b is some element of the field, coincides with the set of solutions of some system of linear equations over this field. Such polynomials are said to be multiaffine with the right-hand side b (or with respect to b). We describe a number of properties of multiaffine polynomials. Then on the basis of these properties we propose a polynomial algorithm that takes a polynomial over a finite field and an element of the field as an input and decides whether the polynomial is multiaffine with respect to this element. In case of the positive answer the algorithm also outputs a system of linear equations that corresponds to this polynomial. The complexity of the proposed algorithm is the smallest in comparison with other known algorithms that solve this problem.
Originally published in Diskretnaya Matematika (2023) 35, №2, 109–124 (in Russian).
Funding statement: Research was supported by Ministry of Science and Higher Education of the Russian Federation within the framework of the program of Moscow Center of Fundamental and Applied Mathematics under the Agreement 075-15-2022-284.
References
[1] Gorshkov S. P., “On the complexity of recognizing multiaffinity, bijunctivity, weak positivity and weak negativity”, Obozr. promyshl. i prikl. matem., 4:2 (1997), 216–237 (in Russian).Search in Google Scholar
[2] Selezneva S. N., “Multiaffine polynomials over a finite field”, Discrete Math. Appl., 31:6 (2021), 421–430.10.1515/dma-2021-0038Search in Google Scholar
[3] Selezneva S. N., “Multiaffinity testing of algebra logic functions by their Zhegalkin polynomials”, Vestnik Mosk. un-ta. Ser. 15. Vychisl. matem. i kibernetika, 2022, №1, 42–49 (in Russian).10.3103/S027864192201006XSearch in Google Scholar
[4] Lidl R., Niederreiter H., Finite Fields, Addison-Wesley Publ. Inc., 1983, 755 pp.Search in Google Scholar
[5] Yablonsky S. V., Introduction to Discrete Mathematics, Vyssh. shk., Moscow, 2001 (in Russian), 384 pp.Search in Google Scholar
[6] Yablonskiy S. V., Gavrilov G. P., Nabebin A. A., Precomplete classes in multivalued logics, M.: Izd-vo MEI, 1997 (in Russian), 144 pp.Search in Google Scholar
[7] Tyrtyshnikov E. E., Basics of Algebra, M.: Fizmatlit, 2017 (in Russian), 464 pp.Search in Google Scholar
[8] Garey M. R. Johnson D. S., Computers and Intractability. A Guide to the Theory of NP-Completeness, W. H. Freeman & Co, 1979, 340 pp.Search in Google Scholar
© 2024 Walter de Gruyter GmbH, Berlin/Boston
Articles in the same Issue
- Frontmatter
- On large deviations of the moment of attaining far level by the random walk in a random environment
- Asymptotic local lower deviations of strictly supercritical branching process in a random environment with geometric distributions of descendants
- Cloning operations and graph diameter
- Relations between energy complexity measures of Boolean networks and positive sensitivity of Boolean functions
- On the maximal size of tree in a random forest
- Deciding multiaffinity of polynomials over a finite field
- Probability that given vertices belong to the same connected component of random equiprobable mapping
Articles in the same Issue
- Frontmatter
- On large deviations of the moment of attaining far level by the random walk in a random environment
- Asymptotic local lower deviations of strictly supercritical branching process in a random environment with geometric distributions of descendants
- Cloning operations and graph diameter
- Relations between energy complexity measures of Boolean networks and positive sensitivity of Boolean functions
- On the maximal size of tree in a random forest
- Deciding multiaffinity of polynomials over a finite field
- Probability that given vertices belong to the same connected component of random equiprobable mapping