[論文レビュー] Finding an ordinary conic and an ordinary hyperplane

Olivier Devillers, Asish Mukhopadhyay|ArXiv.org|Sep 27, 1999

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

ひとこと要約

この論文は、古典的な普通の直線の概念を、より高い次元における普通の二次曲線および普通の超平面へと拡張する。既存の普通の直線を求めるアルゴリズムを応用することで、すべての点が一つの二次曲線上にない場合に、正確に5つの点を通る二次曲線（普通の二次曲線）を効率的に計算する手法、および3次元以上においては、超平面上に正確に1つの点しか含まない普通の超平面を計算する手法を提示する。このアプローチは、先行研究の証明とアルゴリズムを単純化し、統一的かつ効率的な計算フレームワークを提供する。

ABSTRACT

Given a finite set of non-collinear points in the plane, there exists a line that passes through exactly two points. Such a line is called an ordinary line. An efficient algorithm for computing such a line was proposed by Mukhopadhyay et al. In this note we extend this result in two directions. We first show how to use this algorithm to compute an ordinary conic, that is, a conic passing through exactly five points, assuming that all the points do not lie on the same conic. Both our proofs of existence and the consequent algorithms are simpler than previous ones. We next show how to compute an ordinary hyperplane in three and higher dimensions.

研究の動機と目的

• 平面における普通の直線の概念を、普通の二次曲線へと拡張すること。
• 正確に5つの点を通る普通の二次曲線を計算するための効率的アルゴリズムを開発すること。
• 3次元以上における普通の直線の概念を、普通の超平面へ一般化すること。
• 普通の二次曲線および超平面に関する既存の証明とアルゴリズムを、先行研究と比較して単純化すること。
• コアとなるアルゴリズム的手法に基づき、このような幾何的対象を統一的に計算するフレームワークを提供すること。

提案手法

• すべての点が一つの二次曲線上にない点集合を活用して、既存の普通の直線を求めるアルゴリズムを応用し、普通の二次曲線を検出する。
• 組合せ論的および幾何的性質を用いて、入力点集合から正確に5つの点を通る二次曲線が作成されることを保証する。
• 双対性および接続幾何学の技法を適用し、超平面計算のための手法を高次元へと拡張する。
• 3次元以上において、与えられた点集合から正確に1つの点しか含まない超平面を構築する。
• 普通の直線の場合と同一のコアアルゴリズム的構造を、高次元の接続構造へ一般化する。
• 点配置の適切な選択および幾何的不変量を用いて、正しさと効率性を確保する。

実験結果

リサーチクエスチョン

• RQ1 普通の直線を求めるアルゴリズムを、平面における普通の二次曲線の計算へと拡張可能か？
• RQ2 非二次曲線上の点集合から、正確に5つの点を通る二次曲線が存在するための条件は何か？
• RQ3 普通の直線の概念を3次元以上における超平面へ一般化するにはどうすればよいか？
• RQ4 高次元空間における普通の超平面を求める計算の時間計算量は何か？
• RQ5 普通の二次曲線および超平面に関する証明とアルゴリズムは、先行研究と比較して単純化可能か？

主な発見

• すべての点が同一の円周上または同一の二次曲線上にない場合、正確に5つの点を通る普通の二次曲線を効率的に計算可能である。
• 普通の二次曲線を求めるアルゴリズムは、先行手法と比較してより単純かつ効率的であり、普通の直線アルゴリズムと同一の基本的論理に依拠している。
• d次元空間（d ≥ 3）における普通の超平面は、入力点集合から正確に1つの点しか含まない形で計算可能である。
• 双対性および接続幾何学を用いることで、2次元から高次元への自然な一般化が可能である。
• 存在証明およびアルゴリズム的構成は、分野内の先行研究と比較して、より単純かつ直感的である。
• アプローチは計算効率を維持したまま、普通の対象問題の範囲を高次元の曲線および高次元へと拡張している。