Karp可简化性产生总订单吗？

或者换句话说，对于每种语言和，我们都有或吗？乙甲≤ p乙乙≤ p$A$$B$$A \leq_p B$$B \leq_p A$

离得很远。事实上，任何可数分配格作为嵌入功能的子偏序，即使我们只考虑在两者之间给定的固定的语言那些度（多项式时间度K. Ambos-夜来香，亚晶格，通知。与控制65 （1）：63-84，1985）。$\leq_p$

作为一个简单的反例，可以考虑和乙= { 0 ，1 } *。无论是还原到其他，因为X ∈ 一个总是错的，ÿ ∈ 乙始终是真实的。$A=\varnothing$$B=\{0,1\}^*$$x\in A$$y\in B$