Linear complementarity problems solvable as linear programs

Zakia Kebbiche$^\ast $

July 14, 2018. Accepted: December 5, 2018. Published online: February 17, 2019.

$^\ast $LMFN, Department of Mathematics, Faculty of Sciences, University of Ferhat Abbas, Sétif1, Algeria., e-mail: kebbichez@yahoo.fr.

In this paper, we present a theoretical and numerical study of linear complementary problems solvable as linear programs. We give several examples of linear complementarity problems which can be solved as linear programs using linear programming approaches. Also, we propose two examples solved by the simplex and Karmarkar’s method, while the most widely know method for solving linear complementarity problems “the complementarity pivoting algorithm due to Lemke" has failed to find a solution.

MSC. 90C05, 90C33.

Keywords. Linear programming, linear complementarity problem, Lemke’s algorithm, Karmarkar’s algorithm, Simplex algorithm, Hidden Z-matrix.

1 Introduction

Complementarity plays a central role in all constrained optimization problems. The linear complementarity problem is an ideal model for the development and analysis of algorithms through its different practical applications. Indeed, linear programming, convex quadratic programming, variational inequalities, partial differential equations, can be transformed into complementarity problems. In addition, many problems in mechanics, economics, chemistry and meteorology, can be modeled by complementarity.

Most algorithms proposed for the resolution of the linear complementarity problem are based on the assumption that the matrix $M$ belongs to a particular class of matrices. In 1975, Mangasarian demonstrated that the resolution of the linear complementarity problem with the class of $Z$-matrices “real square matrix whose off-diagonal entries are nonpositive" is equivalent to that of a well-defined linear program. Moreover, in 1976 he proposed another more general class, Pang (1979) proposed to call this generalization of the class $Z$ as the class of hidden $Z$-matrices since many of the properties which hold for the class $Z$ are preserved for the class hidden $Z$.

As a result, some problems in mathematics and mechanics: finding the smallest element in a polyhedron, finding the convex hull of a set of points in space, the theory of optimal stopping time, problems with free boundaries, can be solved using a linear programs associated with the linear complementarity problem. Therefore, any method designed for linear programming can be used. It is known that the Lemke’s algorithm solves the linear complementarity problem only for special classes of the matrix $M$. This problem may admit a solution but the algorithm is unable to find it. So, the goal of this work is to get more information and results from the linear complementarity problem by solving the associated linear program.

The paper is organized as following. In Section 2, we starts by defining the problem, then we give definitions and some notations. In Section 3, we discuss about existence of the solution of the linear complementarity problem where $M$ is a hidden $Z$-matrix. Section 4 is devoted to defining the linear program associated with the linear complementarity problem. Section 5 presents special cases of hidden $Z$-matrices. We establish in this section the conditions that the linear program must satisfy in order that each solution of the linear program is also a solution of the linear complementarity problem. In Section 6, we present several numerical examples for linear complementarity solvable as linear programs. We also present two examples when Lemke’s method has failed to find a solution to the linear complementarity problem. Finally, in Section 7 we give a conclusion of this work.

2 The problem

The linear complementarity problem, denoted $LCP(q,M),$ is that of finding a vector $z\in \mathbb {R} ^{n}$ satisfying

