[論文レビュー] Algorithmic aspects of Tverberg's Theorem

David Rolnick, Pablo Soberón|arXiv (Cornell University)|Jan 4, 2016

Topological and Geometric Data Analysis参考文献 21被引用数 4

ひとこと要約

本稿は、さまざまな凸性空間におけるツヴェルベルク分割を求めるための計算的複雑性を調査し、幾何的および整数的ツヴェルベルクの定理の弱多項式時間確率的アルゴリズムを提示する。また、一般のグラフにおける地政的凸性におけるラドン分割を求める問題のNP困難性を示し、特定のグラフクラスに対しては効率的な解法を提供する。

ABSTRACT

We study the complexity of finding Tverberg partitions within various convexity spaces. For the classic geometric version of Tverberg's theorem, we obtain probabilistic algorithms that are weakly polynomial in both the dimension and the number of points. These algorithms extend to other variations, such as the integer version of Tverberg's theorem. For geodetic convexity on graphs, we show that the general problem of finding Radon partitions is NP-hard, and present efficient algorithms for certain special classes of graphs.

研究の動機と目的

• 異なる凸性空間におけるツヴェルベルク分割を求めるための計算的複雑性を分析すること。
• 幾何的および整数的ツヴェルベルクの定理の弱多項式時間確率的アルゴリズムを開発すること。
• グラフ上の地政的凸性におけるラドン分割問題の複雑性を調査すること。
• 効率的なラドン分割アルゴリズムを構築できる、取り扱いやすいグラフクラスを同定すること。

提案手法

• 次元および点の数に関して弱多項式時間で実行される確率的アルゴリズムを設計し、幾何的ツヴェルベルク問題を対象とする。
• 幾何的アプローチを格子制約に適応させることで、整数的ツヴェルベルクの定理への同様のアルゴリズムフレームワークを拡張する。
• 還元技術を用いて、一般のグラフにおける地政的凸性におけるラドン分割問題のNP困難性を証明する。
• 木や系列並列グラフなどの特定のグラフクラスにおいて、効率的なラドン分割計算を可能にするグラフの構造的性質を同定する。
• ユークリッド空間を超える凸性空間に対し、計算幾何学および組合せ最適化の技術を応用する。
• グラフ論的特徴付けを用いて、特定のグラフクラスに特化したアルゴリズムを設計する。

実験結果

リサーチクエスチョン

• RQ1 標準的な幾何的設定におけるツヴェルベルク分割を計算する際の計算的複雑性は何か？
• RQ2 整数的ツヴェルベルク問題に対して、弱多項式時間確率的アルゴリズムを開発できるか？
• RQ3 任意のグラフにおける地政的凸性におけるラドン分割を求める問題はNP困難か？
• RQ4 どのグラフクラスが、地政的凸性下でのラドン分割計算に対して効率的なアルゴリズムを備えているか？
• RQ5 どのグラフの構造的性質が、ラドン分割の多項式時間計算を可能にするか？

主な発見

• 幾何的ツヴェルベルク問題の確率的アルゴリズムは、次元および点の数に関して弱多項式時間で実行される。
• 同じアルゴリズムフレームワークは、整数的ツヴェルベルクの定理に対しても同様の時間計算量で拡張可能である。
• 一般のグラフにおける地政的凸性におけるラドン分割の求解問題はNP困難である。
• 木や系列並列グラフなどの特定のグラフクラスにおいて、ラドン分割計算のための効率的アルゴリズムが存在する。
• NP困難性の結果は、比較的単純なグラフ構造に対しても成り立つ。
• 本研究は明確な複雑性の二分法を確立している：一般のグラフでは困難であり、特定の構造的クラスでは取り扱いやすい。