В статье предлагаются две серии теретико-числовых задач с явно выделенными параметрами, касающиеся дизсравнений по модулю m. Доказываются ограничения на параметры, при выполнении которых любая задача каждой серии NP-полна.
Доказывается, что при всяком m>2 задача проверки совместности системы линейных дизсравнений по модулю m, каждое из которых содержит ровно 3 переменные (даже если коэффициенты при них из {-1,1}), NP-полна.
Также доказывается, что при всяком m>3 задача проверки совместности системы линейных дизсравнений по модулю m, каждое из которых содержит ровно 2 переменные, NP-полна.
Если P \neq NP, то формулировки доказанных теорем не могут быть изменены путём замены термина > на термин >.