Karpの還元性は完全な注文をもたらしますか？

または、他の言葉で、すべての言語およびに対して、またはますか？ $A$ $B$ $A \leq_p B$ $B \leq_p A$

reductions complexity

— マル
ソース

回答:

それからはほど遠い。サブ部分順序と実際に、任意の可算分配格子埋め込み動画我々は2つのだけ与えられた固定の言語（の間でそれらの度合いを考慮しても、K.アンボス-スパイ、多項式時間程度の副格子通知、。＆コントロール65 （1）：63-84、1985）。 $\leq_p$

— ジョシュア・グロチョウ
ソース

些細な反例として、一方が考慮することができると。以来、他に還元されていないどちらも常に間違っていると常に真です。 $A=\varnothing$ $B=\{0,1\}^*$ $x\in A$ $y\in B$

— ダニエル・ムサトフ
ソース

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。

Licensed under cc by-sa 3.0 with attribution required.