<p>The double interdiction problem on trees (DIT) for the sum of root-leaf distances (SRD) has significant implications in diverse areas such as transportation networks, military strategies, and counter-terrorism efforts. It aims to maximize the SRD by upgrading edge weights subject to two constraints. One gives an upper bound for the cost of upgrades under certain norm and the other specifies a lower bound for the shortest root-leaf distance (StRD). We utilize both weighted <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(l_\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>l</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> norm and Hamming distance to measure the upgrade cost and denote the corresponding (DIT) problem by (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {DIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>DIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>) and its minimum cost problem by (<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {MCDIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>MCDIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>). We establish the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{N}\mathcal{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mi mathvariant="script">P</mi> </mrow> </math></EquationSource> </InlineEquation>-hardness of problem (<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {DIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>DIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>) by building a reduction from the 0–1 knapsack problem. We solve the problem (<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {DIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>DIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>) by two scenarios based on the number <i>N</i> of upgrade edges. When <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(N=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, a greedy algorithm with <i>O</i>(<i>n</i>) complexity is proposed. For the general case, an exact dynamic programming algorithm within a pseudo-polynomial time is proposed, which is established on a structure of left subtrees by maximizing a convex combination of the StRD and SRD. Furthermore, we confirm the <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{N}\mathcal{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mi mathvariant="script">P</mi> </mrow> </math></EquationSource> </InlineEquation>-hardness of problem (<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {MCDIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>MCDIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>) by reducing from the 0–1 knapsack problem. To tackle problem (<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {MCDIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>MCDIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>), a binary search algorithm with pseudo-polynomial time complexity is outlined, which iteratively solves problem (<InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10898_2025_1490_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hbox {DIT}_{H\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>DIT</mtext> <mrow> <mi>H</mi> <mi>∞</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>). We culminate our study with numerical experiments, showcasing effectiveness of the algorithm.</p>

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

Double interdiction problem on trees on the sum of root-leaf distances by upgrading edges

  • Xiao Li,
  • Xiucui Guan,
  • Junhua Jia,
  • Panos M. Pardalos

摘要

The double interdiction problem on trees (DIT) for the sum of root-leaf distances (SRD) has significant implications in diverse areas such as transportation networks, military strategies, and counter-terrorism efforts. It aims to maximize the SRD by upgrading edge weights subject to two constraints. One gives an upper bound for the cost of upgrades under certain norm and the other specifies a lower bound for the shortest root-leaf distance (StRD). We utilize both weighted \(l_\infty \) l norm and Hamming distance to measure the upgrade cost and denote the corresponding (DIT) problem by ( \(\hbox {DIT}_{H\infty }\) DIT H ) and its minimum cost problem by ( \(\hbox {MCDIT}_{H\infty }\) MCDIT H ). We establish the \(\mathcal{N}\mathcal{P}\) N P -hardness of problem ( \(\hbox {DIT}_{H\infty }\) DIT H ) by building a reduction from the 0–1 knapsack problem. We solve the problem ( \(\hbox {DIT}_{H\infty }\) DIT H ) by two scenarios based on the number N of upgrade edges. When \(N=1\) N = 1 , a greedy algorithm with O(n) complexity is proposed. For the general case, an exact dynamic programming algorithm within a pseudo-polynomial time is proposed, which is established on a structure of left subtrees by maximizing a convex combination of the StRD and SRD. Furthermore, we confirm the \(\mathcal{N}\mathcal{P}\) N P -hardness of problem ( \(\hbox {MCDIT}_{H\infty }\) MCDIT H ) by reducing from the 0–1 knapsack problem. To tackle problem ( \(\hbox {MCDIT}_{H\infty }\) MCDIT H ), a binary search algorithm with pseudo-polynomial time complexity is outlined, which iteratively solves problem ( \(\hbox {DIT}_{H\infty }\) DIT H ). We culminate our study with numerical experiments, showcasing effectiveness of the algorithm.