Rescaling algorithms for linear conic feasibility

From MaRDI portal



Abstract: We propose simple polynomial-time algorithms for two linear conic feasibility problems. For a matrix AinmathbbRmimesn, the kernel problem requires a positive vector in the kernel of A, and the image problem requires a positive vector in the image of Aop. Both algorithms iterate between simple first order steps and rescaling steps. These rescalings improve natural geometric potentials. If Goffin's condition measure hoA is negative, then the kernel problem is feasible and the worst-case complexity of the kernel algorithm is Oleft((m3n+mn2)log|hoA|−1ight); if hoA>0, then the image problem is feasible and the image algorithm runs in time Oleft(m2n2loghoA−1ight). We also extend the image algorithm to the oracle setting. We address the degenerate case hoA=0 by extending our algorithms to find maximum support nonnegative vectors in the kernel of A and in the image of Aop. In this case the running time bounds are expressed in the bit-size model of computation: for an input matrix A with integer entries and total encoding length L, the maximum support kernel algorithm runs in time Oleft((m3n+mn2)Light), while the maximum support image algorithm runs in time Oleft(m2n2Light). The standard linear programming feasibility problem can be easily reduced to either maximum support problems, yielding polynomial-time algorithms for Linear Programming.




Cites work









This page was built for publication: Rescaling algorithms for linear conic feasibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5119854)