[論文レビュー] A correct even-odd algorithm for the point-in-polygon (PIP) problem for complex polygons

Michael Galetzka, Patrick Glauner|arXiv (Cornell University)|Jul 15, 2012

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

ひとこと要約

この論文は、複雑な多角形における点-多角形（PIP）問題に対して、線形時間で動作する正しい偶奇法を提示している。すべての特殊ケースを体系的に処理することで、実装を簡素化し、コンピューターグラフィックス、ゲーム、ジオインフォマティクスの応用分野における信頼性の高い点包含チェックを実現している。

ABSTRACT

Determining if a point is in a polygon or not is used by a lot of applications in computer graphics, computer games and geoinformatics. Implementing this check is error-prone since there are many special cases to be considered. In this paper we present a simple even-odd algorithm to solve this problem for complex polygons in linear time.

研究の動機と目的

• 多数の特殊ケースに起因する、既存のPIP実装における高い誤り率を是正すること。
• 自己交差を含む非凸形状を正しく処理できる耐障害性の高いアルゴリズムの開発。
• リアルタイム応用に適した線形時間で実行されることを保証すること。
• コンピューターグラフィックスおよび地理情報システムにおける実用的使用を想定し、単純で正しく保守可能な実装を提供すること。

提案手法

• 偶奇則を用いて、エッジの交差回数に基づいて点の包含を判定する。
• 一回のパスで多角形の各エッジを順次処理する。
• 点から発するレイと多角形のエッジ間の交差回数を数え、偶奇パリティを適用する。
• 点がエッジ上または頂点上にあるような退化ケースを一貫したルールで処理する。
• ネストされたループや複雑なデータ構造を避けることで、O(n)の時間計算量を維持する。
• 自己交差を含む多角形を含むすべての特殊ケースを体系的に処理することで、正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 複雑で非凸的かつ自己交差を有する多角形に対して、正しくかつ効率的なPIPアルゴリズムをどのように実現できるか。
• RQ2 既存のPIP実装を破綻させる代表的な特殊ケースは何か。
• RQ3 パフォーマンスを犠牲にすることなく、単純な偶奇則を信頼性を持って実装できるか。
• RQ4 すべてのテストケースで正しさを保証しつつ、線形時間計算量を維持できるか。

主な発見

• 提案されたアルゴリズムは、自己交差や非凸形状を含むすべての複雑な多角形タイプについて、点の包含状態を正しく判定する。
• アルゴリズムは線形時間O(n)で実行され、リアルタイム応用に適している。
• 点がエッジ上や頂点上にあるような共通する特殊ケースを体系的に処理することで、既存実装の一般的な誤りを排除する。
• 偶奇則の単純さと、慎重な特殊ケース管理の組み合わせにより、高い信頼性と保守性が実現される。
• 複雑なデータ構造や追加の事前処理を必要とせず、正しさを達成する。