УДК 510.51 Вестник СПбГУ. Математика. Механика. Астрономия. Т. 4 (62). 2017. Вып. 2
МЯО 11У16
^-ПОЛНЫЕ ЗАДАЧИ О СИСТЕМАХ ДЕЛИМОСТЕЙ ЗНАЧЕНИЙ ЛИНЕЙНЫХ ВЫРАЖЕНИЙ
Н. К. Косовский, Т. М. Косовская, Н. Н. Косовский, М. Р. Старчак
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Целью данной статьи является исследование алгоритмической сложности подзадач задачи проверки совместности систем делимостей значений линейных выражений с неотрицательными коэффициентами в положительных целых числах. В общем случае не известно, принадлежит ли она классу NP, но известна ее принадлежность классу NEXPTIME.
В работе доказывается КР-полнота двух серий сужений этой задачи, что в первом из них делителем линейного выражения является число, а во втором сужении линейное выражение является делителем числа. Установлены значения параметров, при которых задачи являются КР-полными. Для меньших значений параметра доказана принадлежность задач классу Р.
Доказана КР-трудность частного случая общей задачи СОВМЕСТНАЯ ДЕЛИМОСТЬ ЛИНЕЙНЫХ МНОГОЧЛЕНОВ, в котором коэффициенты при переменных могут принимать значения только из множества {1, 2}, а свободные члены линейных выражений—только из множества {1, 5}. Библиогр. 13 назв.
Ключевые слова: система делимостей значений линейных выражений, КР-трудность, КР-полнота.
Введение. Задачи, рассматриваемые в статье, связаны с задачей СОВМЕСТНАЯ ДЕЛИМОСТЬ ЛИНЕЙНЫХ МНОГОЧЛЕНОВ (СДЛМ) из [1]. Доказательство МР-трудности этой задачи в [2] стало дополнением к результату о разрешимости экзистенциальной теории натуральных чисел со сложением и делимостью [3, 4]. На основе этих результатов доказываются сложностные характеристики многих вопросов формальной верификации программ, например, МР-трудность задачи достижимости заданного состояния в параметрической автоматной односчетчиковой машине [5].
В [2] показано, что задача МР-полна для любого фиксированного числа делимостей т > 5, однако не известно, принадлежит ли СДЛМ в общем виде классу NP. В работе [6] приводится доказательство принадлежности этой задачи классу NEXPTIME, то есть доказательство существования алгоритма, решающего задачу за 2п ( ) шагов на недетерминированной машине Тьюринга.
Предметом изучения данной статьи, в частности, является проверка совместности систем произвольного числа делимостей значений линейных выражений с неотрицательными коэффициентами в положительных целых числах. Доказывается МР-полнота двух сужений этой задачи, в первом из них каждое линейное выражение является делителем одного и того же числа, а во втором сужении делителем каждого линейного выражения является одно и то же число.
Доказана МР-трудность частного случая общей задачи СДЛМ, в котором коэффициенты при переменных могут принимать значения только из множества {1, 2}, а свободные члены линейных выражений — только из множества {1, 5}. Полученные результаты могут послужить основой для дальнейшего выяснения точной алгоритмической сложности общей задачи.
(¡5 Санкт-Петербургский государственный университет, 2017
Отметим, что в работах [7-9] доказан ряд теорем о NP-полноте систем простейших линейных уравнений и дизуравнений специального вида. Для доказательства этих теорем, как и для некоторых теорем, установленных ниже, используется NP-полнота задачи 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ (доказана в [10] и приведена в [1]).
В оригинальном английском издании [1] задача СДЛМ названа SIMULTANIOUS DIVISIBILITY OF LINEAR POLYNOMIALS. Поскольку слова «совместная делимость» в русском языке могут трактоваться как одновременная делимость a на b и делимость b на а, а «simultanious equations» переводится обычно как «система уравнений», будем говорить о «системе делимостей». Кроме того, термин «делимость линейных многочленов» может восприниматься как их делимость нацело при любых значениях переменных. В связи с этим в названиях рассматриваемых ниже задач будут использованы слова система делимостей значений линейных выражений.
1. Сложность решения задач о совместности систем делимостей одного и того же числа значениями линейных выражений. В работе [11] была доказана y-полнота задачи ЛИНЕЙНАЯ ДЕЛИМОСТЬ (ЛД), состоящей в проверке разрешимости в положительных целых числах одной делимости вида aixi + 1 | К, где ai и K — положительные целые числа. Этот результат означает отсутствие для задачи ЛД полиномиального алгоритма решения в предположении NP = co-NP, а значит, и для систем делимостей числа на значения линейных полиномов с хотя бы одним ненулевым коэффициентом при переменных и единичными свободными членами.
Из совпадения классов NP и co-NP непосредственно не следует равенство классов P и NP. Кроме того, известно не так много Y-полных задач в сравнении с обширным классом NP-полных проблем. В связи с этим, доказательство отсутствия полиномиального алгоритма решения данной задачи в предположении P = NP является общепринятым признаком отсутствия для нее какого-либо полиномиального алгоритма. Поэтому далее будет рассмотрен вопрос, при каком числе ненулевых коэффициентов при переменных и для каких чисел K задача совместности системы де-лимостей числа K на значения заданных линейных выражений является NP-полной. Сформулируем общую задачу.
Совместность системы делимостей числа K на значения линейных выражений (СДК).
УСЛОВИЕ: Задан набор векторов a® = (a^o,..., ajjn) с неотрицательными целыми
лП
Jj= 1 a*>j Xj
п
координатами, представляющих линейные выражения вида a^o + j=i a®,jXj
при 1 < г < т, и целое положительное число К.
ВОПРОС: Существуют ли такие положительные целые числа х1,х2,...,хп, что а«,о +12^=1 аг,з хо делит К для всех 1 < г < т?
Докажем, что эта задача уже МР-полна в таком частном случае, когда в каждом линейном выражении имеется ровно три ненулевых коэффициента при переменных.
Теорема 1.1. При любом целом К > 4, задача СДК при условии, что в каждом линейном выражении имеется ровно три ненулевых коэффициента при переменных, является МР-полной.
Доказательство. То, что задача принадлежит классу NP, очевидно, поскольку значения всех переменных хI принадлежат множеству целых чисел из отрезка [1, К].
К данной проблеме сводится задача 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ, при этом каждой пропозициональной переменной щ из этой задачи ставятся в соответствие две числовые переменные хг и хг и дополнительно вводятся три переменные , Ш2, —з.
Для того чтобы обеспечить условия, при которых переменные хг и хг принимают ровно одно из двух значений 1 или 2 и значения переменных различны, запишем систему из двух делимостей
(К — 4) + хг + хХг + Ш1 | К, (К — 4) + 2Ш1 + Ш2 + Ш3 | К.
Каждому предложению ¿1 V Х2 V хз (где х^ — пропозициональная переменная или ее отрицание) из условия задачи 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ ставим в соответствие делимость (К — 4) + у 1 + у2 + уз | К, где у- = хг, если х^ = иг, и у у = хг, если х^ = — иг (а = 1, 2, 3).
Так получим систему делимостей требуемого вида, совместную тогда и только
тогда, когда задача 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ имеет решение.
□
Так как для всякого К > 4 задача СДК принадлежит классу NP и задача, сформулированная в теореме 1.1, является ее сужением, имеет место следующий результат.
Следствие теоремы 1.1. Для всякого К > 4 задача СДК является ИР-полной.
Задачи о совместности системы делимостей числа К при 0 < К < 3 линейными многочленами принадлежат классу P. Для значений К =1 и К = 2 доказательство очевидно. Случай К = 3 сформулируем в виде утверждения.
Утверждение 1.1. Задача СД3 разрешима за полиномиальное время.
Доказательство. Для задачи СД3 имеют решения только системы с делимо-стями следующих видов:
(1) х! + х2 + хз | 3;
(2) 1 + х! + х2 | 3;
(3) 2х1 + х2 | 3;
(4) х1 + х2 | 3;
(5) 2 + х1 | 3;
(6) 1 + х1 | 3;
(7) 3х1 | 3;
(8) х1 | 3.
Если в системе имеются выражения иного вида, такая система несовместна.
За исключением случаев (4) и (8) значения хг определяются однозначно: хг = 2 для (6) и хг = 1 для остальных случаев.
Подсистему делимостей только из выражений вида (4) хг + х^- | 3 можно, например, интерпретировать как граф с ребрами {хг,х^} и за полиномиальное число шагов на машине Тьюринга проверить, является ли он 2-раскрашиваемым, с помощью алгоритма поиска в глубину за полином шагов от числа переменных, входящих в эту подсистему (и, следовательно, от длины записи подсистемы). Переменным, соответствующим вершинам одной доли, присваиваем значение 1, а соответствующим вершинам другой доли — значение 2. Получили два варианта возможных решений подсистемы делимостей только из выражений вида (4). Значения 2 возможны только
для переменных, входящих в выражения вида (6). Если в основной системе в выражениях вида (6) присутствуют переменные, соответствующие вершинам из обеих долей, система решений не имеет. Если в основной системе в выражениях вида (6) присутствуют переменные, соответствующие вершинам только из одной доли, у подсистемы из выражений вида (4) принимается только одно решение.
Выражения вида (8) имеют два решения: хг = 1 или хг = 3. Если переменная хг имеется в какой-либо другой делимости вида, отличного от (8), (4) и (6), то хг = 1. Если переменная хг имеется как в делимости вида (8), так и в делимости вида (6), система несовместна. Если переменные хг и х3- имеются как в делимости вида (8), так и в делимости вида (4), причем при анализе подсистемы из делимостей вида (4) эти переменные получили разные значения, то система несовместна. □
2. Сложность решения задач о совместной делимости значений линейных выражений на одно и то же число. Определим задачу, симметричную сформулированной в разделе 1. Пусть имеем целое число, большее единицы. Какова алгоритмическая сложность задачи проверки совместности в положительных целых числах системы делимостей на это число значений линейных выражений с неотрицательными коэффициентами?
Если на значения переменных не наложено ограничение, каждую делимость можно переписать в виде линейного сравнения по модулю К, где К — число из условия задачи. Проверка совместности системы сравнений выполняется за полиномиальное время даже в том случае, когда мы не знаем разложения К на простые множители [12, раздел 2.3.4].
В дальнейшем вопросы совместности систем в данном разделе будут рассматриваться на отрезке положительных целых чисел.
Совместность на отрезке системы делимостей значений линейных выражений на число К (СДнаК).
УСЛОВИЕ: Пусть заданы положительное целое число К, отрезок положительных целых чисел [П, П'] при 0 < П, П' < К и набор векторов аг = (аг,о,..., аг,п) с неотрицательными целыми координатами, представляющих линейные выражения вида аг,о + 12^=1 а%,зх3', при 1 < г < т.
ВОПРОС: Существуют ли числа х1, х2,..., хп из отрезка [П, П'] такие, что К делит
лП
■'3 =
аг,о + П=1 аг,3 хз для всех 1 < г < т?
Здесь К является параметром сформулированной серии задач. Докажем, что некоторые задачи этой серии, имеющие делитель вида кП при целом к > 3, являются МР-полными.
Теорема 2.1. При любом целом к > 3, задача СДна(кП) на невырожденном отрезке положительных целых чисел [П, П'] при условии, что в каждом линейном выражении имеется ровно три ненулевых коэффициента при переменных, является МР-полной.
Доказательство. То, что задача принадлежит классу NP, очевидно, поскольку на отрезке конечное число целых чисел.
Построим полиномиальное сведение задачи 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ к данной задаче.
Каждой пропозициональной переменной иг из этой задачи поставим в соответствие две числовые переменные хг и хг. Дизъюнкции вида ¿1 V ¿2 V ¿з поставим в
соответствие делимость kD | (2kD — 3D — 1) + yi + y2 + Уз, где yj = xj, если Zj = Mj, и yj = xj, если Zj = —Mj (j = 1, 2, 3). Логические константы истина и ложь кодируются числами D +1 и D соответственно.
Для обеспечения условия, при котором переменные xj и xj соответствуют пропозициональной переменной uj и ее отрицанию, введем новые переменные u>i,u>2,u>3 и запишем систему делимостей
'kD | (2kD — 3D — 1) + w + xj + xj, kD | (2kD — 3D — 1) + w2 + xj + xj, ^kD | (2kD — 3D — 1) + w + w2 + w3.
Значение D' возьмем из отрезка [D + 1, D + [f-^J] •
При k > 3 и D > 1 свободный член равен 2kD — 3D — 1 > 2. Ограничение на значения переменных Xi < D-\- [f-Dj таково, что значения полиномов не превосходят 2kD — 3D — 1 + 3 (D + D\) < 3kD — 1. Следовательно, получаем систему требуемого в формулировке теоремы вида, совместную тогда и только тогда, когда задача 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ имеет решение. □
Задача СДна2 очевидно принадлежит классу P. Положив значение начала отрезка D = 1, получим следующий результат.
Следствие 1 теоремы 2.1. Для всякого K > 3, задача СДнаК является NP-полной.
Пусть далее параметром задачи является число ненулевых коэффициентов при переменных в каждом полиноме. Сформулируем следующую серию задач, зависящих от параметра k.
Совместность на отрезке системы делимостей значений линейных выражений с не более чем k ненулевыми коэффициентами при переменных на число (k-СДЧ).
УСЛОВИЕ: Пусть заданы положительное целое число K, отрезок положительных целых чисел [D, D'] при 0 < D, D' < K и набор векторов неотрицательных целых чисел aj = (ajo,...,ajn), представляющих линейные выражения вида aj,0 + Xj=i aj,j xj, при 1 < i < m с не более чем k ненулевыми коэффициентами при переменных.
ВОПРОС: Существуют ли положительные целые числа xi,x2,...,xn из отрезка [D, D'] такие, что K делит aj,o + Y1 n=i ai,jxj для всех 1 < i < m?
Для таким образом сформулированной задачи, получим следствие теоремы 2.1.
Следствие 2 теоремы 2.1. Задача 3-СДЧ является NP-полной.
Доказательство NP-полноты для случая k = 2 основано на сведении к 2-СДЧ задачи GOOD SIMULTANEOUS APPROXIMATION из [13]. Приведем формулировку этой задачи.
ПРИБЛИЖЕНИЕ ВЕКТОРА (ПВ)
УСЛОВИЕ: Задан рациональный вектор a = (ai/bi,..., an/bn), положительные целые числа N и s.
ВОПРОС: Существует ли целое число Q € [1, N], что max < min
1<i<n kE Z
Qfr-k
< ± ?
Теорема 2.2. Задача 2-СДЧ является NP-полной.
Доказательство. То, что задача принадлежит классу NP, очевидно, поскольку на отрезке конечное число целых чисел.
В действительности, в [13] доказана NP-полнота задачи ПВ с ограничением на значение параметра s > 4(d + 1)pRpi, где d, R — некоторые положительные целые числа, po,Pi —некоторые простые числа. По этой причине задача ПВ останется NP-полной, если дополнить условие неравенством s > 5.
Пусть B = НОК(Ь1, ..., bn). Задача ПВ нетривиальна для N < B. Построим полиномиальное сведение задачи ПВ при s > 5 и N<B к 2-СДЧ.
Условие max < min |Qaj/bj — k| > < 1/s перепишем в виде системы n неравенств
i<i<n fcez J
вида IQaj/bj — k®| < 1/s с целочисленными переменными ki,..., kn и переменной Q, принимающей значения из отрезка [1, N].
Умножая каждое неравенство на Bs, получим —B < Q(aj/bj)Bs — k®Bs < B. Следует заметить, что выражение — (aj/bj)Bs является целым числом, так как B = НОК(Ь1, ..., bn). Тогда определим a® как наименьшие неотрицательные числа такие, что a® = ( —(aj/bj)Bs) (modBs).
Пусть далее K = Bs и x® = Q(aj/bj)K — k®K для 1 < г < n. Переименуем для удобства Q в xn+i. Таким образом, имеем систему сравнений вида x® + ajXn+i = 0 (mod K), где x® G [—B, B] для 1 < г < n и xn+1 G [1, N].
Поскольку K = Bs > 5B, получаем, что каждое сравнение эквивалентно делимости K | (K — B — 1)+ x® + aixn+i на отрезке положительных целых чисел [1, 2B + 1]. Для того чтобы обеспечить выполнение условия xn+i G [1,N], введем новую переменную xn+2 и дополним систему делимостью K | (K — N — 1) + xn+i + xn+2 для xn+i, xn+2 G [1, 2B + 1]. Такое представление корректно, так как имеет место следующая цепочка неравенств —K < —B < —N + 1 < xn+1 + xn+2 — N — 1 < 4B — N +1 < 5B < K, следовательно, xn+1 + xn+2 = N +1.
Таким образом, каждой индивидуальной задаче ПВ при s > 5 и N < B ставится в соответствие эквивалентная по разрешимости индивидуальная задача 2-СДЧ вида
K | (K — b — 1) + xi + aixn+i,
K | (K — в — 1) + xn + anxn+i, K | (K — N — 1) + xn+1 + xn+2
на отрезке целых чисел из [1, 2В + 1] при К > 5В и N < В. Все шаги построения осуществляются за полиномиальное от длины исходных данных число шагов, следовательно, построенное сведение полиномиально, а задача 2-СДЧ МР-полна. □
В случае только одного ненулевого коэффициента при переменных в каждой делимости, получаем задачу из класса P.
Утверждение 2.1. Задача 1-СДЧ разрешима за полиномиальное время.
Доказательство. Проверка совместности системы делимостей вида
K | 01,0 + «1,1x1, K | 02,0 + 02,1x1,
K | a¿,o + a¿,jxj,
K 1 am,0 + am,nxn
на отрезке целых чисел [D, D'] при 0 < D, D' < K выполняется за полиномиальное число шагов на машине Тьюринга. Каждую делимость перепишем в виде линейного сравнения aj,jXj = — aj,o(mod K) и решим его с помощью расширенного алгоритма Евклида. Получив отдельно для каждой переменной x¿ систему сравнений вида Xj = Oj(modkj), воспользуемся обобщенной китайской теоремой об остатках. Либо система несовместна, либо за полиномиальное число шагов на машине Тьюринга получим единственное решение по модулю K¿ = HOK(kil,..., kj). Так как K¿|K, осталось проверить для каждой переменной x¿ имеется ли такое решение системы сравнений, которое принадлежит отрезку [D, D']. □
3. NP-трудность одной подзадачи совместной делимости линейных многочленов. Л. Липшицем в [2] установлена NP-трудность задачи СДЛМ. Формулировка этого результата приведена в [1]. Сформулируем эту задачу.
СОВМЕСТНАЯ ДЕЛИМОСТЬ ЛИНЕЙНЫХ МНОГОЧЛЕНОВ (СДЛМ)
УСЛОВИЕ: Заданы векторы Oj = Oj o,..., 0j,n и bj = bj o,..., bj,n при 1 < j < m с положительными целыми координатами.
ВОПРОС: Существуют ли такие положительные целые числа X1, X2,..., xn, что при всех j (1 < j < m) выполняется Oj,0 + Y1 Г=1 aj,íXí | bj,0 + 2Г=1 bj,íXj?
Докажем NP-трудность ее подзадачи.
Теорема 3.1. NP-трудна задача проверки совместности в положительных целых числах систем делимостей значений линейных полиномов от одних и тех же переменных с коэффициентами из {1,2} и свободными членами из {1,5}.
Заметим, что если P, Q > 1, то (P = Q) ^ (P | Q) & (Q | P). Поэтому для доказательства теоремы 3.1 достаточно доказать следующую лемму.
Лемма 3.1. NP-полна задача проверки совместности в положительных целых числах систем вида &!= (oj,0 + Y1 Г=1 aj,íXí = bj,0 + Y1 Г=1 bj,íXj) с коэффициентами при переменных из {1,2} и свободными членами из {1,5}. При этом каждая переменная входит хотя бы в одно уравнение с разными коэффициентами в его правую и левую части и, кроме того, все коэффициенты переменных, равные двум, могут встретиться только в одной части уравнения.
Доказательство. Принадлежность задачи классу NP, следует из того, что все коэффициенты, равные двум, могут встретиться только в одной части уравнения и каждая из переменных входит хотя бы в одно уравнение с разными коэффициентами при ней в его правой и левой частях. Поэтому после приведения подобных членов получим систему уравнений вида ^i x¿ = 4, так как наличие уравнения другого вида, отличного от 0 = 0, указывало бы на несовместность системы в положительных
целых числах. Таким образом, переменные жг принимают целые значения из отрезка [1, 4]. Следовательно, недетерминированной машине для проверки совместности системы в положительных целых числах достаточно проверить 4П кортежей п чисел из множества {1, 2, 3, 4}, представимых на ленте в виде двоичных строк длины 2п.
Докажем, что задача 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ полиномиально сводится к задаче, сформулированной в лемме. Логические константы истина и ложь кодируются числами 2 и 1 соответственно. Каждая пропозициональная переменная кодируется переменной для положительных целых чисел. Отрицание любой переменной ж кодируется новой переменной ж'. То, что каждая из этих двух переменных может принимать значения только 1 или 2, причем значения переменных не совпадают, записывается с использованием новых переменных и>1, и>2, и>з с помощью уравнений
+ 2ж + 2ж' + 2и>1 + 1=5^ жг + ж + ж' + +5,
г г
< ^ж» + 2ж + 2ж' + 2^2 + 1=1]жг + ж + ж' + ^2 +5,
гг
ж» + 2^1 + 2^2 + 2^з + 1 = ^ ж» + + ^2 + + 5.
гг
После приведения подобных членов получим систему
ж + ж' + и>1 =4, ж + ж' + и>2 =4, и>1 + ^2 + ^з = 4.
Складывая первые два уравнения и вычитая эту сумму из третьего, получим и>з = 2 (ж + ж') — 4. Решение системы в положительных целых числах возможно тогда и только тогда, когда ж + ж' = 3.
Элементарная дизъюнкция вида ж V у V г кодируется посредством уравнения
+ 2ж + 2у + 2г + 1 = ^жг + ж + у + г + 5, где в уравнении ж — это переменная иг,
гг
если ж в дизъюнкции имеет вид иг, либо переменная и», если ж в дизъюнкции имеет вид — иг. Аналогично для литералов у и г.
Получили систему требуемого вида, совместную в положительных целых числах тогда и только тогда, когда задача 3-ВЫП ПРИ ОДНОМ ИСТИННОМ ЛИТЕРАЛЕ имеет решение. □
Если в лемме 3.1 термин «МР-полная» заменить на слова «принадлежит P» и добавить к концу леммы фразу «в каждом уравнении число переменных с коэффициентом 2 не превосходит двух», получится верное утверждение.
Действительно, каждое уравнение равносильно уравнению вида ж+у = 4, которое имеет следующее множество решений {(1, 3), (2, 2), (3,1)}. Это означает, что выбирая одну из компонент решения, однозначно определяется вторая компонента решения. Сказанное позволяет осуществить подбор решения за полиномиальное число шагов на машине Тьюринга.
Заключение. Рассматриваемая в работе задача СДЛМ имеет существенное применение в области математических основ информатики. В общем случае она принадлежит классу NEXPTIME. Доказана МР-трудность и в ряде случаев МР-полнота целого ряда ее кратко формулируемых подзадач. Эти подзадачи представляют также
и самостоятельный интерес. Доказана принадлежность классу P некоторых частных случаев.
Доказано, что задача проверки совместности в положительных целых числах системы делимостей целого числа К на значения линейных полиномов с неотрицательными целыми коэффициентами 3ж1 ... жп (ж1 ... жп) | К) МР-полна при К > 4 и принадлежит классу P при 0 < К < 4.
Исследована задача проверки совместности в целых числах из заданного невырожденного отрезка положительных целых чисел [Д, Д'], системы делимостей значений линейных полиномов с неотрицательными целыми коэффициентами на целое число К 3ж1 ... жп( &"=1жг € [Д, Д'] & &т=1К | (ж1... жп)). Доказана ее МР-полнота для любого К > 3. Если параметром задачи выбрать число ненулевых коэффициентов при переменных, задача является МР-полной уже при только двух ненулевых коэффициентах. В случае, когда не равен нулю только один коэффициент, задача находится в классе P.
Доказана МР-трудность задачи проверки совместности в положительных целых числах системы делимостей значений линейных полиномов с положительными целыми коэффициентами на значения линейных полиномов с положительными целыми коэффициентами 3ж1 ... жп (Ь? (ж1 ... жп) | Ь(ж1 ... жп)), если коэффициенты при переменных из {1, 2} и свободные члены из {1, 5}.
Литература
1. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи / пер. с англ. М.: Мир, 1982.
2. Lipshitz L. Some remarks on the Diophantine problem for addition and divisibility // Bull. Soc. Math. Belg. Ser. B. 1981. Vol.33, issue 1. P.41-52.
3. Lipshitz L. The Diophantine problem for addition and divisibility // Transactions of the American Mathematical Society. 1976. Vol. 235. P. 271-283.
4. Бельтюков А. П. Разрешимость универсальной теории натуральных чисел со сложением и делимостью // Записки научных семинаров ЛОМИ. 1975. Т. 60. С. 15-28.
5. Haase C. On the complexity of model checking counter automata. Ph.D. Thesis, University of Oxford, 2012.
6. Lechner A., Ouaknine J., Worrell J. On the Complexity of Linear Arithmetic with Divisibility // Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science(LICS). 2015. P.667-676.
7. Косовский Н. К., Косовская Т. М., Косовский Н. Н. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизсравнений // Вестн. С.-Петерб. ун-та. Сер. 1. 2016. Т. 3(61), вып. 1. С. 25-31.
8. Косовский Н. К., Косовская Т. М., Косовский Н. Н. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых сравнений и уравнений // Вестн. С.-Петерб. ун-та. Сер. 1. 2016. Т. 3(61), вып. 2. С. 198-203.
9. Косовский Н. К., Косовская Т. М., Косовский Н. Н. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизуравнений // Вестн. С.-Петерб. ун-та. Сер. 1. 2016. Т. 3(61), вып. 3. С. 408-414.
10. Schaefer T. J. The complexity of satisfiability problems // Proceedings 10th Symposium on Theory of Computing, ACM Press. 1978. P. 216-226.
11. Adleman L., Manders K. Reducibility, randomness and intractability // Proceedings of the 9th Annual ACM Symposium on Theory of Computing. 1977. P. 151-163.
12. Cohen H. A Course in Computational Algebraic Number Theory, ser. Graduate Texts in Mathematics. Vol. 138. Springer-Verlag, 1993.
13. Lagarias J. C. The computational complexity of simultaneous diophantine approximation problems // 23th Annual Symposium on Foundations of Computer Science, IEEE. New York, 1982. P. 32-39.
Статья поступила в редакцию 9 ноября 2016 г.; рекомендована в печать 22 декабря 2016 г.
Сведения об авторах
Косовский Николай Кириллович — доктор физико-математических наук, профессор; [email protected]
Косовская Татьяна Матвеевна — доктор физико-математических наук, доцент; [email protected]
Косовский Николай Николаевич — кандидат физико-математических наук, доцент;
[email protected] Старчак Михаил Романович — аспирант; [email protected]
NP-COMPLETE PROBLEMS FOR SYSTEMS OF DIVISIBILITIES OF VALUES OF LINEAR POLYNOMIALS
Nikolay K. Kosovskii, Tatiana M. Kosovskaya, Nikolay N. Kosovskii, Mikhail R. Starchak
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation;
[email protected], [email protected], [email protected], [email protected]
We study the algorithmic complexity of the subproblems of simultaneous divisibility of values of linear
polynomials with non-negative coefficients in positive integers. In general, it is not known whether it is in
NP, but it was previously proved it to be in NEXPTIME.
The NP-completeness is proved for such two series of this problem, that in the first of them a number divides a linear polynomial, and in the second case linear polynomial is a divisor of a number. Values for the parameters were determined, for which the problem is NP-complete. For the values less than specified, it was proved the problem to be in the class P.
We prove the NP-hardness of the particular case of the general problem of simultaneous divisibility of values of linear polynomials in which the coefficients of the variables may only take values from the set {1, 2} and the constant terms of linear polynomials may only take values from the set {1, 5}. The obtained results may be useful for determining the algorithmic complexity of the general problem.
In Section 1, it is proved that the problem 3xi ...xn &m=1(Lj(xi ...xn) | K) is NP-complete for K > 4 and exactly three non-zero coefficients in each linear polynomial. It is from the class P for 0 < K < 4.
In Section 2, we studied the problem of simultaneous divisibility in positive integers from the nontrivial interval [D,D'], of values of linear polynomials with non-negative integer coefficients by a positive integer K: 3xi ... xn ( &n=ixi € [D, D'] & «fc^LiK | Lj (xi ... xn)). It is proved to be NP-complete for K > 3. If the parameter of the problem is the number of non-zero coefficients in linear polynomials, the problem is NP-complete for only two non-zero coefficients. In the case of exactly one non-zero coefficient, the problem is from the class P.
In Section 3, it is proved NP-hardness of 3xi ... xn &J=i(Lj (xi ... xn) | Lj (xi ... xn)), the problem of simultaneous divisibility of the values of linear polynomials on the values of the linear polynomials with the coefficients of the variables from {1, 2} and constant terms from {1, 5}. Refs 13.
Keywords: system of divisibilities of values of linear polynomials, NP-hardness, NP-completeness.
References
1. Garey M.R., Johnson D.S., "Computers and Intractability: a Guide to the Theory of NP-completeness" (Freeman, New York, 1979).
2. Lipshitz L., "Some remarks on the Diophantine problem for addition and divisibility", Bull. Soc. Math. Belg. Ser. B 33, issue 1, 41-52 (1981).
3. Lipshitz L., "The Diophantine problem for addition and divisibility", Transactions of the American Mathematical Society 235, 271-283 (1976).
4. Bel'tyukov A., "Decidability of the universal theory of the natural numbers with addition and divisibility", Zapiski Nauchnyh Seminarov LOMI 60, 15-28 (1976) [in Russian].
5. Haase C., "On the complexity of model checking counter automata", Ph.D. Thesis (University of Oxford, 2012).
6. Lechner A., Ouaknine J., Worrell J., "On the Complexity of Linear Arithmetic with Divisibility", Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science(LICS), 667-676 (2015).
7. Kosovskii N. K., Kosovskaya T. M., Kosovskii N. N., "NP-completeness conditions for verifying the consistency of several kinds of systems of linear diophantine discongruences", Vestn. St. Petersburg Univ.: Math. 49, issue 1, 18-22 (2016).
8. Kosovskii N.K., Kosovskaya T. M., Kosovskii N.N., "NP-completeness conditions for verifying the consistency of several kinds of systems of linear diophantine congruences and equations", Vestn. St. Petersburg Univ.: Math. 49, issue 2, 111-114 (2016).
9. Kosovskii N. K., Kosovskaya T. M., Kosovskii N. N., "NP-completeness conditions for verifying the consistency of several kinds of systems of linear diophantine dis- equations", Vestn. St. Petersburg Univ.: Math. 49, issue 3, 243-247 (2016).
10. Schaefer T. J., "The complexity of satisfiability problems", Proceedings 10th Symposium on Theory of Computing, 216-226 (ACM Press, 1978).
11. Adleman L., Manders K., "Reducibility, randomness and intractability", Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 151-163 (1977).
12. Cohen H., A Course in Computational Algebraic Number Theory, in ser. Graduate Texts in Mathematics (Springer-Verlag, 138, 1993).
13. Lagarias J. C., "The computational complexity of simultaneous diophantine approximation problems", 23th Annual Symposium on Foundations of Computer Science, IEEE, 32-39 (New York, 1982).
Для цитирования: Косовский Н. К., Косовская Т. М., Косовский Н. Н., СтарчакМ.Р. NP-полные задачи о системах делимостей значений линейных выражений // Вестник СПбГУ. Математика. Механика. Астрономия. 2017. Т.4 (62). Вып. 2. С. 236-246. DOI: 10.21638/11701/spbu01.2017.207
For citation: Kosovskii N. K., Kosovskaya T. M., Kosovskii N. N., Starchak M. R. NP-complete problems for systems of divisibilities of values of linear polynomials. Vestnik SPbSU. Mathematics. Mechanics. Astronomy, 2017, vol. 4(62), issue 2, pp. 236-246. DOI: 10.21638/11701/spbu01.2017.207