An Arbitrary Starting Homotopy-Like Simplicial Algorithm for Computing an Integer Point in a Class of Polytopes

An arbitrary starting homotopy-like simplicial algorithm is developed for computing an integer point in a polytope given by $P=\{x\mid Ax\leq b\}$ satisfying that each row of $A$ has at most one positive entry. The algorithm is derived from an introduction of an integer labeling rule and an application of a triangulation of the space $R^n\times[0,1]$. It consists of two phases, one of which forms an $(n+1)$-dimensional pivoting procedure and the other an $n$-dimensional pivoting procedure. Starting from an arbitrary integer point in $R^n\times\{0\}$, the algorithm interchanges from one phase to the other, if necessary, and follows a finite simplicial path that either leads to an integer point in the polytope or proves that no such point exists.

[1]  E. Allgower,et al.  Piecewise linear methods for nonlinear equations and optimization , 2000 .

[2]  M. Todd The Computation of Fixed Points and Applications , 1976 .

[3]  Gerard van der Laan,et al.  A restart algorithm for computing fixed points without an extra dimension , 1979, Math. Program..

[4]  H. Kuhn Simplicial approximation of fixed points. , 1968, Proceedings of the National Academy of Sciences of the United States of America.

[5]  Herbert E. Scarf,et al.  The Approximation of Fixed Points of a Continuous Mapping , 1967 .

[6]  B. Curtis Eaves,et al.  Homotopies for computation of fixed points , 1972, Math. Program..

[7]  Chuangyin Dang,et al.  Triangulations and simplicial methods , 1995 .

[8]  Herbert E. Scarf,et al.  The Computation of Economic Equilibria , 1974 .

[9]  Jeffrey C. Lagarias,et al.  The computational complexity of simultaneous Diophantine approximation problems , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[10]  B. Eaves A Course in Triangulations for Solving Equations with Deformations , 1984 .

[11]  B. Curtis Eaves,et al.  Homotopies for computation of fixed points on unbounded regions , 1972, Math. Program..

[12]  Francesco Mallegni,et al.  The Computation of Economic Equilibria , 1973 .

[13]  Chuangyin Dang,et al.  A Simplicial Approach to the Determination of an Integer Point of a Simplex , 1998, Math. Oper. Res..

[14]  H. Freudenthal Simplizialzerlegungen von Beschrankter Flachheit , 1942 .