本論文では、実代数多様体の補集合の連結成分を効率的に計算するアルゴリズムを提案する。このアルゴリズムは、モース理論に基づいて設計されており、多項式の臨界点を見つけ、それらを経路追跡することで、各領域の位相的性質を特徴付ける。