加载中…
Conforti et al. give a compact extended formulation for a class of bimodular-constrained integer programs, namely those that model the stable set polytope of a graph with no disjoint odd cycles. We extend their techniques to design compact extended formulations for the integer hull of translated polyhedral cones whose constraint matrix is strictly -modular and has rows that represent a cographic matroid. Our work generalizes the important special case from Conforti et al. concerning -connected graphs with odd cycle transversal number at least . We also discuss the necessity of our assumptions.

生成讲解博客的中文版本

生成AI智能校验的中文版本