В статье предлагаются три серии теретико-числовых задач с явно выделенными параметрами, касающиеся систем сравнений по модулю $m$ и систем диофантовых уравнений с решениями из заданного отрезка. Доказываются ограничения на параметры, при выполнении которых любая задача каждой серии NP-полна. Доказывается, что при любых $m_1$ и $m_2$ ($m_12$ задача проверки совместности на подмножестве, содержащем по крайней мере 2 элемента, множества $\{ 0, ... , m-1 \}$ системы линейных сравнений по модулю $m$, каждое из которых содержит ровно 3 переменные, NP-полна. Для систем линейных диофантовых уравнений, каждое из которых содержит ровно 3 переменные, доказана NP-полнота задачи проверки их совместности на заданном отрезке целых чисел.Эта задача допускает также и простую геометрическую и
Original languageRussian
Pages (from-to)198 — 203
JournalВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ
Volume3 (61)
Issue number2
StatePublished - 2016
Externally publishedYes

ID: 7591720