固定直径のグラフの3クリークパーティション


11

3-Clique Partition問題は、グラフの頂点、たとえばを3つのクリークに分割できるかどうかを決定する問題です。この問題は、3色性問題からの単純な削減により、NP困難です。diamG = 1またはdiamG > 5の場合、この問題に対する答えが簡単であることを確認するのは難しくありません。diamG = 2の場合、それ自体からの単純な減少により、問題はNP困難のままです(グラフGが与えられ、頂点を追加し、他のすべての頂点に接続します)。Gdiam(G)=1diam(G)>5diam(G)=2G

グラフは、この問題の複雑さは何であるのための3 P 5はdiam(G)=p3p5

回答:


6

問題はです。P

2つの頂点取るV正確3距離を(そのようなペアが存在しなければならない場合、P 3)。それらは異なる色でなければなりません(3色を示すためにR、G、Bを使用し、同じクリーク内の頂点は同じ色に着色されます)。Wlogでは、uが赤で、vが緑であると想定しています。uvp3uv

Γ(u)uΓ(v)VΓ(u)Γ(v)uvuvv緑または青のいずれかの色である必要があります。各頂点には最大2つの選択肢があるため、問題は多項式時間で解くことができる2-SATインスタンスになります。


1
対応する2-SAT定式化を説明できますか?
user5153

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