Skip to main content

(0, ±1) ideal matrices

  • Conference paper
  • First Online:
Integer Programming and Combinatorial Optimization (IPCO 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 920))

Abstract

A (0,1) matrix A is said to be ideal if all the vertices of the polytope Q(A)=xAx ≥ 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Guenin, B.: Perfect and ideal (0,±1) matrices, Technical Report, GSIA, Carnegie Mellon University (1994).

    Google Scholar 

  2. Hooker, J.: Resolution and integrality of satisfiability problems, Technical Report, GSIA, Carnegie Mellon University (1994).

    Google Scholar 

  3. Cornuéjols, G., Novick, B.: Ideal 0, 1 matrices, J. Combinatorial Theory Ser. B, 60, 145–157 (1994).

    Google Scholar 

  4. Lehman, A.: On the width-length inequality, Mathematical Programming, 17, 403–413 (1979).

    Google Scholar 

  5. 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).

    Google Scholar 

  6. 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).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Egon Balas Jens Clausen

Rights and permissions

Reprints 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

Publish with us

Policies and ethics