1
有向サイクルへのダイグラフ準同型の複雑さ
固定された有向グラフ（有向グラフ）与えられたDDD、 -COLORING決定問題は、入力された有向グラフかどうかを尋ねるに準同型有する。（からへの準同型は、アークを保存するからへのマッピングです。つまり、がアークである場合、は、）G D G D f V （G ）V （D ）u v G f （u ）f （v ）DDDDGGGDDDGGGDDDfffV(G)V(G)V(G)V(D)V(D)V(D)uvuvuvGGGf(u)f(v)f(u)f(v)f(u)f(v)DDD -COLORING問題のクラスは、FederとVardi（citeseerでアクセス可能）が述べた CSPの二分法予想に強く関連しています。DDD で、この2001年論文（作者のページにアクセスでき、ここで場合）、フェーダーは、二分法の定理を証明指向サイクルである（によって配向サイクル Iが各エッジを任意に配向させることができる単一の円弧により置換されている無向サイクルを意味します）言い換えれば、彼は、任意の方向付けられたサイクルに対して、 -COLORINGが多項式時間可解またはNP完全であることを示しています。D DDDDDDDDDD 残念なことに、多くの場合の複雑さは方向に依存するSATの特定の制限されたバリアントの複雑さに関連しているため、Federの分類は非常に重要であり、明確ではありません。論文を見ても、私の質問に対する答えを特定することはできませんでした。 質問： -COLORINGがNP完全であるような、方向付けられたサイクルの最小サイズは何ですか？DDDDDDD 答えは文献のどこかに述べられているかもしれませんが、私はそれを見つけることができませんでした。 編集：フェダーの分類について詳しく説明します。フェダーは、すべてのNP完全指向のサイクルはバランスがとれている必要があることを示しています。次に、方向によって引き起こされる「レベル」を検討します（任意の頂点でサイクルを回り始めます。円弧が右に行くと、1ずつ上がります。円弧が左に行くと、1ずつ下がります）。次に、「トップボトムラン」が最大で1つある場合、それは多項式です。そのような「実行」が少なくとも3つあり、サイクルがコアである場合、それはNP完全です。（コメントからのAndrásの例では、そのような「実行」は3つありますが、サイクルはコアではありません。）最もトリッキーなケースは、「トップボトム実行」が2つあるケースです。いくつかは難しい、いくつかは多項式であり、Federはそれらを二分法を得るために特別なSAT問題に関連付けます。 中間的な質問として：3つの「トップボトム」ランがあり、コアである最小の指向サイクルは何ですか？このような例は、上記の議論によってNP完全になります。