<p>In this paper, we consider the heterogeneous rooted tree cover (HRTC) problem, which further generalizes the rooted tree cover problem. Specifically, given a complete graph <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="134" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=(V,E; w,f; r)\)</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>w</mi> <mo>,</mo> <mi>f</mi> <mo>;</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>k</i> construction teams, having nonuniform construction speeds <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq4.gif" Format="GIF" Height="4" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ldots \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>…</mo> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(r\in V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> is a fixed common root, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(w:E\rightarrow {\mathbb {R}}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>:</mo> <mi>E</mi> <mo stretchy="false">→</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> is an edge-weight function, satisfying the triangle inequality, and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:V\rightarrow {\mathbb {R}}^{+}_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi>V</mi> <mo stretchy="false">→</mo> <msubsup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>0</mn> <mo>+</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> (<i>i.e., </i> <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{+}\cup \{0\})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mrow> <mo>∪</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a vertex-weight function with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(r)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we are asked to find <i>k</i> trees for these <i>k</i> construction teams, each tree having the same root <i>r</i>, and collectively covering all vertices in <i>V</i>, the objective is to minimize the maximum completion time of <i>k</i> construction teams, where the completion time of each team is the total construction weight of its related tree divided by its construction speed. In addition, substituting <i>k</i> paths for <i>k</i> trees in the HRTC problem, we also consider the heterogeneous rooted path cover (HRPC) problem. Our main contributions are as follows. (1) Given any small constant <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we first design a <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(58.3286(1+\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>58.3286</mn> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm to solve the HRTC problem, and this algorithm runs in time <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq13.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="259" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(n^{2}(n+\frac{\log n}{\delta })+\log (w(E)+f(V)))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mfrac> <mrow> <mo>log</mo> <mi>n</mi> </mrow> <mi>δ</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Meanwhile, we present a simple <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(116.6572(1+\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>116.6572</mn> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm to solve the HRPC problem, whose time complexity is the same as the preceding algorithm. (2) We provide a <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\(\max \{2\rho , 2+\rho -\frac{2}{k}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mn>2</mn> <mi>ρ</mi> <mo>,</mo> <mn>2</mn> <mo>+</mo> <mi>ρ</mi> <mo>-</mo> <mfrac> <mn>2</mn> <mi>k</mi> </mfrac> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm to resolve the HRTC problem, and that algorithm runs in time <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq16.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(n^{2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq17.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation> is the ratio of the largest team speed to the smallest one. At the same time, we can prove that the preceding <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1278_Article_IEq18.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\(\max \{2\rho , 2+\rho -\frac{2}{k}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mn>2</mn> <mi>ρ</mi> <mo>,</mo> <mn>2</mn> <mo>+</mo> <mi>ρ</mi> <mo>-</mo> <mfrac> <mn>2</mn> <mi>k</mi> </mfrac> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm also resolves the HRPC problem.</p>

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

Approximation algorithms for solving the heterogeneous rooted tree/path cover problems

  • Pengxiang Pan,
  • Junran Lichen,
  • Ping Yang,
  • Jianping Li

摘要

In this paper, we consider the heterogeneous rooted tree cover (HRTC) problem, which further generalizes the rooted tree cover problem. Specifically, given a complete graph \(G=(V,E; w,f; r)\) G = ( V , E ; w , f ; r ) and k construction teams, having nonuniform construction speeds \(\lambda _{1}\) λ 1 , \(\lambda _{2}\) λ 2 , \(\ldots \) , \(\lambda _{k}\) λ k , where \(r\in V\) r V is a fixed common root, \(w:E\rightarrow {\mathbb {R}}^{+}\) w : E R + is an edge-weight function, satisfying the triangle inequality, and \(f:V\rightarrow {\mathbb {R}}^{+}_{0}\) f : V R 0 + (i.e., \({\mathbb {R}}^{+}\cup \{0\})\) R + { 0 } ) is a vertex-weight function with \(f(r)=0\) f ( r ) = 0 , we are asked to find k trees for these k construction teams, each tree having the same root r, and collectively covering all vertices in V, the objective is to minimize the maximum completion time of k construction teams, where the completion time of each team is the total construction weight of its related tree divided by its construction speed. In addition, substituting k paths for k trees in the HRTC problem, we also consider the heterogeneous rooted path cover (HRPC) problem. Our main contributions are as follows. (1) Given any small constant \(\delta >0\) δ > 0 , we first design a \(58.3286(1+\delta )\) 58.3286 ( 1 + δ ) -approximation algorithm to solve the HRTC problem, and this algorithm runs in time \(O(n^{2}(n+\frac{\log n}{\delta })+\log (w(E)+f(V)))\) O ( n 2 ( n + log n δ ) + log ( w ( E ) + f ( V ) ) ) . Meanwhile, we present a simple \(116.6572(1+\delta )\) 116.6572 ( 1 + δ ) -approximation algorithm to solve the HRPC problem, whose time complexity is the same as the preceding algorithm. (2) We provide a \(\max \{2\rho , 2+\rho -\frac{2}{k}\}\) max { 2 ρ , 2 + ρ - 2 k } -approximation algorithm to resolve the HRTC problem, and that algorithm runs in time \(O(n^{2})\) O ( n 2 ) , where \(\rho \) ρ is the ratio of the largest team speed to the smallest one. At the same time, we can prove that the preceding \(\max \{2\rho , 2+\rho -\frac{2}{k}\}\) max { 2 ρ , 2 + ρ - 2 k } -approximation algorithm also resolves the HRPC problem.