Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point

نویسندگان

  • Gérard Cornuéjols
  • Yanjun Li
چکیده

Gomory-Chvátal cuts are prominent in integer programming. The Gomory-Chvátal closure of a polyhedron is the intersection of all half spaces defined by its Gomory-Chvátal cuts. In this paper, we show that it is NP-complete to decide whether the Gomory-Chvátal closure of a rational polyhedron is empty, even when this polyhedron contains no integer point. This implies that the problem of deciding whether the Gomory-Chvátal closure of a rational polyhedron P is identical to the integer hull of P is NP-hard. Similar results are also proved for the {−1, 0, 1}-cuts and {0, 1}-cuts, two special types of Gomory-Chvátal cuts with coefficients restricted in {−1, 0, 1} and {0, 1}, respectively.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Rational Polytopes with Chvátal Rank 1

In this paper, we study the following problem: given a polytope P with Chvátal rank 1, does P contain an integer point? Boyd and Pulleyblank observed that this problem is in the complexity class NP ∩ co-NP, an indication that it is probably not NP-complete. We solve this problem in polynomial time for polytopes arising from the satisfiability problem of a given formula with at least three liter...

متن کامل

Gomory-Chvátal Cutting Planes and the Elementary Closure of Polyhedra

The elementary closure P ′ of a polyhedron P is the intersection of P with all its GomoryChvátal cutting planes. P ′ is a rational polyhedron provided that P is rational. The Chvátal-Gomory procedure is the iterative application of the elementary closure operation to P . The Chvátal rank is the minimal number of iterations needed to obtain PI . It is always finite, but already in R2 one can con...

متن کامل

The Chvátal-Gomory Closure of an Ellipsoid Is a Polyhedron

It is well-know that the Chvátal-Gomory (CG) closure of a rational polyhedron is a rational polyhedron. In this paper, we show that the CG closure of a bounded full-dimensional ellipsoid, described by rational data, is a rational polytope. To the best of our knowledge, this is the first extension of the polyhedrality of the CG closure to a nonpolyhedral set. A key feature of the proof is to ver...

متن کامل

The Gomory-Chvatal Closure: Polyhedrality, Complexity, and Extensions

In this thesis, we examine theoretical aspects of the Gomory-Chvital closure of polyhedra. A Gomory-Chvital cutting plane for a polyhedron P is derived from any rational inequality that is valid for P by shifting the boundary of the associated half-space towards the polyhedron until it intersects an integer point. The Gomory-ChvAital closure of P is the intersection of all half-spaces defined b...

متن کامل

On the membership problem for the {0, 1/2}-closure

In integer programming, {0, 1/2}-cuts are Gomory–Chvátal cuts that can be derived from the original linear system by using coefficients of value 0 or 1/2 only. The separation problem for {0, 1/2}-cuts is strongly NP-hard. We show that separation remains strongly NP-hard, even when all integer variables are binary. © 2011 Elsevier B.V. All rights reserved.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016