[論文レビュー] Complexity of Local Search for Euclidean Clustering Problems

Bodo Manthey, Nils Morawietz+2 more|arXiv (Cornell University)|Dec 22, 2023

Facility Location and Emergency Management被引用数 1

ひとこと要約

この論文は、点をクラスタ間で再割り当てするための単純な局所探索であるFlipヒューリスティクスが、k-平均法クラスタリングおよび二乗ユークリッド距離最大カット問題において、低次元ユークリッド空間であってもPLS完全であることを確立している。この結果は、入力データの幾何構造が存在するにもかかわらず、この広く使われているヒューリスティクスを用いた局所最適解の探索が計算的に難しいことを示している。

ABSTRACT

We show that the simplest local search heuristics for two natural Euclidean clustering problems are PLS-complete. First, we show that the Hartigan--Wong method for $k$-Means clustering is PLS-complete, even when $k = 2$. Second, we show the same result for the Flip heuristic for Max Cut, even when the edge weights are given by the (squared) Euclidean distances between the points in some set $\mathcal{X} \subseteq \mathbb{R}^d$; a problem which is equivalent to Min Sum 2-Clustering.

研究の動機と目的

• ユークリッドクラスタリング問題における局所探索ヒューリスティクスの計算複雑性を特定すること。
• 実用的普及が著しいk-平均法および二乗ユークリッド距離最大カット問題のFlipヒューリスティクスが、その有用性にもかかわらず多項式時間で解けるかどうかを調査すること。
• k = 2 または低次元空間であっても、Flip近傍におけるこれらの問題のPLS完全性を確立すること。
• ユークリッド空間の幾何的構造が、クラスタリングにおける局所探索の複雑性を軽減するかどうかを明確にすること。

提案手法

• 既知のPLS完全問題（奇数最小二分法および最大カット）を、座標変換を用いてユークリッドクラスタリング問題へ還元すること。
• 点集合をRdに構築し、点間のユークリッド距離が組合せ的グラフにおける辺の重みを再現するようにすること。
• 二乗距離を用いて、最大カットおよびk-平均法の目的関数を幾何的埋め込みによって模倣すること。
• 先行研究の還元（Ageevら、Aloisら）を適応し、ユークリッド設定下でもPLS完全性が保たれることを保証すること。
• 点の座標を慎重に代数的に操作し、目標問題における所望の重みに対応する∥x−y∥2 または ∥x−y∥ が得られるようにすること。
• Flipヒューリスティクスの近傍構造が、辺の重みがユークリッド距離から導かれていても、依然として難易度を保つことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 k = 2 であっても、k-平均法クラスタリングにおけるFlipヒューリスティクスはPLS完全か？
• RQ2 二乗距離を用いたユークリッド空間における最大カット問題において、局所探索の計算的難易度は継続的に存在するか？
• RQ3 ユークリッド空間の幾何的制約が、クラスタリング問題における局所探索の複雑性を軽減できるか？
• RQ4 次元dが点数に対して非線形的（sublinear）である場合でも、FlipヒューリスティクスのPLS完全性は保たれるか？
• RQ5 ユークリッド空間に内在する構造的性質が、クラスタリングのためのより高速な局所探索アルゴリズムの実現を可能にするか？

主な発見

• k = 2 であっても、k-平均法クラスタリングにおけるFlipヒューリスティクスはPLS完全であり、この設定においても局所探索が計算的に難しいことが証明された。
• 同様に、二乗ユークリッド距離最大カット問題に対しても同様の結果が成り立ち、辺の重みが二乗ユークリッド距離から導かれていても、FlipヒューリスティクスはPLS完全である。
• 本研究の還元により、Ω(n)次元のインスタンスが生成されるが、kおよびdが小さい場合でも難易度は継続的に存在する。
• ユークリッド構造は、局所探索の計算的利点を提供せず、一般の最大カット問題と同等の複雑性を示している。
• これらの結果は、最悪ケースの複雑性が指数的であるため、Flipヒューリスティクスの実用的効率を説明するにはスムーズ化解析（smoothed analysis）が不可欠であることを示唆している。
• これらの発見は、幾何的制約が辺の重みに与える制限のため、ユークリッド局所探索問題におけるPLS困難性が非常にまれで、非常に非自明に確立される可能性があることを示している。