Ergibt die Karp-Reduzierbarkeit eine Gesamtbestellung?

Oder mit anderen Worten, haben wir das für jede Sprache und , oder ? $A$ $B$ $A \leq_p B$ $B \leq_p A$

reductions complexity

— Mal
quelle

Antworten:

Weit davon entfernt. In der Tat wird jedes zählbare Verteilungsgitter als eine Ordnung von , selbst wenn wir nur diese Grade zwischen zwei gegebenen festen Sprachen betrachten ( K. Ambos-Spies, Untergitter der Polynomzeitgrade , Inform. & Control 65 (1): 63 & ndash; 84, 1985). $\leq_p$

— Joshua Grochow
quelle

Als Gegenbeispiel trivial, kann man überlegen , und . Keines ist auf das andere reduzierbar, da immer falsch ist und immer wahr ist. $A=\varnothing$ $B=\{0,1\}^*$ $x\in A$ $y\in B$

— Daniil Musatov
quelle

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.