グラフがほぼ2部構成であるかどうかを判断するポリタイムアルゴリズムはありますか?


8

無向グラフGが与えられた場合、k個のエッジ(または頂点)を削除すると2部になる場合、Gはほとんど2部であると言えます。

グラフが正確に、またはほぼほぼ2部構成であるかどうかを判断するポリタイムアルゴリズムはありますか?


1
「ほぼ2者間」とはどういう意味ですか?

それは基本的に最大カット問題であるため、一般的なのnpハードです。これは研究レベルではないと思いますk
Sasho Nikolov

@RickyDemer出力は、たとえばグラフを2分割するために必要なエッジまたは頂点の数の1 + eps近似になる可能性があることを意味しました。私もある程度の確率でエラーを許容します。
レンビック

回答:


16

頂点バージョンは「奇数サイクルトランスバーサル」と呼ばれます。NPは完全ですが、固定パラメーターは扱いやすいです。見る:

Yannakakis、Mihalis(1978)、「Node-and edge-deletion NP-complete problem」、Proceedings of the 10th ACM Symposium on Computing(STOC '78)、pp。253–264、doi:10.1145 / 800133.804355

リード、ブルース; スミス、カーリー; Vetta、Adrian(2004)、「Finding odd cycle transversals」、Operations Research Letters、32(4):299–301、doi:10.1016 / j.orl.2003.10.009

Hüffner、Falk(2005)、「最適なグラフの2部化のためのアルゴリズムエンジニアリング」、実験的で効率的なアルゴリズム:240–252、doi:10.1007 / 11427186_22

エッジバージョンは「エッジ2部化」と呼ばれています。また、NPは完全ですが、固定パラメータで扱いやすくなっています。見る:

郭、建; イェンス; ヒュフナー、フォーク; ニーダーマイヤー、ロルフ; ウェルニッケ、セバスチャン(2006)、「フィードバック頂点セットとエッジ2部化のための圧縮ベースの固定パラメーターアルゴリズム」、JCSS 72(8):1386–1396、doi:10.1016 / j.jcss.2006.02.001

(danielloのコメントに続いて追加):

Oログ

Oログ

Khot、S。、ユニークな2プロバイダー1ラウンドゲームの力について、STOC '02、pp。767–775。

Wernicke、S。、一塩基多型(SNP)分析のアルゴリズムの扱いやすさおよび関連する問題について。修士論文、Wilhelm-Schickard-InstitutfürInformatik、U。Tübingen(2003)


私はこの問題はまた、任意の定数倍以内に近似するが、参照を覚えていないハードユニークなゲームで覚えているようだ
daniello

この素晴らしい答えをありがとう。硬度の結果は、近似とランダム性を許可しても、ポリ時間特性テストアルゴリズムはありませんか?
レンビック

ラプラシアンの最大固有値は、二部性の何らかの指標を与えますか?
レンビック
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.