Polyhedral proof methods in combinatorial optimization (Q1082268)

From MaRDI portal
Revision as of 15:24, 17 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Polyhedral proof methods in combinatorial optimization
scientific article

    Statements

    Polyhedral proof methods in combinatorial optimization (English)
    0 references
    1986
    0 references
    Often a combinatorial optimization problem can be formulated as an integer linear programming problem max\(\{\) cx\(| ax\leq b\), x integral\(\}\). Polyhedral methods in combinatorial optimization try to solve these problems by applying linear programming methods. For polynomial solvable problems one can often give an integer programming formulation for which the LP-relaxation gives an integral solution. The paper concentrates on methods of proving that the LP-relaxations give an integral solution; this often leads to interesting min-max relations. Polyhedral methods can also be used in cutting plane methods for NP-hard problems, but these are only mentioned briefly. The paper uses concepts such as LP-duality, total unimodularity, totally dual integrality, blocking and anti-blocking polyhedra. Many examples are given to illustrate the methods. These examples include the optimum branching theorem, the matching polytope; the max-flow min cut theorem, the Frobenius-König theorem, the Lucchesi-Younger theorem and the perfect graph theorem. The paper concludes with some remarks on cutting planes.
    0 references
    integer linear programming
    0 references
    LP-relaxations
    0 references
    total unimodularity
    0 references
    totally dual integrality
    0 references
    blocking
    0 references
    anti-blocking polyhedra
    0 references
    optimum branching
    0 references
    matching polytope
    0 references
    max-flow min cut theorem
    0 references
    cutting planes
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers