|
Mathematical logic, algebra and number theory
On complexity of solving of equations over graphs
A. N. Rybalovab a Sobolev Institute of Mathematics, Pevtsova 13, Omsk, 644099, Russia
b Sobolev Institute of Mathematics, prospekt Koptyuga 4, Novosibirsk, 630090, Russia
Abstract:
In this paper the computational complexity of the problem of determining the compatibility of systems of equations without constants over an arbitrary fixed finite graph is studied. In this case, the graph is fixed, and the input is an arbitrary system of equations in the graph language without constants. A criterion is given for NP-completeness and polynomial decidability of this problem. Also its generic decidability in polynomial time is proved.
Keywords:
NP-completeness, generic complexity, graphs, equations.
Received November 29, 2023, published February 13, 2024
Citation:
A. N. Rybalov, “On complexity of solving of equations over graphs”, Sib. Èlektron. Mat. Izv., 21:1 (2024), 62–69
Linking options:
https://www.mathnet.ru/eng/semr1668 https://www.mathnet.ru/eng/semr/v21/i1/p62
|
|