Karp indirgenebilirliği toplam sipariş verir mi?

Ya da başka bir deyişle, her dil ve B , veya mi var?$A$$B$B ≤ p$A \leq_p B$$B \leq_p A$

Ne münasebet. Gerçekten de, bir alt kısmi sipariş olarak herhangi bir sayılabilir dağıtım kafes gömme sadece bu iki arasında verilen sabit dilde derece (dikkate bile, polinom zaman derece K. Ambos-Spies, alt a˘ga Bilgi. Ve Kontrol 65 (1): 63-84,1985).$\leq_p$

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