最大Hフリーセットの計算


11

グラフでは、独立したセットは、誘導サブグラフとしてエッジを含まない頂点サブセットです。グラフ内で最大の独立集合を見つける問題は、基本的なアルゴリズムの問​​題であり、難しい問題です。グラフ内で最大のHフリーセット(サイズ)を見つけるというより一般的な質問を考えてみましょう。Hフリーとは、固定グラフHのコピーを含むサブグラフを誘導サブグラフとして誘導しないことを意味します。

入力グラフGが与えられた固定グラフHの場合、Gの最大のHフリーセットのサイズを決定するのはNP困難ですか?

グラフH(またはHのクラス)の「テーブル」を構築して、上記の質問に対する正しい「はい」または「いいえ」の回答をエントリに記入する賢明な方法はありますか?(「no」= Pのふりをし、「no」エントリであっても、最大のHフリーセットを生成するポリタイムアルゴリズムがあることを意味します。)

それに失敗すると、答えがイエスであるHの非自明なクラスがありますか?... 番号?

私は、一般化された/ Hフリーの有彩色数に関する2つのクエリを調べてみました--- ここここ ---独立数のHフリーの類似体の(一見単純な)「二重」問題また開いているかもしれません。ランダムグラフの関連問題に関する古典的な論文を知っています。例えば、Erdos、Suen and Winkler(1995)またはBollobas and Thomason(2000)は、まだ非常に活発な研究ラインにあります。したがって、この基本的な質問に対処するために私がまだ見たことがなく、おおまかなインターネット検索で明らかにされなかった作業がすでにあるかもしれません(したがって、reference-requestタグ)。


3
kとHの両方が固定されている場合、サイズkの頂点のすべてのサブセットを列挙し、それらに誘導サブグラフとしてHが含まれているかどうかを確認できます。これは、多項式時間アルゴリズムになります。
ロビンコタリ

馬鹿げてごめんなさい:kのすべてのインスタンスを削除するための編集
RJK

回答:


10

HHHH

[1]ジョン・M・ルイス、ミハリス・ヤンナカキス:遺伝的特性のノード削除問題はNP完全です。J.計算 システム。科学 20(2):219-230(1980)


スポットオン!参照いただきありがとうございます!たぶん、このタイプのアプローチは、パーティションの問題に適用されたかもしれませんか?
RJK

1
ここでの説明には従いません。Hに少なくとも2つの頂点がある限り、Hにエッジがない場合でも問題はNP困難です。
アンドラスサラモン

HH

この回答(改訂2)は、サブグラフとしてHを含まない最大の誘導サブグラフを見つける問題を指します。Lewis and Yannakakisの結果は、誘導サブグラフとしてHを含まない最大の誘導サブグラフを見つける問題に適用されますが、プロパティが非自明であるためのHの条件は異なります。
伊藤剛

HH
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.