<p>In the <i>pairwise weighted spanner</i> problem, we are given a directed graph with <i>n</i> vertices and <i>k</i> terminal vertex pairs. Each edge is assigned both a <i>cost</i> and a <i>length</i>. The goal is to find a minimum-cost subgraph in which the terminal distance constraints are satisfied. A more restricted variant of this problem was shown to be <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(O(2^{{\log ^{1-\varepsilon } n}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mn>2</mn> <mrow> <msup> <mo>log</mo> <mrow> <mn>1</mn> <mo>-</mo> <mi>ε</mi> </mrow> </msup> <mi>n</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-hard to approximate under a standard complexity assumption, by Elkin and Peleg (Theory of Computing Systems, 2007). This general formulation captures many well-studied network connectivity problems, including spanners, distance preservers, and Steiner forests. For the weighted spanner problem where the edges have positive <i>integral</i> lengths with magnitudes <i>polynomial</i> in <i>n</i>, we show an <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\tilde{O}(n^{4/5 + \varepsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>O</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>4</mn> <mo stretchy="false">/</mo> <mn>5</mn> <mo>+</mo> <mi>ε</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm. When the edges have unit costs and lengths, the best previous algorithm gives an <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\tilde{O}(n^{3/5 + \varepsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>O</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>5</mn> <mo>+</mo> <mi>ε</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-approximation, due to Chlamtáč, Dinitz, Kortsarz, and Laekhanukit (Transactions on Algorithms, 2020). We also consider the <i>online</i> setting, where the vertex pairs arrive one at a time, and edges must be added irrevocably to satisfy the distance constraints. We show an <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\tilde{O}(k^{1/2 + \varepsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>O</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>k</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mi>ε</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-competitive algorithm. The state-of-the-art results are an <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\tilde{O}(n^{4/5})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>O</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>4</mn> <mo stretchy="false">/</mo> <mn>5</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-competitive algorithm when edges have unit costs and arbitrary positive lengths, and a <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\min \{\tilde{O}(k^{1/2 + \varepsilon }), \tilde{O}(n^{2/3 + \varepsilon })\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">min</mo> <mo stretchy="false">{</mo> <mover accent="true"> <mi>O</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>k</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mi>ε</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mover accent="true"> <mi>O</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>2</mn> <mo stretchy="false">/</mo> <mn>3</mn> <mo>+</mo> <mi>ε</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>-competitive algorithm when edges have unit costs and lengths, due to Grigorescu, Lin, and Quanrud (APPROX, 2021). To the best of our knowledge, our results are the first approximation (online) polynomial-time algorithms with sublinear approximation (competitive) ratios for the weighted spanner problems.</p>

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

Approximation Algorithms for Directed Weighted Spanners

  • Elena Grigorescu,
  • Nithish Kumar,
  • Young-San Lin

摘要

In the pairwise weighted spanner problem, we are given a directed graph with n vertices and k terminal vertex pairs. Each edge is assigned both a cost and a length. The goal is to find a minimum-cost subgraph in which the terminal distance constraints are satisfied. A more restricted variant of this problem was shown to be \(O(2^{{\log ^{1-\varepsilon } n}})\) O ( 2 log 1 - ε n ) -hard to approximate under a standard complexity assumption, by Elkin and Peleg (Theory of Computing Systems, 2007). This general formulation captures many well-studied network connectivity problems, including spanners, distance preservers, and Steiner forests. For the weighted spanner problem where the edges have positive integral lengths with magnitudes polynomial in n, we show an \(\tilde{O}(n^{4/5 + \varepsilon })\) O ~ ( n 4 / 5 + ε ) -approximation algorithm. When the edges have unit costs and lengths, the best previous algorithm gives an \(\tilde{O}(n^{3/5 + \varepsilon })\) O ~ ( n 3 / 5 + ε ) -approximation, due to Chlamtáč, Dinitz, Kortsarz, and Laekhanukit (Transactions on Algorithms, 2020). We also consider the online setting, where the vertex pairs arrive one at a time, and edges must be added irrevocably to satisfy the distance constraints. We show an \(\tilde{O}(k^{1/2 + \varepsilon })\) O ~ ( k 1 / 2 + ε ) -competitive algorithm. The state-of-the-art results are an \(\tilde{O}(n^{4/5})\) O ~ ( n 4 / 5 ) -competitive algorithm when edges have unit costs and arbitrary positive lengths, and a \(\min \{\tilde{O}(k^{1/2 + \varepsilon }), \tilde{O}(n^{2/3 + \varepsilon })\}\) min { O ~ ( k 1 / 2 + ε ) , O ~ ( n 2 / 3 + ε ) } -competitive algorithm when edges have unit costs and lengths, due to Grigorescu, Lin, and Quanrud (APPROX, 2021). To the best of our knowledge, our results are the first approximation (online) polynomial-time algorithms with sublinear approximation (competitive) ratios for the weighted spanner problems.