Czy redukowalność Karp daje całkowite zamówienie?

Czy innymi słowy, czy mamy to dla każdego języka i B , A ≤ p B lub B ≤ p A ?$A$$B$$A \leq_p B$$B \leq_p A$

Daleko stąd. Rzeczywiście, każda policzalna sieć dystrybucyjna jest osadzona jako pod-częściowy porządek , nawet jeśli weźmiemy pod uwagę tylko te stopnie pomiędzy dwoma podanymi stałymi językami ( K. Ambos-Spies, Podsieci wielomianowych stopni czasu , Inform. I Kontrola 65 (1): 63–84, 1985).$\leq_p$

$A=\varnothing$$B=\{0,1\}^*$$x\in A$$y\in B$