<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G=(V\cup T,E)\)</EquationSource> </InlineEquation> be a graph where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(V\cup T\)</EquationSource> </InlineEquation> is the set of vertices, with <i>T</i> a subset of distinguished vertices, called terminals, and <i>E</i> the set of edges. Given a weight function <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(w: V\rightarrow \mathbb N{\setminus } \{0\}\)</EquationSource> </InlineEquation> associated with the nonterminal nodes, the multi-terminal vertex separator problem consists in partitioning <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(V\cup T\)</EquationSource> </InlineEquation> into <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(k+1\)</EquationSource> </InlineEquation> subsets <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\{S, V_1,\dots , V_k\}\)</EquationSource> </InlineEquation> such that there is no edge between two different subsets <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(V_i\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(V_j\)</EquationSource> </InlineEquation>, each <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(V_i\)</EquationSource> </InlineEquation> contains exactly one terminal and the weight of <i>S</i> is minimum. In this paper, we characterize the polytope of the solutions of this problem for two classes of the graph, and we show that the two linear systems are totally dual integral. Then, we study the polytope for the graphs that are decomposable by 1-node cutsets. We show that if <i>G</i> decomposes into <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(G_1, \dots , G_k\)</EquationSource> </InlineEquation>, then the polytope in <i>G</i> can be obtained from those in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\bar{G}}_1, \dots , {\bar{G}}_k\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\bar{G}}_1, \dots , {\bar{G}}_k\)</EquationSource> </InlineEquation> are graphs related to <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(G_1, \dots , G_k\)</EquationSource> </InlineEquation>, respectively. We also derive a procedure for composing facets and give some algorithmic consequences for solving the problem in <i>G</i> from <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\bar{G}}_1, \dots , {\bar{G}}_k\)</EquationSource> </InlineEquation>.</p>

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

The multi-terminal vertex separator problem: total dual integrality and polytope composition

  • Y. Magnouche,
  • A. R. Mahjoub,
  • S. Martin

摘要

Let \(G=(V\cup T,E)\) be a graph where \(V\cup T\) is the set of vertices, with T a subset of distinguished vertices, called terminals, and E the set of edges. Given a weight function \(w: V\rightarrow \mathbb N{\setminus } \{0\}\) associated with the nonterminal nodes, the multi-terminal vertex separator problem consists in partitioning \(V\cup T\) into \(k+1\) subsets \(\{S, V_1,\dots , V_k\}\) such that there is no edge between two different subsets \(V_i\) and \(V_j\) , each \(V_i\) contains exactly one terminal and the weight of S is minimum. In this paper, we characterize the polytope of the solutions of this problem for two classes of the graph, and we show that the two linear systems are totally dual integral. Then, we study the polytope for the graphs that are decomposable by 1-node cutsets. We show that if G decomposes into \(G_1, \dots , G_k\) , then the polytope in G can be obtained from those in \({\bar{G}}_1, \dots , {\bar{G}}_k\) , where \({\bar{G}}_1, \dots , {\bar{G}}_k\) are graphs related to \(G_1, \dots , G_k\) , respectively. We also derive a procedure for composing facets and give some algorithmic consequences for solving the problem in G from \({\bar{G}}_1, \dots , {\bar{G}}_k\) .