Zero-one IP problems: Polyhedral descriptions & cutting plane procedures

A systematic way for tightening an IP formulation is by employing classes of linear inequalities that define facets of the convex hull of the feasible integer points of the respective problems. Describing as well as identifying these inequalities will help in the efficiency of the LP-based cutting plane methods. In this report, we review classes of inequalities that partially described zero-one poly topes such as the 0-1 knapsack polytope, the set packing polytope and the travelling salesman polytope. Facets or valid inequalities derived from the 0-1 knapsack and the set packing polytopes are algorithmically identifie

On non-rank facets of the stable set polytope of claw-free graphs and circulant graphs

We deal with non-rank facets of the stable set polytope of claw-free graphs. We extend results of Giles and Trotter [7] by (i) showing that for any nonnegative integer a there exists a circulant graph whose stable set polytope has a facet-inducing inequality with (a,a+1)-valued coefficients (rank facets have only coefficients 0, 1), and (ii) providing new facets of the stable set polytope with up to five different non-zero coefficients for claw-free graphs. We prove that coefficients have to be consecutive in any facet with exactly two different non-zero coefficients (assuming they are relatively prime). Last but not least, we present a complete description of the stable set polytope for graphs with stability number 2, already observed by Cook [3] and Shepherd [18

Lift-and-project ranks of the stable set polytope of joined a-perfect graphs

In this paper we study lift-and-project polyhedral operators defined by Lov?asz and Schrijver and Balas, Ceria and Cornu?ejols on the clique relaxation of the stable set polytope of web graphs. We compute the disjunctive rank of all webs and consequently of antiweb graphs. We also obtain the disjunctive rank of the antiweb constraints for which the complexity of the separation problem is still unknown. Finally, we use our results to provide bounds of the disjunctive rank of larger classes of graphs as joined a-perfect graphs, where near-bipartite graphs belong

Clique-circulants and the stable set polytope of fuzzy circular interval graphs

In this paper, we give a complete and explicit description of the rank facets of the stable set polytope for a class of claw-free graphs, recently introduced by Chudnovsky and Seymour (Proceedings of the Bristish Combinatorial Conference, 2005), called fuzzy circular interval graphs. The result builds upon the characterization of minimal rank facets for claw-free graphs by Galluccio and Sassano (J. Combinatorial Theory 69:1-38, 2005) and upon the introduction of a superclass of circulant graphs that are called clique-circulants. The new class of graphs is invetigated in depth. We characterize which clique-circulants C are facet producing, i.e. are such that Sigma upsilon epsilon V(C) chi(upsilon) <= alpha(C) is a facet of STAB(C), thus extending a result of Trotter (Discrete Math. 12:373-388, 1975) for circulants. We show that a simple clique family inequality (Oriolo, Discrete Appl. Math. 132(2):185-201, 2004) may be associated with each clique-circulant C subset of G, when G is fuzzy circular interval. We show that these inequalities provide all the rank facets of STAB(G), if G is a fuzzy circular interval graph. Moreover we conjecture that, in this case, they also provide all the non-rank facets of STAB(G) and offer evidences for this conjecture