On the computational complexity of the solution of linear systems with moduli

Abstract

A problem of solvability for the system of equations of the formAx=D|x|+δ is investigated. This problem is proved to beNP-complete even in the case when the number of equations is equal to the number of variables, the matrixA is nonsingular,A≥D≥0,δ≥0, and it is initially known that the system has a finite (possibly zero) number of solutions. For an arbitrary system ofm equations ofn variables, under additional conditions that the matrixD is nonnegative and its rank is one, a polynomial-time algorithm (of the orderO((max{m, n})³)) has been found which allows to determine whether the system is solvable or not and to find one of such solutions in the case of solvability.

Abstract

Изучается задача разрешимости для системы уравнений видаAx=D|x|+δ. Показано, что эта задача являетсяNP-поляой даже в случае, когда число уравнений равно числу переменных, матрипаA невырождена,A≥D≥0,δ≥0 и заранее известно, что аистема имеет конечное (возможно, равное нулю) число решений. Для произвольной системыm уравнений отn переменных при донолнительном условии, что матрицаD не отрицательна и ее ранг равен единице, найден полиномиальный алгоритм (гюрядкаO((max{m, n})³)), позволяющий выяснить разрешимость этой системы и, в случае разрешимости, найти одно из решений.