Abstract

Lemke's algorithm for the linear complementarity problem follows a ray which leads from a certain fixed point (traditionally, the point (1,..., I)~) to the point given in the problem. The problem also induces a set of 2 " cones, and a question which is relevant to the probabilistic analysis of Lemke's algorithm is to estimate the expected number of times a (semi-random) ray intersects the boundary between two adjacent cones. When the problem is sampled from a spherically symmetric distribution this number turns out to be exponential. For an n-dimensional problem the natural logarithm of this number is equal to ln(r)n + o(n), where T is approximately 1.151222. This number stands in sharp contrast with the expected number of cones intersected by a ray which is determined by two random points (call it random). The latter is only (n/2)+ 1. The discrepancy between linear behavior (under the 'random ' assumption) and exponential behavior (under the 'semi-random ' assumption) has implications with respect to recent analyses of the average complexity of the linear programming problem. Surprisingly, the semi-random case is very sensitive to the fixed point of the ray, even when that point is confined to the positive orthant. We show that for points of the form (E, E',..., E ") ~ the expected number of facets of cones cut by a semi-random ray tends to in2+2n when E tends to zero.

Citations