Abstract
Let A be a 0 − 1 matrix with precisely two 1’s in each column and let 1 be the all-one vector. We show that the problems of deciding whether the linear system \({A{\bf x} \ge {\bf 1}, {\bf x}\ge {\bf 0}}\)
(1) defines an integral polyhedron,
(2) is totally dual integral (TDI), and
(3) box-totally dual integral (box-TDI)
are all co-NP-complete, thereby confirming the conjecture on NP-hardness of recognizing TDI systems made by Edmonds and Giles in 1984.
Similar content being viewed by others
References
Berge C. (1976). Graphs and Hypergraphs. North-Holland, Amsterdam
Bondy J.A. and Murty U.S.R. (1976). Graph Theory with Applications. Elsevier, Amsterdam
Chudnovsky M., Cornuéjols G., Liu X., Seymour P.D. and Vušković K. (2005). Recognizing Berge graphs. Combinatorica 25: 143–186
Chudnovsky M., Robertson N., Seymour P.D. and Thomas R. (2006). The strong perfect graph theorem. Ann. of Math. 164(2): 51–229
Chvátal V. (1975). On certain polytopes associated with graphs. J. Combin. Theory Ser. B 18: 138–154
Cook W., Lovász L. and Schrijver A. (1984). A polynomial-time test for total dual integrality in fixed dimension. Math. Program. Stud. 22: 64–69
Cornuéjols G. (2001). Combinatorial Optimization: Packing and Covering. SIAM, Philadelphia
Edmonds J. and Giles R. (1977). A min–max relation for submodular functions on graphs. Ann. Discrete Math. 1: 185–204
Edmonds J. and Giles R. (1984). Total dual integrality of linear inequality systems. In: Pulleyblank, W.R. (eds) Progress in Combinatorial Optimization, pp 117–129. Academic, Toronto
Fulkerson D.R. (1971). Blocking and antiblocking pairs of polyhedra. Math. Program. 1: 168–194
Garey M. and Johnson D. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York
Lovász L. (1972). Normal hypergraphs and the perfect graph conjecture. Discrete Math. 2: 253–267
Schrijver A. (1986). Theory of Linear and Integer Programming. Wiley, New York
Schrijver A. (2003). Combinatorial Optimization—Polyhedra and Efficiency. Springer, Berlin
Seymour P.D. (1977). The matroids with the max-flow min-cut property. J. Combin. Theory Ser. B 23: 189–222
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported in part by NSA grant H98230-05-1-0081 and NSF grants DMS-0556091 and ITR-0326387.
Supported in part by the Research Grants Council of Hong Kong and Seed Funding for Basic Research of HKU.
Rights and permissions
About this article
Cite this article
Ding, G., Feng, L. & Zang, W. The complexity of recognizing linear systems with certain integrality properties. Math. Program. 114, 321–334 (2008). https://doi.org/10.1007/s10107-007-0103-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-007-0103-y