La riducibilità di Karp produce un ordine totale?

O con altre parole, abbiamo questo per ogni lingua e , o ? $A$ $B$ $A \leq_p B$ $B \leq_p A$

reductions complexity

— Mal
fonte

Risposte:

Lontano da esso. In effetti, qualsiasi reticolo distributivo numerabile si incorpora come un ordine sub-parziale di , anche se consideriamo solo quei gradi tra due lingue fisse date ( K. Ambos-Spies, Sublattici dei gradi temporali polinomiali , Inform. & Controllo 65 (1): 63-84, 1985). $\leq_p$

— Joshua Grochow
fonte

Come banale controesempio, si può considerare e . Nessuno dei due è riducibile all'altro, poiché è sempre sbagliato e è sempre vero. $A=\varnothing$ $B=\{0,1\}^*$ $x\in A$ $y\in B$

— Daniil Musatov
fonte

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.