Abstract:
Studying finite systems of Diophantine equations over finite configurations, we prove that the consistency problem for such systems is NP-complete.
Keywords:configuration, incidence, system of equations, nondeterministic Turing machine, NP-complete problem.