<p>Let <i>k</i> be a positive integer and let <i>G</i> be a graph with <i>n</i> vertices. A connected <i>k</i>-subpartition of <i>G</i> is a collection of <i>k</i> pairwise disjoint sets (a.k.a. classes) of vertices in <i>G</i> such that each set induces a connected subgraph. The connected <i>k</i>-subpartition polytope of <i>G</i>, denoted by <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {P}(G,k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is defined as the convex hull of the incidence vectors of all connected <i>k</i>-subpartitions of <i>G</i>. Many applications arising in off-shore oil-drilling, forest planning, image processing, cluster analysis, political districting, police patrolling, and biology are modeled in terms of finding connected (sub)partitions of a graph. This study focuses on the facial structure of&#xa0;<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {P}(G,k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the computational complexity of the corresponding separation problems. We first propose a set of valid inequalities having non-zero coefficients associated with a single class that extends and generalizes the ones in the literature of related problems, show sufficient conditions for these inequalities to be facet-defining, and design a polynomial-time separation algorithm for them. We also devise two sets of inequalities that consider multiple classes, prove when they define facets, and study the computational complexity of associated separation problems. Finally, we report on computational experiments showing the usefulness of the proposed inequalities.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the connected (sub)partition polytope

  • Phablo F. S. Moura,
  • Hande Yaman,
  • Roel Leus

摘要

Let k be a positive integer and let G be a graph with n vertices. A connected k-subpartition of G is a collection of k pairwise disjoint sets (a.k.a. classes) of vertices in G such that each set induces a connected subgraph. The connected k-subpartition polytope of G, denoted by \(\mathcal {P}(G,k)\) P ( G , k ) , is defined as the convex hull of the incidence vectors of all connected k-subpartitions of G. Many applications arising in off-shore oil-drilling, forest planning, image processing, cluster analysis, political districting, police patrolling, and biology are modeled in terms of finding connected (sub)partitions of a graph. This study focuses on the facial structure of  \(\mathcal {P}(G,k)\) P ( G , k ) and the computational complexity of the corresponding separation problems. We first propose a set of valid inequalities having non-zero coefficients associated with a single class that extends and generalizes the ones in the literature of related problems, show sufficient conditions for these inequalities to be facet-defining, and design a polynomial-time separation algorithm for them. We also devise two sets of inequalities that consider multiple classes, prove when they define facets, and study the computational complexity of associated separation problems. Finally, we report on computational experiments showing the usefulness of the proposed inequalities.