Results 1 
3 of
3
Linear Complementarity and Oriented Matroids
 Journal of the Operational Research Society of Japan
, 1990
"... A combinatorial abstraction of the linear complementarity theory in the setting of oriented matroids was rst considered by M.J. Todd. In this paper, we take a fresh look at this abstraction, and attempt to give a simple treatment of the combinatorial theory of linear complementarity. We obtain new t ..."
Abstract

Cited by 12 (8 self)
 Add to MetaCart
A combinatorial abstraction of the linear complementarity theory in the setting of oriented matroids was rst considered by M.J. Todd. In this paper, we take a fresh look at this abstraction, and attempt to give a simple treatment of the combinatorial theory of linear complementarity. We obtain new theorems, proofs and algorithms in oriented matroids whose specializations to the linear case are also new. For this, the notion of suciency of square matrices, introduced by Cottle, Pang and Venkateswaran, is extended to oriented matroids. Then, we prove a sort of duality theorem for oriented matroids, which roughly states: exactly one of the primal and the dual system has a complementary solution if the associated oriented matroid satisfies "weak" sufficiency. We give two different proofs for this theorem, an elementary inductive proof and an algorithmic proof using the crisscross method which solves one of the primal or dual problem by using surprisingly simple pivot rules (without any pertur...
The Linear Complementarity Problem, Sufficient Matrices and the CrissCross Method
, 1990
"... Specially structured Linear Complementarity Problems (LCP's) and their solution by the crisscross method are examined in this paper. The crisscross method is known to be finite for LCP's with positive semidefinite bisymmetric matrices and with Pmatrices. It is also a simple finite algorithm for o ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
Specially structured Linear Complementarity Problems (LCP's) and their solution by the crisscross method are examined in this paper. The crisscross method is known to be finite for LCP's with positive semidefinite bisymmetric matrices and with Pmatrices. It is also a simple finite algorithm for oriented matroid programming problems. Recently Cottle, Pang and Venkateswaran identified the class of (column, row) sufficient matrices. They showed that sufficient matrices are a common generalization of P and PSDmatrices. Cottle also showed that the principal pivoting method (with a clever modification) can be applied to row sufficient LCP's. In this paper the finiteness of the crisscross method for sufficient LCP's is proved. Further it is shown that a matrix is sufficient if and only if the crisscross method processes all the LCP's defined by this matrix and all the LCP's defined by the transpose of this matrix and any parameter vector.
Recollections on the discovery of the reverse search technique
"... Komei Fukuda and I discovered the idea for reverse search during conversations in Tokyo in October 1990. We were working on the vertex enumeration problem for convex polyhedra. At the time I was visiting Masao Iri at the University of Tokyo and Masakazu Kojima at Tokyo Institute of Technology, suppo ..."
Abstract
 Add to MetaCart
Komei Fukuda and I discovered the idea for reverse search during conversations in Tokyo in October 1990. We were working on the vertex enumeration problem for convex polyhedra. At the time I was visiting Masao Iri at the University of Tokyo and Masakazu Kojima at Tokyo Institute of Technology, supported by a JSPS/NSERC bilateral exchange. Komei was then working at the University of Tsukuba, Otsuka, which was a couple of subway stations from my office. So we met quite often. One day Komei visited me at my office in Todai and explained to me the crisscross method for solving linear programs, independently developed by S. Zionts [11], T. Terlaky [8, 9] and Z. Wang [10]. In this method one pivots in the hyperplane arrangement generated by the constraints of the linear program, without regard for feasibility thus differentiating it from the simplex method. Komei and Tomomi Matsui, a Ph.D. student at Tokyo Institute of Technology, had developed an elegant new proof of the convergence of the crisscross method [6], which Komei was explaining to me. Komei had drawn a linearrangement on the blackboard, along with the path the crisscross method would take from any given vertex to the optimum vertex of the LP. On the board all of these edges were shown in yellow with directions that eventually