<p>Let us consider a connected undirected graph <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(G = (V, E,d,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with a set of nodes <i>V</i>, a set of edges <i>E</i>, an edge distance vector <i>d</i>, and an edge weight vector <i>w</i>. For a given integer <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we investigate the problem of finding <i>k</i>-maximally weighted edge-disjoint spanning trees <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_1,S_2\ldots S_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>…</mo> <msub> <mi>S</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_i\subseteq E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>i</mi> </msub> <mo>⊆</mo> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(i\in \{1,\dots , k\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>k</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. Given <i>k</i> root nodes <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(r_1,\ldots r_k \in V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <msub> <mi>r</mi> <mi>k</mi> </msub> <mo>∈</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation>, we also impose additional constraints, leading to two new variants: (1) <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> must be a shortest-path tree, with respect to <i>d</i>, rooted on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq8.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(r_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>r</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and 2) all trees must be shortest-path trees, with respect to <i>d</i>, rooted on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq9.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(r_1,\ldots r_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <msub> <mi>r</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, respectively. We consider two different objective functions: (1) the weight of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is minimum, and (2) the total weight of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_1,\dots , S_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>S</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is minimum. We show that each variant belongs to <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10479_2025_6592_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> class for some values of <i>k</i>. This leads to exact polynomial matroid-based algorithms. We present and discuss the numerical results for every variant, and analyze the properties of the trees returned by the algorithms.</p>

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

On the k-maximally-disjoint weighted spanning trees problem: variants, complexity and algorithms

  • Walid Astaoui,
  • Youcef Magnouche,
  • Sébastien Martin

摘要

Let us consider a connected undirected graph \(G = (V, E,d,w)\) G = ( V , E , d , w ) with a set of nodes V, a set of edges E, an edge distance vector d, and an edge weight vector w. For a given integer \(k \ge 2\) k 2 , we investigate the problem of finding k-maximally weighted edge-disjoint spanning trees \(S_1,S_2\ldots S_k\) S 1 , S 2 S k , where \(S_i\subseteq E\) S i E , \(i\in \{1,\dots , k\}\) i { 1 , , k } . Given k root nodes \(r_1,\ldots r_k \in V\) r 1 , r k V , we also impose additional constraints, leading to two new variants: (1) \(S_1\) S 1 must be a shortest-path tree, with respect to d, rooted on \(r_1\) r 1 and 2) all trees must be shortest-path trees, with respect to d, rooted on \(r_1,\ldots r_k\) r 1 , r k , respectively. We consider two different objective functions: (1) the weight of \(S_1\) S 1 is minimum, and (2) the total weight of \(S_1,\dots , S_k\) S 1 , , S k is minimum. We show that each variant belongs to \(\mathcal {P}\) P class for some values of k. This leads to exact polynomial matroid-based algorithms. We present and discuss the numerical results for every variant, and analyze the properties of the trees returned by the algorithms.