[論文レビュー] An Algorithm for Computing Constrained Reflection Paths in Simple Polygon

Arijit Bishnu, Subir Kumar Ghosh+3 more|arXiv (Cornell University)|Apr 16, 2013

Computational Geometry and Mesh Generation参考文献 9被引用数 3

ひとこと要約

本稿では、単純多角形内の2点間の最小制約付き拡散反射経路（mcdrp）を計算するO(n(n + β))時間のアルゴリズムを提示する。この経路は単純であり、ユークリッド最短経路の屋根（eaves）をちょうど一度だけ交差し、折り返し点を最小化する。主な貢献は、多項式時間で近似的に最適な拡散反射経路を計算可能にする幾何的制約付き経路モデルの構築であり、近似比は最適経路長の最大4倍である。

ABSTRACT

Let $s$ be a source point and $t$ be a destination point inside an $n$-vertex simple polygon $P$. Euclidean shortest paths and minimum-link paths between $s$ and $t$ inside $P$ have been well studied. Both these kinds of paths are simple and piecewise-convex. However, computing optimal paths in the context of diffuse or specular reflections does not seem to be an easy task. A path from a light source $s$ to $t$ inside $P$ is called a diffuse reflection path if the turning points of the path lie in the interiors of the boundary edges of $P$. A diffuse reflection path is said to be optimal if it has the minimum number of turning points amongst all diffuse reflection paths between $s$ and $t$. The minimum diffuse reflection path may not be simple. The problem of computing the minimum diffuse reflection path in low degree polynomial time has remained open. In our quest for understanding the geometric structure of the minimum diffuse reflection paths vis-a-vis shortest paths and minimum link paths, we define a new kind of diffuse reflection path called a constrained diffuse reflection path where (i) the path is simple, (ii) it intersects only the eaves of the Euclidean shortest path between $s$ and $t$, and (iii) it intersects each eave exactly once. For computing a minimum constrained diffuse reflection path from $s$ to $t$, we present an $O(n(n+β))$ time algorithm, where $β=Θ(n^2)$ in the worst case. Here, $β$ depends on the shape of the polygon. We also establish some properties relating minimum constrained diffuse reflection paths and minimum diffuse reflection paths. Constrained diffuse reflection paths introduced in this paper provide new geometric insights into the hitherto unknown structures and shapes of optimal reflection paths.

研究の動機と目的

• 単純多角形内での最小拡散反射経路を多項式時間で計算するという未解決問題に取り組む。
• 単純性、可視性、最適性のバランスを取る新しい経路クラス—制約付き拡散反射経路—を定義する。
• 制約付き経路と最短経路、最小リンク経路との間に成り立つ幾何的性質を確立する。
• 最小制約付き拡散反射経路（mcdrp）を効率的に計算するアルゴリズムを開発する。
• mcdrpの近似比および最適拡散反射経路に対する構造的上限を分析する。

提案手法

• 制約付き拡散反射経路（cdrp）を、ユークリッド最短経路SP(s,t)の屋根（eaves）をちょうど一度ずつ交差する単純経路として定義する。
• SP(s,t)の可視性構造とその屋根を用いて、反射経路の探索空間を制約する。
• 最短経路SP(s,t)と最小リンク経路mlp(s,t)からmcdrp(s,t)を構築する変換を適用する。
• 可視性および凸性の性質を活用して、経路の単純性と正しい反射位置の配置を保証する。
• 動的計画法または経路延長技術を用い、屋根と可視性領域を順次処理することでmcdrp(s,t)を計算する。
• 構造的補題を用いてmcdrp(s,t)の折り返し回数の上限を示し、最適拡散反射経路長の最大4倍であることを示す。

実験結果

リサーチクエスチョン

• RQ1 単純多角形内での最小拡散反射経路を多項式時間で計算できるか？
• RQ2 拡散反射経路に課すべき幾何的制約は何か、最適化問題を扱いやすくするか？
• RQ3 最小制約付き拡散反射経路の折り返し回数は、最適拡散反射経路とどのように関係するか？
• RQ4 計算されたmcdrp(s,t)の最悪ケース近似比は、最適drp(s,t)と比べてどの程度か？
• RQ5 最悪ケースの多角形において、制約付き拡散反射経路の反射回数に成り立つ構造的上限は何か？

主な発見

• 提案されたアルゴリズムは、最悪ケースでβ = Θ(n²)であるO(n(n + β))時間で最小制約付き拡散反射経路（mcdrp）を計算する。
• 計算されたmcdrp(s,t)のリンク数は、最小リンク経路mlp(s,t)のリンク数の最大4倍である。
• mcdrp(s,t)の近似比cは2 ≤ c ≤ 4を満たし、最悪ケースではc = 4である。また、個々のインスタンスに対してはよりtightな境界が得られる。
• 任意の単純多角形Pの頂点対a, bについて、mcdrp(a,b)の折り返し回数はn/2未満であり、スパイラル多角形ではこの境界がタイトである。
• cdrp(a,b)の存在は、mcdrp(a,b)の折り返し回数がn/2で有界であることを示唆するが、最適拡散反射経路はより多くの折り返しを含む可能性がある。
• アルゴリズムによって構築されたmcdrp(s,t)は、単純であり、SP(s,t)の屋根をそれぞれちょうど一度だけ交差することが保証され、幾何的取り扱いやすさが確保される。