an:00549155
Zbl 0803.90089
Mehrotra, Sanjay; Ye, Yinyu
Finding an interior point in the optimal face of linear programs
EN
Math. Program. 62, No. 3 (A), 497-515 (1993).
00018234
1993
j
90C05
interior point; optimal face; primal-dual methods; strict complementarity; optimal partition
Consider the problem (P): \(\min c^ T x\) subject to \(Ax= b\), \(x\geq 0\), and its dual (D): \(\max b^ T y\) subject to \(A^ T y+ s=c\), \(s\geq 0\). It is well-known that feasible solutions \(x^*\) and \((y^*,s^*)\) are optimal for (P) and (D) respectively iff \(x^*_ j s^*_ j=0\) \((j=1,\dots,n)\). Let \(\sigma(x^*)= \{i| x^*_ i>0\}\). The pair \((x^*,s^*)\) is strictly complementary if \(\sigma(x^*)\cap \sigma(s^*)= \emptyset\) and \(\sigma(x^*)\cup \sigma(s^*)= \{1,2,\dots,n\}\). The partition \(\{\sigma^*,\bar\sigma^*\}\) of \(\{1,2,\dots,n\}\) is an optimal partition, where \(\sigma(x^*)= \sigma^*\) and \(\bar\sigma^*=\{1,2,\dots,n\}\backslash \sigma^*\) in view of the invariant character of \(\sigma(x^*)\) and \(\sigma(s^*)\) for every strictly; complementary solution \((x^*,s^*)\). The authors study the problem of finding the optimal partition and a pair of points in the interior of \(\theta_ p= \{x: Ax= b,\;x\geq 0,\;x_ j=0\) for \(j\in \bar\sigma^*\}\) and \(\theta_ d= \{(y,s): A^ T y+ s=c,\;s_ j=0\) for \(j\in \sigma^*\}\). The authors claim that the optimal partition can be identified in \(O(n^ 3 L)\) arithmetic operations where the data in (P) are rational and \(L\) is their input length. They also propose a practical and (column) scaling independent criterion for identifying the optimal partition. Finally, the authors report computational results on the problems in the NETLIB test set.
For related work the reader is referred to \textit{R. M. Freund} et al. [Technical Report, Sloan W. P. No. 1674-85, MIT, Cambridge, MA (1985)] and \textit{E. Tardos} [Oper. Res. 34, 250-256 (1986; Zbl 0626.90053)].
R.N.Kaul (Delhi)
Zbl 0626.90053