<p>Given an edge-weighted undirected connected graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G = (V, E, \rho , \mathcal {X}, \mathcal {Y})\)</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>ρ</mi> <mo>,</mo> <mi mathvariant="script">X</mi> <mo>,</mo> <mi mathvariant="script">Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\rho : E \rightarrow \textrm{R}^{+} \cup \{ 0 \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>:</mo> <mi>E</mi> <mo stretchy="false">→</mo> <msup> <mtext>R</mtext> <mo>+</mo> </msup> <mo>∪</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is an edge-weight function, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {X} \subset V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">X</mi> <mo>⊂</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> is a subset of clients, and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {Y} \subset V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Y</mi> <mo>⊂</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> is a subset of candidates, and a positive integer <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(k &lt; |\mathcal {Y}|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>&lt;</mo> <mo stretchy="false">|</mo> <mi mathvariant="script">Y</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>, the <i>k</i><b>-Supplier Problem (</b><i>k</i> <b>SP)</b> asks for an optimal subset of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Y</mi> </math></EquationSource> </InlineEquation> of cardinality at most <i>k</i> to minimize the radius from <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> to the subset. In this paper, we focus on the case of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {X} \cap \mathcal {Y} \ne \emptyset , \mathcal {X}, \mathcal {Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">X</mi> <mo>∩</mo> <mi mathvariant="script">Y</mi> <mo>≠</mo> <mi mathvariant="normal">∅</mi> <mo>,</mo> <mi mathvariant="script">X</mi> <mo>,</mo> <mi mathvariant="script">Y</mi> </mrow> </math></EquationSource> </InlineEquation>, and consider the scenario where the shortest path distances <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(d(\cdot , \cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in <i>G</i> satisfy a <i>parameterized triangle inequality</i> between <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Y</mi> </math></EquationSource> </InlineEquation>, i.e., <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(d(x, y) + d(y, z) \ge \alpha \cdot d(x, z), \forall x, y, z \in \{ u, v, w \}, x \ne y, y \ne z, z \ne x\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>d</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mi>α</mi> <mo>·</mo> <mi>d</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mo>∀</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>,</mo> <mi>z</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">}</mo> <mo>,</mo> <mi>x</mi> <mo>≠</mo> <mi>y</mi> <mo>,</mo> <mi>y</mi> <mo>≠</mo> <mi>z</mi> <mo>,</mo> <mi>z</mi> <mo>≠</mo> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(1 \le \alpha \le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>α</mi> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> is a parameter, for any three distinct vertices, <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(v, u \in \mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>,</mo> <mi>u</mi> <mo>∈</mo> <mi mathvariant="script">X</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(w \in \mathcal {Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mi mathvariant="script">Y</mi> </mrow> </math></EquationSource> </InlineEquation>. We present a <i>two-stage</i> dual approximation algorithm <Emphasis FontCategory="SansSerif">ALG</Emphasis> for the <i>k</i>SP with parameter triangle inequality between <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathcal {Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Y</mi> </math></EquationSource> </InlineEquation>. If it stops at the end of Stage 1 then it achieves a <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\frac{2}{\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mn>2</mn> <mi>α</mi> </mfrac> </math></EquationSource> </InlineEquation>-approximation, and if it stops at the end of Stage 2 then it achieves a <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\((\frac{2}{\alpha ^{2}} + \frac{1}{\alpha })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>2</mn> <msup> <mi>α</mi> <mn>2</mn> </msup> </mfrac> <mo>+</mo> <mfrac> <mn>1</mn> <mi>α</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation. <Emphasis FontCategory="SansSerif">ALG</Emphasis> runs in a polynomial time and the above two parameterized performance factors of it are both strictly monotonic decreasing with respect to the value of parameter <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>. For the <i>k</i>SP instances with parameterized triangle inequality having <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(1 &lt; \alpha \le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, it is implied by <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(1 \le \frac{2}{\alpha } &lt; 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mfrac> <mn>2</mn> <mi>α</mi> </mfrac> <mo>&lt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(1 \le \frac{2}{\alpha ^{2}} + \frac{1}{\alpha } &lt; 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mfrac> <mn>2</mn> <msup> <mi>α</mi> <mn>2</mn> </msup> </mfrac> <mo>+</mo> <mfrac> <mn>1</mn> <mi>α</mi> </mfrac> <mo>&lt;</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> that <Emphasis FontCategory="SansSerif">ALG</Emphasis> has better approximation ratios than the previously best polynomial-time 3-approximation algorithm of Hochbaum and Shmoys (J. ACM. <b>33</b>: 533–550, 1986). Furthermore, regardless of the parameterized aspect, <Emphasis FontCategory="SansSerif">ALG</Emphasis> achieves a 2-approximation if it stops at the end of Stage 1 and a 3-approximation if it stops at the end of Stage 2, for the general <i>k</i>SP.</p>

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

An improved two-stage approximation algorithm for the k-supplier problem with parameterized triangle inequality

  • Wei Ding,
  • Yu Zhou,
  • Guangting Chen,
  • Ke Qiu

摘要

Given an edge-weighted undirected connected graph \(G = (V, E, \rho , \mathcal {X}, \mathcal {Y})\) G = ( V , E , ρ , X , Y ) , where \(\rho : E \rightarrow \textrm{R}^{+} \cup \{ 0 \}\) ρ : E R + { 0 } is an edge-weight function, \(\mathcal {X} \subset V\) X V is a subset of clients, and \(\mathcal {Y} \subset V\) Y V is a subset of candidates, and a positive integer \(k < |\mathcal {Y}|\) k < | Y | , the k-Supplier Problem (k SP) asks for an optimal subset of \(\mathcal {Y}\) Y of cardinality at most k to minimize the radius from \(\mathcal {X}\) X to the subset. In this paper, we focus on the case of \(\mathcal {X} \cap \mathcal {Y} \ne \emptyset , \mathcal {X}, \mathcal {Y}\) X Y , X , Y , and consider the scenario where the shortest path distances \(d(\cdot , \cdot )\) d ( · , · ) in G satisfy a parameterized triangle inequality between \(\mathcal {X}\) X and \(\mathcal {Y}\) Y , i.e., \(d(x, y) + d(y, z) \ge \alpha \cdot d(x, z), \forall x, y, z \in \{ u, v, w \}, x \ne y, y \ne z, z \ne x\) d ( x , y ) + d ( y , z ) α · d ( x , z ) , x , y , z { u , v , w } , x y , y z , z x , where \(1 \le \alpha \le 2\) 1 α 2 is a parameter, for any three distinct vertices, \(v, u \in \mathcal {X}\) v , u X and \(w \in \mathcal {Y}\) w Y . We present a two-stage dual approximation algorithm ALG for the kSP with parameter triangle inequality between \(\mathcal {X}\) X and \(\mathcal {Y}\) Y . If it stops at the end of Stage 1 then it achieves a \(\frac{2}{\alpha }\) 2 α -approximation, and if it stops at the end of Stage 2 then it achieves a \((\frac{2}{\alpha ^{2}} + \frac{1}{\alpha })\) ( 2 α 2 + 1 α ) -approximation. ALG runs in a polynomial time and the above two parameterized performance factors of it are both strictly monotonic decreasing with respect to the value of parameter \(\alpha \) α . For the kSP instances with parameterized triangle inequality having \(1 < \alpha \le 2\) 1 < α 2 , it is implied by \(1 \le \frac{2}{\alpha } < 2\) 1 2 α < 2 and \(1 \le \frac{2}{\alpha ^{2}} + \frac{1}{\alpha } < 3\) 1 2 α 2 + 1 α < 3 that ALG has better approximation ratios than the previously best polynomial-time 3-approximation algorithm of Hochbaum and Shmoys (J. ACM. 33: 533–550, 1986). Furthermore, regardless of the parameterized aspect, ALG achieves a 2-approximation if it stops at the end of Stage 1 and a 3-approximation if it stops at the end of Stage 2, for the general kSP.