[論文レビュー] Compressed polytopes and statistical disclosure limitation

Seth Sullivant|ArXiv.org|Dec 30, 2004

Complexity and Algorithms in Graphs参考文献 10被引用数 4

ひとこと要約

本稿は、 facet に定義される不等式を用いて、圧縮された格子多面体を特徴づけ、それらが 0/1 多面体とアフィン同型であることを証明し、統計的漏洩れ防止における圧縮された周辺分布およびカット多面体の条件を提示する。主たる貢献は、facet の超平面に沿った格子点の分布に基づく、圧縮多面体の必要十分条件の特定であり、この条件が成り立つ場合には統計的漏洩れ防止における整数計画問題を多項式時間で解けることを示している。

ABSTRACT

We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize those graphs whose cut polytopes are compressed and discuss consequences for studying linear programming relaxations in statistical disclosure limitation.

研究の動機と目的

• 圧縮された格子多面体をその facet に定義される不等式を用いて特徴づけること。
• すべての圧縮多面体が 0/1 多面体とアフィン同型であることを確立すること。
• 特徴づけを統計的漏洩れ防止における周辺多面体およびカット多面体に適用すること。
• 細胞エントリの最大化問題において、線形計画法の緩和が鋭い整数境界を与える条件を特定すること。
• 整数計画法のギャップが最小化またはゼロとなる周辺分布の新たな族を同定すること。

提案手法

• 格子多面体におけるユニモジュラリティを定義・分析するために、引き抜き三角形分割（pulling triangulations）の使用。
• 各 facet に定義される超平面の平行移動に高々1つのコピーに格子点が存在するという条件に基づく、圧縮多面体の必要十分条件の導出。
• 主定理を分解可能な階層的モデルの周辺多面体に適用すること。
• 2値変数の場合に、共分散写像を用いて周辺多面体とカット多面体を関連付けること。
• 圧縮されたカット多面体が $K_4$ の部分グラフを持たず、長さ ≤4 の誘導サイクルしか持たないグラフに対応することの証明。
• 既知の $K_4$-自由グラフに関する結果を活用し、線形計画法の多項式時間解法を示すこと。

実験結果

リサーチクエスチョン

• RQ1 facet に定義される不等式の観点から、圧縮された格子多面体はどのように特徴づけられるか？
• RQ2 周辺制約下で細胞エントリを最大化する問題において、線形計画法の緩和が鋭い整数境界を与えるのはいつか？
• RQ3 どのようなグラフが圧縮されたカット多面体を与えるか？ そしてこれは統計的漏洩れ防止とどのように関係するか？
• RQ4 圧縮多面体の構造をどのように活用して、整数計画法ギャップが最小化された周辺分布の族を同定できるか？
• RQ5 facet の超平面に沿った格子点の分布と、引き抜き三角形分割のユニモジュラリティの関係は何か？

主な発見

• 格子多面体が圧縮であるための必要十分条件は、各 facet に定義される不等式に対して、多面体内の格子点がその不等式で定義される超平面の平行移動に高々1つにしか存在しないことである。
• すべての圧縮された格子多面体は、0/1 多面体とアフィン同型であり、特に単位超立方体とアフィン部分空間の共通部分として表現可能である。
• 単体複体 $ riangle$ が分解可能であるか、特定の次数およびサイクル制約（$d_i > 2$ を満たすインデックスが高々2つまで）を満たす場合に限り、周辺多面体 $P_{ riangle}$ は圧縮される。
• $d = (2,2,...,2)$ の場合、周辺多面体 $P_{ riangle}$ が圧縮されるための必要十分条件は、$ riangle$ が $K_4$ の部分グラフを持たず、すべての誘導サイクルの長さが4以下であることである。
• 多面体 $P_{ riangle}$ が圧縮される場合、細胞エントリの整数計画法の最大値は $n$ および周辺分布のビット複雑性に関して多項式時間で計算可能である。
• 主定理における格子点条件の不成立は、非ゼロの整数計画法ギャップの存在を示しており、統計的漏洩れ防止問題におけるギャップが大きい領域を特定する手がかりを提供する。