[論文レビュー] Some Algorithmic Problems in Polytope Theory

Volker Kaibel, Marc E. Pfetsch|ArXiv.org|Feb 20, 2002

Computational Geometry and Mesh Generation被引用数 4

ひとこと要約

本稿は、多面体理論における35のアルゴリズム的問題を体系的にまとめ、座標記述、組合せ的構造、同型、最適化、実現可能性の5つのカテゴリーに分類して計算複雑性を分析している。特に、論理式から導かれる単体的複体の$(n-1)$次元面の個数を数える問題が＃$\mathcal{P}$-完全であることを示しており、多面体的・単体的複体における面の列挙の本質的な難しさを示している。

ABSTRACT

This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The problems are grouped into the sections ``Coordinate Descriptions'', ``Combinatorial Structure'', ``Isomorphism'', ``Optimization'', ``Realizability'', and ``Beyond Polytopes''.

研究の動機と目的

• 計算複雑性に基づいて、多面体理論における基本的アルゴリズム的問題を体系化・分類すること。
• 多面体的・単体的組合せ論における主要問題の複雑性状態（特にNP困難性または＃$\mathcal{P}$-完全性）を特定すること。
• 次元が入力に含まれる場合と固定されている場合の問題の複雑性の違いを明確にすること。
• 未解決問題を強調し、特に計算幾何学および組合せ論の文脈における今後の研究のための参考文献を提供すること。

提案手法

• 問題の記述は、入力、出力、複雑性状態（一般 vs. 固定次元）、および参考文献を含むコメントを含む構造で行われる。
• 著者たちは、多項式時間チューリング還元を用いて複雑性を分析し、多項式時間アルゴリズムと多項式総時間アルゴリズムの違いを明確にしている。
• #$\mathcal{P}$-完全性の証明には、最小非面によって定義される単体的複体を通じて、充足可能性問題（SAT）からの還元を構築している。
• 双対複体の構成を用いて、複体とその補集合の間の面の数を関連づけ、面の列挙問題の効率的な変換を可能にしている。
• 理論的複雑性は、計算複雑性理論（GareyとJohnson）および多面体論（Ziegler、Schrijver）の基礎的結果を用いて分析されている。
• ホモロジーおよびシェーリング問題は、境界行列とスミス標準形を用いて研究され、入力表現（面 vs. 全単体）に基づいて複雑性が評価されている。

実験結果

リサーチクエスチョン

• RQ1 CNF論理式から導かれる単体的複体における$(n-1)$次元面の個数を数える問題の計算複雑性は何か？
• RQ2 純粋単体的複体のシェーリング性は、固定次元において多項式時間で決定可能か？
• RQ3 単体的複体の分割可能性は多項式時間で決定可能か？ また、これは入力表現に依存するか？
• RQ4 与えられた面から構成される単体的複体の$i$番目のホモロジー群を計算する問題の複雑性は何か？
• RQ5 次元が入力に含まれる場合と固定されている場合とで、多面体的問題の複雑性はどのように変化するか？

主な発見

• CNF論理式から構成される単体的複体における$(n-1)$次元面の個数を数える問題は、#SATからの還元により＃$\mathcal{P}$-完全であることが示された。
• 最小非面によって定義される単体的複体の次元を計算することは、複体が少数の回路で定義されていても、＃$\mathcal{P}$-困難である。
• 境界行列のスミス標準形の効率的計算により、単体的複体がすべての単体で与えられた場合にはホモロジー計算が多項式時間で解ける。
• シェーリング性と分割可能性は一般には未解決の問題のままであり、2次元複体に対しても同様であるが、両者ともNPに属する。
• 固定次元ではホモロジー計算および特定の面の列挙問題が多項式時間で解けるが、一般の場合の解決は未だ保留のままである。
• 双対複体の構成により、複体とその補集合の間の面の数を効率的に変換でき、ある問題を複雑性が既知の別の問題に還元することが可能になる。