[論文レビュー] Towards Tight Bounds on Theta-Graphs

Prosenjit Bose, Jean-Lou De Carufel+3 more|arXiv (Cornell University)|Apr 24, 2014

Computational Geometry and Mesh Generation参考文献 5被引用数 4

ひとこと要約

本稿は、6本以上の錐を持つθグラフについて、タイトなスパンニング比の境界を確立し、θ_{4k+2}-グラフのスパンニング比が正確に1 + 2sin(θ/2)であることを証明するとともに、θ_{4k+3}、θ_{4k+4}、θ_{4k+5}-グラフについても改善された上界と下界を提示した。これらの結果は、幾何的スパニヤーの効率に関する長年の理解の空白を解消し、錐の数を増やすとスパンニング性能が悪化する可能性があることを明らかにした。

ABSTRACT

We present improved upper and lower bounds on the spanning ratio of $θ$-graphs with at least six cones. Given a set of points in the plane, a $θ$-graph partitions the plane around each vertex into $m$ disjoint cones, each having aperture $θ=2π/m$, and adds an edge to the `closest' vertex in each cone. We show that for any integer $k \geq 1$, $θ$-graphs with $4k+2$ cones have a spanning ratio of $1+2\sin(θ/2)$ and we provide a matching lower bound, showing that this spanning ratio tight. Next, we show that for any integer $k \geq 1$, $θ$-graphs with $4k+4$ cones have spanning ratio at most $1+2\sin(θ/2)/(\cos(θ/2)-\sin(θ/2))$. We also show that $θ$-graphs with $4k+3$ and $4k+5$ cones have spanning ratio at most $\cos(θ/4)/(\cos(θ/2)-\sin(3θ/4))$. This is a significant improvement on all families of $θ$-graphs for which exact bounds are not known. For example, the spanning ratio of the $θ$-graph with 7 cones is decreased from at most 7.5625 to at most 3.5132. These spanning proofs also imply improved upper bounds on the competitiveness of the $θ$-routing algorithm. In particular, we show that the $θ$-routing algorithm is $(1+2\sin(θ/2)/(\cos(θ/2)-\sin(θ/2)))$-competitive on $θ$-graphs with $4k+4$ cones and that this ratio is tight. Finally, we present improved lower bounds on the spanning ratio of these graphs. Using these bounds, we provide a partial order on these families of $θ$-graphs. In particular, we show that $θ$-graphs with $4k+4$ cones have spanning ratio at least $1+2 an(θ/2)+2 an^2(θ/2)$. This is somewhat surprising since, for equal values of $k$, the spanning ratio of $θ$-graphs with $4k+4$ cones is greater than that of $θ$-graphs with $4k+2$ cones, showing that increasing the number of cones can make the spanning ratio worse.

研究の動機と目的

• 6本以上の錐を持つθグラフのスパンニング比の境界に関する未解決のギャップを埋めること。
• 半分のθ₆グラフのスパンニング証明を、4k+2本の錐を持つより広いクラスのθグラフに一般化すること。
• θ_{4k+3}、θ_{4k+4}、θ_{4k+5}-グラフのスパンニング比に関する、これまでタイトでない分析がなかった上界と下界を改善すること。
• θルーティングアルゴリズムの競争比を分析し、そのルーティング比にタイトな境界を確立すること。
• 異なるθグラフ族間のスパンニング性能を比較し、スパンニング比に基づいて部分順序を確立すること。

提案手法

• canonical三角形と錐分割を用いて、半分のθ₆グラフからの帰納的スパンニング証明をθ_{4k+2}-グラフに一般化する。
• 三角関数の式（sin(θ/2)、cos(θ/2)、tan(θ/2)を含む）を用いた幾何的解析を適用し、θ_{4k+3}、θ_{4k+4}、θ_{4k+5}-グラフのスパンニング比に対する上界を導出する。
• canonical三角形の隅に頂点を配置することで下界の例を構築し、長大なルーティング経路を引き起こし、θルーティングアルゴリズムが理論的最悪ケース比に限りなく近い経路をたどることを保証する。
• 補助頂点を用いた再帰的頂点配置によりサイクルの整合性を維持し、ショートカットを防ぎ、任意に長いルーティング経路の構築を可能にする。
• 幾何級数としてルーティング経路長を解析し、θ_{4k+4}-グラフのルーティング比を1/(1 - 2sin(θ/2))として導出する。
• スパンニング比の下界を比較することで、θグラフ族間の部分順序を確立し、同じkに対してθ_{4k+4}-グラフがθ_{4k+2}-グラフよりも悪いスパンニング比を持つという直感に反する結果を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 1 に対して、θ_{4k+2}-グラフの正確なスパンニング比は何か？
• RQ2 θ_{4k+3}、θ_{4k+4}、θ_{4k+5}-グラフについて、よりタイトな上界と下界を確立できるか？
• RQ3 θ_{4k+4}-グラフにおけるθルーティングアルゴリズムの競争比は何か？この境界はタイトか？
• RQ4 θグラフの錐の数を増やすと、常にスパンニング比が改善されるのだろうか？それとも性能が悪化する可能性があるのか？
• RQ5 スパンニング比の性質に基づいて、異なるθグラフ族間で部分順序を確立できるか？

主な発見

• θ_{4k+2}-グラフのスパンニング比は正確に1 + 2sin(θ/2)であり、この境界はタイトである。これは、θ₆グラフを除く、大規模なθグラフ族において初めてタイトな境界が確立されたものである。
• θ_{4k+4}-グラフのスパンニング比は、1 + 2sin(θ/2)/(cos(θ/2) - sin(θ/2))以下であり、これは従来の上界に対して顕著な改善を示している。
• θ₇グラフのスパンニング比は、新しいθ_{4k+3}-グラフの上界を用いることで、最大7.5625から最大3.5132にまで低下した。
• θルーティングアルゴリズムは、θ_{4k+4}-グラフにおいて(1 + 2sin(θ/2)/(cos(θ/2) - sin(θ/2)))-競争的であり、この境界はタイトである。
• θ_{4k+4}-グラフに対して、下界1 + 2tan(θ/2) + 2tan²(θ/2)が確立され、同じk値に対して錐の数を増やすとスパンニング比が悪化する可能性があることが示された。
• 同じkに対して、θ_{4k+4}-グラフのスパンニング比はθ_{4k+2}-グラフよりも大きいことが示され、錐の数を増やしても常に良いスパニヤーが得られるわけではないことを実証した。