On the convex hull of feasible solutions to certain combinatorial problems (Q1198616)

From MaRDI portal





scientific article; zbMATH DE number 90146
Language Label Description Also known as
default for all languages
No label defined
    English
    On the convex hull of feasible solutions to certain combinatorial problems
    scientific article; zbMATH DE number 90146

      Statements

      On the convex hull of feasible solutions to certain combinatorial problems (English)
      0 references
      0 references
      0 references
      16 January 1993
      0 references
      This paper deals with the question: In which cases is the convex hull of a finite union of (unbounded) convex polyhedra closed and hence a convex polyhedron itself? First the authors present three examples of combinatorial problems (the Steiner graphical Travelling Salesman problem, a nonpreemptive single-machine scheduling problem with changeover times and a preemptive single-machine scheduling problem), where the convex hull of the feasible set is not closed, and therefore not a polyhedron. The most essential result: Assume that the convex hull of the union \(C\) of a finite collection \(C_ i\), \(i\in I\), of convex polyhedra contains no line. Then the convex hull of \(C\) is a convex polyhedron if and only if for all extreme rays \(\{x\}+\text{cone}\{d\}\) of \(\text{cl conv } C\), and for all scalars \(\mu\geq 0\), there exists \(\mu'\geq \mu\) such that \(x+\mu'd\in C\) (the corresponding formulation in the paper contains a mistake). This theorem is applied to certain combinatorial problems (Steiner graphical Travelling Salesman problems, Steiner Chinese Postman problems, nonpreemptive scheduling problems with changeover times, preemptive scheduling problems).
      0 references
      convex hull
      0 references
      finite union
      0 references
      convex polyhedron
      0 references
      nonpreemptive single- machine scheduling
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references