[논문 리뷰] Towards Tight Bounds on Theta-Graphs

Prosenjit Bose, Jean-Lou De Carufel외 3명|arXiv (Cornell University)|2014. 04. 24.

Computational Geometry and Mesh Generation참고 문헌 5인용 수 4

한 줄 요약

이 논문은 6개 이상의 콘을 가진 θ-그래프의 날카운 spanning 비율 한계를 확립하여, θ_{4k+2}-그래프의 spanning 비율이 정확히 1 + 2sin(θ/2)임을 증명하고, θ_{4k+3}, θ_{4k+4}, θ_{4k+5}-그래프에 대해 향상된 상한 및 하한 한계를 제시한다. 이 결과들은 기하학적 스팸너 효율성에 대한 오랫동안 남아있던 이해의 격차를 해소하며, 콘의 수를 늘릴수록 spanning 성능이 악화될 수 있음을 드러낸다.

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개 이상의 콘을 가진 θ-그래프의 spanning 비율 한계 간극을 메우는 것. 이 문제는 수십 년 동안 해결되지 않은 상태였다.
• 반-θ₆-그래프의 spanning 증명을 4k+2 콘을 가진 더 넓은 θ-그래프 가족으로 일반화하는 것.
• θ_{4k+3}, θ_{4k+4}, θ_{4k+5}-그래프의 spanning 비율에 대해 이전에 날카운 분석이 부족했던 상한 및 하한 한계를 향상시키는 것.
• θ-라우팅 알고리즘의 경쟁력 분석을 수행하고, 그 라우팅 비율에 대해 날카운 한계를 확립하는 것.
• 다양한 θ-그래프 가족 간의 spanning 성능를 비교하고, spanning 비율 기반으로 부분 순서를 설정하는 것.

제안 방법

• canonical 삼각형과 콘 분할을 사용하여 반-θ₆-그래프의 귀납적 spanning 증명을 θ_{4k+2}-그래프로 일반화하는 것.
• sin(θ/2), cos(θ/2), tan(θ/2)를 포함하는 삼각함수 표현을 사용하여 기하 분석을 적용하여 θ_{4k+3}, θ_{4k+4}, θ_{4k+5}-그래프의 spanning 비율 상한을 유도하는 것.
• canonical 삼각형의 모서리 근처에 정점을 배치하여 장거리 라우팅 경로를 유도하고, θ-라우팅 알고리즘이 이론적 최악의 경우 비율에 임의로 가까운 경로를 취하도록 보장하는 하한 예제를 구성하는 것.
• 보조 정점을 사용한 재귀적 정점 배치를 통해 사이클의 무결성을 유지하고 도어를 방지하여, 임의로 긴 라우팅 경로를 구성할 수 있도록 하는 것.
• 기하 급수로 표현된 라우팅 경로 길이를 분석하여 θ_{4k+4}-그래프의 라우팅 비율을 1/(1 - 2sin(θ/2))로 유도하는 것.
• 각 spanning 비율 하한을 비교하여 θ-그래프 가족 간의 부분 순서를 설정하고, 같은 k에 대해 θ_{4k+4}-그래프가 θ_{4k+2}-그래프보다 나쁜 spanning 비율을 가질 수 있음을 드러내는 반직관적인 결과를 발견하는 것.

실험 결과

연구 질문

• RQ1 k ≥ 1일 때, θ_{4k+2}-그래프의 정확한 spanning 비율은 무엇인가요?
• RQ2 θ_{4k+3}, θ_{4k+4}, θ_{4k+5}-그래프에 대해 더 날카운 상한 및 하한 한계를 설정할 수 있을까요?
• RQ3 θ_{4k+4}-그래프에서 θ-라우팅 알고리즘의 경쟁력은 무엇이며, 이 한계는 날카운가요?
• RQ4 θ-그래프의 콘 수를 늘릴수록 항상 spanning 비율이 향상되는가, 아니면 성능이 악화될 수 있는가요?
• RQ5 다양한 θ-그래프 가족 간의 spanning 비율 성질을 기반으로 부분 순서를 설정할 수 있을까요?

주요 결과

• θ_{4k+2}-그래프의 spanning 비율은 정확히 1 + 2sin(θ/2)이며, 이 한계는 날카롭다. 이는 θ₆-그래프를 초월하는 큰 θ-그래프 가족 중에서 처음으로 날카운 한계가 확립된 사례이다.
• θ_{4k+4}-그래프의 경우 spanning 비율은 최대 1 + 2sin(θ/2)/(cos(θ/2) - sin(θ/2)) 이며, 이는 이전 상한에 비해 상당한 향상이다.
• θ_{4k+3}-그래프에 대한 새로운 상한을 적용하여 θ₇-그래프의 spanning 비율을 최대 7.5625에서 최대 3.5132로 감소시켰다.
• θ-라우팅 알고리즘은 θ_{4k+4}-그래프에서 (1 + 2sin(θ/2)/(cos(θ/2) - sin(θ/2)))-경쟁력이 있으며, 이 한계는 날카롭다.
• θ_{4k+4}-그래프에 대해 1 + 2tan(θ/2) + 2tan²(θ/2)의 하한을 확립하여, 동일한 k 값에서 콘의 수를 늘릴수록 spanning 비율이 악화될 수 있음을 보여준다.
• 동일한 k에 대해 θ_{4k+4}-그래프의 spanning 비율이 θ_{4k+2}-그래프보다 크며, 이는 더 많은 콘을 가진다고 해서 항상 더 나은 스팸너가 되는 것은 아님을 보여준다.