作者: Francisco Barahona , Ali Ridha Mahjoub
DOI: 10.1137/S089548019018268X
关键词:
摘要: The authors characterize the stable set polytope for graphs that do not have a 4-wheel as minor. prove nontrivial facets are either "edge" inequalities or can be obtained by composing "odd cycles" and "subdivisions of $K_4$." By adding some extra variables, it is shown problem these formulated linear program polynomial size.