[論文レビュー] Intersection graphs of segments and $\exists\mathbb{R}$

Jiřı́ Matoušek|arXiv (Cornell University)|Jun 10, 2014

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

ひとこと要約

本稿は、任意の整数座標を用いた線分表現において、二重指数的座標を必要とする線分交差グラフの存在を確立し、その認識問題が∃ℝ—実数上での多項式不等式系の可解性に多項式時間帰着可能な問題を表す複雑性クラス—に完全であることを証明する。本研究は、線分グラフにおける∃ℝ完全性の簡潔な証明を提供し、実数の1階理論におけるムチニクの手法に基づく簡素化された量化子除去アルゴリズムを導入する。

ABSTRACT

A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In this expository paper, we consider the algorithmic problem of testing whether a given abstract graph is an intersection graph of segments. It turned out that this problem is complete for an interesting recently introduced class of computational problems, denoted by $\exists\mathbb{R}$. This class consists of problems that can be reduced, in polynomial time, to solvability of a system of polynomial inequalities in several variables over the reals. We discuss some subtleties in the definition of $\exists\mathbb{R}$, and we provide a complete and streamlined account of a proof of the $\exists\mathbb{R}$-completeness of the recognition problem for segment intersection graphs. Along the way, we establish $\exists\mathbb{R}$-completeness of several other problems. We also present a decision algorithm, due to Muchnik, for the first-order theory of the reals.

研究の動機と目的

• 線分の交差グラフの認識問題の∃ℝ完全性を確立すること。これは計算幾何学および実代数幾何学における中心的問題である。
• ∃ℝという複雑性クラスの定義および応用における微妙な点を明確にし、実数上での多項式不等式系の可解性に多項式時間帰着可能な問題を捉える。
• 線分グラフの認識がNPに属するためには、線分の端点座標が多項式的に有界でなければならないが、実際にはそうではないこと—すなわち、二重指数的座標要件を持つ反例を提供すること。
• ムチニクによる実数の1階理論のための簡素でアクセスしやすい量化子除去アルゴリズムを提示すること。教育的およびアルゴリズム的解説に適している。
• 線分グラフの∃ℝ完全性の証明を統合的かつ簡潔に整理し、関連する問題を統合し、それらの代数的および幾何的複雑性を強調すること。

提案手法

• 実数上での厳密な多項式不等式系の可解性問題から、線分交差グラフ認識問題への帰着を用い、∃ℝ完全性を確立する。
• 整数座標を用いた線分表現の概念を適用し、ミュラーとマクディアムの構成を用いて、このような表現が二重指数的ビット長の座標を必要とすることを証明する。
• 実数の1階理論における量化子除去にムチニクのアルゴリズムを適用し、有理関数の符号テストの三叉木を用いて、すべての可能な符号配置を探索する。
• 符号テスト木の各経路をたどり、真に評価される経路にのみ対応する条件を論理和で結合することで、存在記号を含まない等価な論理式を構成する。
• 有理関数の符号テストを、分子と分母の符号テストに別々に置き換えることで、1階理論における等価性を保つ。
• アルゴリズムの計算量を分析し、変数の数および多項式の次数に関して、二重指数関数的に上限づけられる算術演算回数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 線分の交差グラフの認識問題は多項式時間で解けるのか、それともNPより計算的に難しいのか？
• RQ2 線分交差グラフの認識問題の正確な計算複雑性は何か？ そして、∃ℝクラスとどのように関係しているか？
• RQ3 すべての整数座標線分表現が二重指数的ビット長の座標を必要とする線分グラフは存在するか？
• RQ4 実数の1階理論における量化子除去アルゴリズムは、計算量的に最適でなくても、概念的に簡潔で効果的であることは可能か？
• RQ5 線分表現における代数的および幾何的制約は、グラフ認識問題における本質的な計算困難性をどのように生じさせるのか？

主な発見

• 任意の整数座標線分表現が $ 2^{\theta(n)} $ ビットの座標を必要とする $ n $ 頂点の線分グラフが存在し、これは問題がNPに属するためにはこのような有界性が必要であることを示している。
• 線分交差グラフの認識問題は、∃ℝ複雑性クラスに完全である。これは、実数上での多項式不等式系の可解性に多項式時間帰着可能な問題の中で最も難しい問題に属することを意味する。
• ∃ℝはNPを含み、PSPACEに含まれるが、その包含関係が真であるかどうかは未解決である。線分グラフ認識は、∃ℝの自然で幾何的に意味のある完全問題を提供する。
• ムチニクの量化子除去アルゴリズムは、最適ではないが、符号テストと有理関数の符号の分岐を用いて、実数の1階理論における量化子を明確かつアクセスしやすく除去する方法を提供する。
• アルゴリズムは符号テストの三叉木をたどり、各リーフが可能な符号配置に対応し、真に評価される経路のみを組み合わせて、量化子を含まない論理式を構成する。
• 帰納的に定義される例の論理式 $ \tilde{\Psi}_n(X) $ は、長さ $ 2^{2^{\theta(n)}} $ の量化子を含まない論理式を必要とし、量化子除去が論理式サイズに二重指数的ブロークアウトを引き起こす可能性を示している。