Abstract
A (0,1) matrix A is said to be ideal if all the vertices of the polytope Q(A)=x∶Ax ≥ 1,0 ≤x ≤1 are integral. In this paper we consider the extension of the notion of ideality to (0, ±1) matrices. We associate with any (0,±1) matrix A its disjoint completion A + and we show that A is ideal if and only if a suitable (0,1) matrix D(A+) is ideal. Moreover, we prove a Lehman-type characterization of minimally non-ideal (0,±1) matrices that coincide with their disjoint completion.
Preview
Unable to display preview. Download preview PDF.
References
Guenin, B.: Perfect and ideal (0,±1) matrices, Technical Report, GSIA, Carnegie Mellon University (1994).
Hooker, J.: Resolution and integrality of satisfiability problems, Technical Report, GSIA, Carnegie Mellon University (1994).
Cornuéjols, G., Novick, B.: Ideal 0, 1 matrices, J. Combinatorial Theory Ser. B, 60, 145–157 (1994).
Lehman, A.: On the width-length inequality, Mathematical Programming, 17, 403–413 (1979).
Seymour, P.D.: On Lehman's width-length characterization, in “Polyhedral combinatorics” (W. Cook and P.D. Seymour, eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 1, 107-117 (1990).
Padberg, M.W.: Lehman's forbidden minor characterization of ideal 0,1 matrices, Working Paper No. 334, École Polytechnique, Laboratoire d'Econometrie, Paris, France (1990).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nobili, P., Sassano, A. (1995). (0, ±1) ideal matrices. In: Balas, E., Clausen, J. (eds) Integer Programming and Combinatorial Optimization. IPCO 1995. Lecture Notes in Computer Science, vol 920. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59408-6_63
Download citation
DOI: https://doi.org/10.1007/3-540-59408-6_63
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59408-6
Online ISBN: 978-3-540-49245-0
eBook Packages: Springer Book Archive