低次元でのユークリッド平方の最大カット


12

ましょうx1,,xn、平面内の点であるR2。点を頂点として、エッジの重みが完全なグラフを考えます。常に総重量の少なくとも\ frac 2 3の重量カットを見つけることができますか?そうでない場合、\ frac 2 3を置き換える定数はどれですか?xixj22323

私が見つけることができる最悪の例は、正三角形の3点で、\ frac 2 3を達成し23ます。ランダムな分割は\ frac 1 2を生成することに注意してください12。しかし、低次元では、ランダムよりも優れたクラスタリングができることは直感的に明らかです。

k> 2のmax-k-cutではどうなりますか?次元d> 2はどうですか?そのような質問に答える枠組みはありますか?Cheegerの不等式については知っていますが、それらはスパースカット(最大カットではない)に適用され、通常のグラフでのみ機能します。

(質問は、分散を最小限に抑えるためにコンピューターグラフィックスで光源をクラスタリングする問題に触発されています)。


Max k-Cutには単純な1-2 / k近似があり、k> 2の場合は大きな大きなカットを見つけることができますが、k = 2の場合はwww-math.mit.edu/~goemans/PAPERS/maxcutを見ることができます-jacm.pdfおよび関連トピック、高確率で適切なカットを見つけた場合、2/3のカットがあるかどうかを判断できます。少なくとも可能性の範囲は制限されます。
サイード

1
ただし、ここでの重み関数は平方ユークリッド距離であり、メトリックではないことに注意してください。
スレシュヴェンカト

2
これらのインスタンスには、max cutにはptasまたはpolytimeアルゴリズムもあると思いますが、特定の質問は非常に興味深いものです。頂点がサイクルに沿って等間隔に配置されている場合の最大カットとは何か、最大カットを最小化するこのクラスの例は3つの等間隔の頂点であることは明らかですか?なぜなら、最大カットと総重量の比率を増やすことなく、ポイントのすべての構成を「対称」構成に変換できることを示す引数がある可能性があるためです。したがって、高度に対称な構成のみを理解すれば十分かもしれません
Luca Trevisan

2
また、一次元で何が起こるのでしょうか?最大カットが総重量の約2/3である構成を見つけることができます(1ポイントは-1、1ポイントは+1、4ポイントはゼロに非常に近く、総重量は12で最適です8)です。2/3は、1次元の最大重量と総重量の可能な最小比ですか?
ルカトレビザン

1
@Luca:はい、1Dも簡単ではありません。直観的には、次元が増加するにつれて定数は1/2に近づくはずです。2Dの場合、重心が(0,0)にあり、すべての点が単位円内に収まっていると仮定できます。カット重量を増やさずに単位円に向かってポイントを押す「ポイント反発」の議論があるかもしれません。
ミロスハサン

回答:


7

定数は、次元が増加するにつれて1/2になる傾向があります。d次元では、互いに距離1にd + 1個のポイントがあるため、距離の2乗の合計はあり、最大カットは最大、これは総重量の分数です(d+12)(d+1)2/412d+1d


わかりましたが、なぜ互いに距離1のd + 1ポイントの構成が最悪のケースを構成するのでしょうか?これはもっともらしいようですが、明らかですか?(そして、d = 1の場合、相互に距離1にある2つのポイントは明らかに最悪のケースではありません。上記で指定した6ポイントの構成は最悪です。 d> = 2?)
ミロスハサン

1
@milos私にはわかりません。0.5が達成可能であることがわかっています。この例は、これ以上改善できないことを示しています。ただし、飛行機の2/3の予想を破ることはありません。
スレシュヴェンカト

@Suresh:私が本当に望んでいたのは、低次元でより良くできることを証明することです。つまり、特定の低dの最悪の定数の実際の値のシーケンスに興味があります。
ミロスハサン

1
低dに対して1/2と2/3の間の実際のギャップを証明したかったのです。これは興味深い結果をもたらします。つまり、問題が本質的に低次元である場合(多くの場合)、モンテカルロ総和/積分を(ランダムではなくスマートにサブ問題に分割することで)打ち負かすことができます。
ミロスハサン

1
これは大きなdに対する答えにすぎませんが、small-dのケースの分析ではどのような困難が生じる可能性があるかを示しています。2次元で、ペアごとの距離の2乗がすべて1〜1.1の5つのポイントがあると仮定します。その場合、総重量は少なくとも10で、最大カットは最大6.6です。2次元で2/3が正解である場合、すべてのペアワイズユークリッド距離が少なくとも1になるように5つのポイントがある場合、ペアワイズユークリッド距離の1つは少なくとも。どうやってそれを主張しますか?1.1
ルカ・トレビーザン

7

正三角形の3点A、B、Cを取り、中心にさらに3点D、E、Fを追加します。カットの片側にA、B、Cの2つが必要であることは明らかなので、これら3つのポイントのカットは(AB; C)であるとしましょう。ここで、ポイントD、E、Fのそれぞれは、カットのC側に移動する必要があるため、最適なカットは(AB; CDEF)であり、比率は2/3になるように簡単にチェックされます。

次に、各点D、E、Fを中心からわずかに離して、小さな正三角形を形成します。中心を中心に対称であれば、どちらの方向でもかまいません。それらを十分な距離だけ移動する場合、最適なカットは(AB; CDEF)でなければなりません。このカットの長さを考慮してください。エッジ(AC、BC)は、エッジ(AB、BC、AC)の全長の2/3を形成します。対称性により、エッジの全長(AD、AE、AF、BD、BE、BF)はエッジの長さ(AD、AE、AF、BD、BE、BF、CD、CE、CF)の2/3です。 )。ただし、カットにはエッジ(DE、EF、DF)はありません。したがって、このカットの比率は厳密に2/3未満です。

(61)/5.2899.64082/3


1O(kα)kα>1

私の推測では、正しい答えは.64よりも低くはないものですが、下限を表示する方法はわかりません。
ピーターショー
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.