\begin{equation} (LCP)\left\{ \begin{array}{r} Mz+q\geq 0, \\ z\geq 0, \\ z^{t}(Mz+q)=0,\end{array}\right. \end{equation}

or to show that no such vector $z$ exists. $M$ is a given $n\times n$ real matrix and $q\in \mathbb {R} ^{n}.$

Definition 1

A matrix $M\in \mathbb {R} ^{n\times n}$ is said to be a semidefinite if $\forall z\in \mathbb {R} ^{n}$ $z^{t}Mz\geq 0.$

Definition 2

$M\in \mathbb {R} ^{n\times n}$ is said to be a $Z$-matrix if its off diagonal entries are nonpositive.

Definition 3

$M\in \mathbb {R} ^{n\times n}$ is said to be a $P$-matrix if its principal minors are positive.

Definition 4

$M\in \mathbb {R} ^{n\times n}$ is said to be a $K$-matrix if $M$ is a $Z$-matrix and a $P$-matrix$.$

Definition 5

$M\in \mathbb {R} ^{n\times n}$ is said to be a $hidden$ $Z$-matrix if there exist $Z$-matrices $X$, $Y\in \mathbb {R} ^{n\times n}$ and two vectors $r$ and $s$ in $\mathbb {R} _{+}^{n}$ satisfying the following conditions

\begin{equation} \left\{ \begin{array}{r} MX=Y \\ r^{T}X+s^{T}Y>0.\end{array}\right. \end{equation}

The class of hidden $Z$-matrices is denoted by hidden $Z$.

Notation 6

Given a matrix $M\in \mathbb {R} ^{n\times n}$ and a vector $q\in \mathbb {R} ^{n},$ we define the feasible set of $LCP(q,M)$ by

\[ F(q,M)=\big\{ z\in \mathbb {R} ^{n} : z\geq 0,Mz+q\geq 0\big\} \]

and the solution set is denoted by

\[ S(q,M)=\left\{ z\in F(q,M): z^{t}(Mz+q)=0\right\} . \]

3 Existence of the solution of the $LCP(\lowercase {q},M)$

Theorem 7

Let $M\in \mathbb {R} ^{n\times n}$ be a $hidden$ $Z$-matrix, and $F(q,M)\neq \emptyset ,$ then the $LCP(q,M)$ has a solution.

To prove this theorem, we construct an equivalent linear complementarity problem as following

Lemma 8

Consider the $LCP(\tilde{q},\mathcal{M)}$ where $\mathcal{M}=\left( \begin{array}{cc} 0 & -M^{t} \\ M & 0\end{array}\right) ,$ $\tilde{q}=\binom pq$, $M\in \mathbb {R} ^{n\times n}$ is a $hidden$ $Z$-matrix, $p$, $q\in \mathbb {R} ^{n},$ where $p=r+M^{t}s,$ $r$ and $s$ are as in Definition 5. If $\binom x {y}$ $\in F(\tilde{q},\mathcal{M)}$ then $(I-M^{t})y+p{\gt}0$.

Proof â–¼

Suppose $\binom x {y} \in F(\tilde{q},\mathcal{M)},$ as $M$ is a $hidden$ $Z$-matrix, there exist $X,$ $Y\in Z$ such that $MX=Y$ and $r^{t}X+s^{t}Y{\gt}0$ where $r,s\in \mathbb {R} _{+}^{n}.$ Let $X=D-U$ and $Y=D-V$ where $U$ and $V$ are nonnegative matrices and $D$ is a positive diagonal matrix. We have

\begin{align*} 0& {\lt}r^{t}X+s^{t}Y=(r^{t}+s^{t}M)X \\ & =p^{t}(D-U)= p^{t}(D-U)+y^{t}(Y-MX) \\ & =p^{t}(D-U)+y^{t}[(D-V)-M(D-U)] \\ & =(-y^{t}M+p^{t})(D-U)+y^{t}(D-V) \\ & \leq (y^{t}(I-M)+p^{t})D, \end{align*}

since $\binom xy \in F(\tilde{q},\mathcal{M})$ and $U,V\geq 0$. Moreover, $[y^t(I-M)+p^t]D{\gt}0$ lead to

\[ (I-M^t)y+p{\gt}0, \]

as $D$ is a positive diagonal matrix.

Proof â–¼

In the following lemma, we study the relationship between the solution of the $LCP(\tilde{q},\mathcal{M)}$ and the $LCP(q,M).$

Lemma 9

The $LCP(q,M)$ has a solution if and only if the $LCP(\tilde{q},\mathcal{M)}$ has a solution.

Proof â–¼

Necessity. Suppose $\bar{x}\in \mathbb {R} ^{n}$ solves the $LCP(q,M)$ and we show that $\overline{z}= \binom {\bar{x}} {\overline{y}} $ is a feasible solution for the $LCP(\tilde{q},\mathcal{M)}$ where $\overline{y}=s$ ($s$ as in Definition 5 is a feasible solution for the $LCP(\tilde{q},\mathcal{M))}.$ Note that $p-M^{t}\overline{y}=r+M^{t}s-M^{t}\overline{y}=r+M^{t}s-M^{t}s\geq 0.$ Therefore, the $LCP(\tilde{q},\mathcal{M)}$ is feasible, further, $\mathcal{M}$ is semidefinite matrix then the $LCP(\tilde{q},\mathcal{M)}$ has a feasible solution implies it has a complementarity solution. So the $LCP(\tilde{q},\mathcal{M)}$ has a solution.

Sufficiency. Suppose the $LCP(\tilde{q},\mathcal{M)}$ has a solution. Let $\tilde{z}= \binom {\tilde{x}}{\tilde{y}} \in $ $S(\tilde{q},\mathcal{M}).$ From the complementarity condition it follow that $\tilde{x}^{t}(p-M^{t}\tilde{y})+\tilde{y}^{t}(q+M\tilde{x})=0.$ Since both terms are nonnegative, we get $\tilde{x}^{t}(p-M^{t}\tilde{y})=0$ and $\tilde{y}^{t}(q+M\tilde{x})=0.$ From Lemma 8, it follow that $\tilde{y}+(p-M^{t}\tilde{y}){\gt}0,$ this implies for all $i\in \{ 1,..,n\} $, either $(p-M^{t}\tilde{y})_{i}{\gt}0$ or $\tilde{y}_{i}{\gt}0$. Now, if $(p-M^{t}\tilde{y})_{i}{\gt}0$ then $\tilde{x}_{i}=0$ which implies $\tilde{x}_{i}(q+M\tilde{x})_{i}=0.$ If $y_{i}{\gt}0$ then $(q+M$ $\tilde{x})_{i}=0.$ This implies $\tilde{x}_{i}(q+M$ $\tilde{x})_{i}=0$ for all $i=1,..,n.$ Hence, we get $\tilde{x}^{t}(q+M\tilde{x})=0$. Therefore $\tilde{x}$ solves the $LCP(q,M).$

Proof â–¼

[Proof of Theorem 7]

Note that feasibility of the $LCP(q,M)$ implies the feasibility of the $LCP(\tilde{q},\mathcal{M)}$. Further, $\mathcal{M}$ is semidefinite matrix implies the $LCP(\tilde{q},\mathcal{M)}$ has a solution. By Lemma 9, the $LCP(q,M)$ has a solution if and only if the $LCP(\tilde{q},\mathcal{M)}$ has a solution. Therefore feasibility of the $LCP(\tilde{q},\mathcal{M)}$ implies solvability of the $LCP(q,M)$.

4 Characterization of the $LCP(\lowercase {q},M)$ as a linear program

In his study of solving linear complementarity problems as linear programs, Mangasarian [ 3 ] proved the following result.

Theorem 10

Let $M\in \mathbb {R} ^{n\times n}$ be a $hidden$-$Z$ matrix and $F(q,M)\neq \emptyset ,$ then the $LCP(q,M)$ has a solution which can be obtained by solving the linear program

\begin{equation} (LP)\left\{ \begin{array}{r} \text{min }p^{t}z, \\ Mz+q\geq 0, \\ z\geq 0,\end{array}\right. \end{equation}

where $p=r+M^{t}s,$ $r$ and $s$ are as in Definition 5.

In order to prove this theorem, first we define the dual linear program of $(LP)$

\begin{equation} (D)\left\{ \begin{array}{r} \text{max }-q^{t}y, \\ -M^{t}y+p\geq 0, \\ y\geq 0,\end{array}\right. \end{equation}

and then we need to the following lemma.

Lemma 11

If $z$ solves the linear program $(LP)$ and if the corresponding optimal dual variable $y$ of $(D)$ satisfies $(I-M^{t})y+p{\gt}0,$ then $z$ solves the $LCP(q,M)$.

Proof â–¼

We have $y^{t}(Mz+q)+z^{t}(-M^{t}y+p)=y^{t}q+z^{t}p=0$, since $y\geq 0,$ $Mz+q\geq 0,$ $z\geq 0$ and $(-M^{t}y+p)\geq 0,$ then $y_{i}(Mz+q)_{i}=0,$ $z_{i}(-M^{t}y+p)_{i}=0,$ $i=1...n$, but $y_{i}+(-M^{t}y+p)_{i}{\gt}0,$ $i=1...n.$ So, either $y_{i}{\gt}0$ or $(-M^{t}y+p)_{i}{\gt}0,$ $i=1...n,$ and therefore $z_{i}=0$ or $(Mz+q)_{i}=0,$ from where $z$ solves the $LCP(q,M)$.

Proof â–¼

[Proof of Theorem 10] Since $y=s$ is a dual feasible point, then, $(LP)$ and $(D)$ have an optimal solutions noted by $z$ and $y$ respectively. Let $X=D-V$ and $Y=D-U,$ where $V$ and $U$ are nonnegative matrices and $D$ is a positive diagonal matrix, then

\begin{align*} 0{\lt}& r^{t}X+s^{t}Y=(r^{t}+s^{t}M)X \\ =& p^{t}(D-V) \\ =& p^{t}(D-V)+y^{t}(-MD+MV+D-U) \quad (\text{since } M(D-V)=D-U) \\ =& (-y^{t}M+p^{t})(D-V)+y^{t}(D-U) \\ \leq & (y^{t}(I-M)+p^{t})D. \end{align*}

Also, $(I-M^{t})y+p{\gt}0$, as $-y^{t}M+p^{t}\geq 0$, $V\geq 0,$ $y\geq 0,$ $U\geq 0)$ and $D$ is a positive diagonal matrix. According to the Lemma 11, $z$ solves the $LCP(q,M)$.

5 Special cases of hidden Z-matrices

We establish in this section the conditions that $p$ of the linear program $(LP)$ must satisfy in order that each solution of the $(LP)$ is also a solution of the $LCP(q,M).$

Theorem 12

(See [ 5 ] ). If $F(q,M)\neq \emptyset $ and there exist $r,s,c\in \mathbb {R} ^{n},X,Y\in \mathbb {R} ^{n\times n}$ such that

\begin{equation} \left\{ \begin{array}{l} MX=Y+qc^{t} \\ r^{t}X+s^{t}Y\geq 0 \\ r^{t}(X+C)+s^{t}(Y+C)>0,\ C=\operatorname {diag}(c) \\ X,Y\in Z\text{, }s,r,c\geq 0.\end{array}\right. \end{equation}

then the $LCP(q,M)$ has a solution which can be obtained by solving the linear program (LP) with $p=r+M^{t}s.$

Setting $c=\delta e,C=\delta I$ in the above where $\delta $ is some positive number, we obtain

Corollary 13

(See [ 5 ] ). If $F(q,M)\neq \emptyset $ and there exist $\delta \in \mathbb {R} ,$ $r,s\in \mathbb {R} ^{n},X,Y\in \mathbb {R} ^{n\times n}$ such that

\begin{equation} \left\{ \begin{array}{c} MX=Y+\delta qe^{t} \\ r^{t}X+s^{t}Y\geq 0 \\ r+s>0,\ \delta >0 \\ X,Y\in Z, \ s,r\geq 0.\end{array}\right. \end{equation}

then the $LCP(q,M)$ has a solution which can be obtained by solving the linear program (LP) with $p=r+M^{t}s.$

We give in Table 1 a convenient summary of some of the cases for which the $LCP(q,M)$ is solvable as linear program together with the conditions that $M$ and $p$ must satisfy.

Matrix ${\small M}$

Conditions on ${\small M}$

Vector ${\small p}$

Conditions on ${\small p}$

${\small M=YX}^{-1}$

$X,Y\in Z$,

$r^{t}{\small X+s}^{t}{\small Y{\gt}0}$

${\small p=r+M}^{t}{\small s}$

${\small r,s\geq 0}$

${\small M=YX}^{-1}$

${\small X}\in {\small K,Y}\in {\small Z}$

${\small p\geq 0}$

${\small p}^{t}{\small X{\gt}0}$

${\small M=YX}^{-1}$

${\small X}\in {\small Z,Y}\in {\small K}$

${\small p=M}^{t}s\geq 0$

${\small s}\geq {\small 0,}$

${\small s}^{T}{\small Y{\gt}0}$

${\small M}$

${\small M}\in {\small \ Z}$

${\small p}$

${\small p{\gt}0}$

${\small M}$

${\small M}^{-1}\in Z$

${\small p=M}^{t}{\small s}$

${\small s{\gt}0}$

${\small M}$

${\small -M}\in {\small K}$

${\small p=-e}$ or

${\small p=M}^{T}{\small e}$

${\small e{\gt}0}$

${\small M}$

${\small -M}^{-1}\in {\small K}$

${\small p=-M}^{T}{\small e}$ or

${\small p=e}$

${\small e{\gt}0}$

${\small MX=Y}+\delta qe^{t}$

$r^{t}{\small X+s}^{t}Y\geq 0,$

$X,Y\in Z{\small ,}\delta {\gt}0$

${\small p=r+M}^{t}{\small s}$

${\small r+s{\gt}0,}$

$r,s\geq {\small 0}$

Table 1 Summary of some of the cases for which the $LCP(q,M)$ is solvable as linear program.

6 Numerical examples

We give now some examples for which the $LCP(q,M)$ can be solved by a linear program.

Example 14

Let $\ M=\left( \begin{array}{cc} \text{ }1 & \text{ }1 \\ -2 & -3\end{array}\right) $ and $q=\left( \begin{array}{c} -1 \\ \text{ }6\end{array}\right) .$ $M$ is a hidden $Z$-matrix with $X=\left( \begin{array}{cc} \text{ }3 & -3 \\ -2 & \text{ \ }3\end{array}\right) \in K$ and $Y=\left( \begin{array}{cc} 1 & \text{ }0 \\ 0 & -3\end{array}\right) \in Z$. â–¡

Example 15

Consider $M=\left( \begin{array}{ccc} \text{ }2 & -2 & -2 \\ -1 & \text{ }2 & \text{ }1 \\ -1 & \text{ }0 & \text{ }2\end{array}\right) $ and $q=\left( \begin{array}{c} \text{ }1 \\ -3 \\ \text{ }2\end{array}\right) .$ $M$ is a hidden $Z$-matrix with $X=\left( \begin{array}{ccc} \text{ }1 & 0 & \text{ }0 \\ \text{ }0 & 1 & -1 \\ -1 & 0 & \text{ }1\end{array}\right) \in K$ and $Y=\left( \begin{array}{ccc} \text{ }4 & -2 & \text{ \ }0 \\ -2 & \text{ }2 & -1 \\ -3 & \text{ }0 & \text{ }2\end{array}\right) \in Z.$ â–¡

Example 16

Let $M=\left( \begin{array}{ccc} \text{ }0 & -1 & \text{ }1 \\ -2 & \text{ }6 & -5 \\ \text{ }0 & -3 & \text{ }2\end{array}\right) $ and $q=\left( \begin{array}{c} \text{ }2 \\ -1 \\ \text{ }1\end{array}\right) .$ $M$ is a hidden $Z$-matrix with $X=\left( \begin{array}{ccc} 1 & 0 & \text{ }0 \\ 0 & 1 & -1 \\ 0 & 0 & -1\end{array}\right) \in $ $Z$ and $Y=\left( \begin{array}{ccc} \text{ }0 & -1 & \text{ }0 \\ -2 & \text{ }6 & -1 \\ \text{ }0 & -3 & \text{ }1\end{array}\right) \in $ $Z.$ â–¡

Example 17

Consider $M=\left( \begin{array}{ccc} \text{ }0 & -2 & -2 \\ -1 & \text{ }2 & \text{ }1 \\ -1 & \text{ }0 & \text{ }2\end{array}\right) $ and $q=\left( \begin{array}{c} \text{ }7 \\ -4 \\ \text{ }1\end{array}\right) .$ $M$ is a hidden $Z$-matrix with $X=\left( \begin{array}{ccc} \text{ }1 & 0 & \text{ }0 \\ \text{ }0 & 1 & -1 \\ -1 & 0 & \text{ }1\end{array}\right) \in K$ and $Y=\left( \begin{array}{ccc} \text{ }0 & -2 & \text{ }0 \\ -2 & \text{ }2 & -1 \\ -3 & \text{ }0 & \text{ }2\end{array}\right) \in Z.$ â–¡

Example 18

Let

\[ M=\left( \begin{array}{rrrrr} 2 & -1 & & & \\ -1 & 2 & -1 & & \\ & -1 & \ddots & \ddots & \\ & & \ddots & 2 & -1 \\ & & & -1 & 2\end{array}\right) \in \mathbb {R}^{10\times 10}, \quad \text{ and } q=(-1, \ldots ,-1)^T \in \mathbb {R}^{10}. \]

The table below summarizes the results obtained in number of iterations $K$ and calculation time $T$ by Lemke’s algorithm (Alg. 1), the Simplex algorithm (Alg. 2) and that of Karmarkar (Alg. 3).

	Alg. 1		Alg. 2		Alg. 3
Examples	$K$	$T$	$K$	$T$	$K$	$T$
Example 14	$2$	$0.00$	$1$	$0.00$	$62$	$0.00$
Example 15	$3$	$0.00$	$2$	$0.00$	$82$	$0.01$
Example 16	$2$	$0.00$	$1$	$0.00$	$50$	$0.00$
Example 17	$2$	$0.00$	$1$	$0.00$	$72$	$0.00$
Example 18	$10$	$0.00$	$12$	$0.01$	$178$	$0.01$

Table 2 Number of iterations and computation time.

Remark 19

1) The number of iterations recorded by Alg. 1 and that of Alg. 2 is significantly lower than that obtained by the Alg. 3.

2) The calculation time obtained by the three algorithms is almost the same. â–¡

We give now two examples for which the $LCP(q,M)$ can be solved by the simplex and Karmarkar’s methods but not by Lemke’s method.

Example 20

Let $M=\left( \begin{array}{cc} -1 & \text{ }1 \\ \text{ }2 & -1\end{array}\right) $ and $q=\left( \begin{array}{c} \text{ }1 \\ -2\end{array}\right) .$

This example satisfies the conditions of theorem $(12)$ with $r=(0,1)^{t},$ $s=(1,0)^{t}$ and $c=(0,2)^{t}$ where $X=\left( \begin{array}{cc} -\frac{1}{2} & 0 \\ \text{ }0 & 2\end{array}\right) \in Z$ and $Y=\left( \begin{array}{cc} \text{ }\frac{1}{2} & 0 \\ -1 & 2\end{array}\right) \in Z$.

Hence $p=r+M^{t}s=(-1,2)^{t},$ then the linear program associated with the $LCP(q,M)$ is

\[ (LP)\left\{ \begin{array}{c} \text{min }-z_{1}+2z_{2} \\ -z_{1}+z_{2}+1\geq 0 \\ 2z_{1}-z_{2}-2\geq 0 \\ (z_{1},z_{2})\geq 0.\end{array}\right. \]

The solution is $(z_{1},z_{2})^{t}=(1,0)^{t}$ which also solves the $LCP(q,M).$ â–¡

Example 21

Let $M=\left( \begin{array}{ccc} 0 & \text{ }3 & \text{ }4 \\ 1 & -1 & \text{ }0 \\ 0 & -1 & -3\end{array}\right) $ and $q=\left( \begin{array}{c} -2 \\ \text{ }0 \\ \text{ }1\end{array}\right) ,$ we have

\[ MX=Y+\delta qe^{t} \]

with $X=\left( \begin{array}{ccc} -1 & \text{ }0 & \text{ }0 \\ \text{ }0 & -1 & \text{ }0 \\ \text{ }0 & \text{ }0 & -1\end{array}\right) ,Y=\left( \begin{array}{ccc} \text{ }2 & -1 & -2 \\ -1 & \text{ }1 & \text{ }0 \\ -1 & \text{ }0 & \text{ }2\end{array}\right) ,\delta =1,s=e,r=0$.

According to Corollary 13, $p=r+M^{t}s=M^{t}e=(1,1,1)^{t},$ then the linear program associated with $LCP(q,M)$ is

\[ (LP)\left\{ \begin{array}{c} \text{min }z_{1}+z_{2}+z_{3} \\ \text{\ \ }3z_{2}+4z_{3}-2\geq 0 \\ z_{1}-z_{2}\geq 0 \\ -z_{2}-3z_{3}+1\geq 0 \\ (z_{1},z_{2},z_{3})\geq 0.\end{array}\right. \]

The optimal solution is $(z_{1},z_{2},z_{3})^{t}=(0.4,0.4,0.2)^{t}$. â–¡

The following table summarizes the number of iterations obtained by the three algorithms ($R$ means that Lemke’s algorithm ends with a secondary ray).

	Alg. 1	Alg. 2	Alg. 3
Example 20	$R$	$1$	$48$
Example 21	$R$	$2$	$59$

Table 3 Number of iterations obtained by the three algorithms.

Remark 22

Through the tested examples, the results obtained give a particular value to the simplex method and Karmarkar’s method. â–¡

7 Conclusion

In this paper, we have presented a class of linear complementarity problems which can be solved via linear programming approaches. From a practical point of view, we have used methods designed for linear programming (the simplex and the Karmarkar’s methods) to solve the linear program associated with the linear complementarity problem. This idea has offered us a new horizon of research concerning the resolution of a linear complementarity problem with specific classes of matrices, especially when Lemke’s algorithm has failed to find a solution.

The following questions arise: 1) The conditions assumed to test if $M$ is a hidden $Z$-matrix are not easy to check because of the nonlinearity in the condition $r^{t}X+s^{t}Y{\gt}0$ for unknowns $X,Y,r$ and $s$. 2) Can we characterize all classes of matrices for which the linear complementarity problems can be solved by a linear program?

Bibliography

1: R.W. Cottle, J.S. Pang, On solving linear complementarity problems as linear program, Math. Program. Stud., 7 (1978), 88-107. $\includegraphics[scale=0.1]{ext-link.png}$
2: R.W. Cottle, J.S. Pang, R.E. Stone, The linear complementarity problem, Academic press, Boston, 1992. $\includegraphics[scale=0.1]{ext-link.png}$
3: O.L. Mangasarian, Solution of linear complementarity problem by linear programming, Tech. Report No. 257, Computer Sciences Dept, Univ. of Wisconsin, Madison, 1975. $\includegraphics[scale=0.1]{ext-link.png}$
4: O.L. Mangasarian Linear complementarity problems solvable by a single linear program, Math. Program., 10 (1976), 263-270. $\includegraphics[scale=0.1]{ext-link.png}$
5: O.L. Mangasarian, Characterization of linear complementarity problems as linear program, Math. Program. Stud., 7 (1978), 74-87. $\includegraphics[scale=0.1]{ext-link.png}$
6: K.G. Murty, The linear complementarity, linear and nonlinear programming, Herder man Vertay, Berlin, 1988.
7: S.K. Neogy, On hidden Z-matrices and the linear complementarity problem, Linear Algebra. Appl., 496 (2016), 81-100. $\includegraphics[scale=0.1]{ext-link.png}$
8: J.S. Pang, Hidden Z-matrices with positive principal minors, Linear Algebra App., 23 (1979), 201-215. $\includegraphics[scale=0.1]{ext-link.png}$

This work is licensed under a Creative Commons Attribution 4.0 International License.

	Alg. 1		Alg. 2		Alg. 3
Examples	\(K\)	\(T\)	\(K\)	\(T\)	\(K\)	\(T\)
Example 14	\(2\)	\(0.00\)	\(1\)	\(0.00\)	\(62\)	\(0.00\)
Example 15	\(3\)	\(0.00\)	\(2\)	\(0.00\)	\(82\)	\(0.01\)
Example 16	\(2\)	\(0.00\)	\(1\)	\(0.00\)	\(50\)	\(0.00\)
Example 17	\(2\)	\(0.00\)	\(1\)	\(0.00\)	\(72\)	\(0.00\)
Example 18	\(10\)	\(0.00\)	\(12\)	\(0.01\)	\(178\)	\(0.01\)

	Alg. 1	Alg. 2	Alg. 3
Example 20	\(R\)	\(1\)	\(48\)
Example 21	\(R\)	\(2\)	\(59\)

Linear complementarity problems solvable as linear programs

1 Introduction

2 The problem

3 Existence of the solution of the \(LCP(\lowercase {q},M)\)

4 Characterization of the \(LCP(\lowercase {q},M)\) as a linear program

5 Special cases of hidden Z-matrices

6 Numerical examples

7 Conclusion

Bibliography