Karp 환원성이 총 주문량을 산출합니까?

또는 다른 말로, 우리는 모든 언어 와 , 또는 있습니까?B A ≤ p B B ≤ p$A$$B$$A \leq_p B$$B \leq_p A$

그것과는 거리가 멀다. 실제로,의 하위 부분 위해 같은 셀 수있는 분배 격자 퍼가기 우리는 그 둘 사이에 주어진 고정 된 언어로도 (고려하더라도, 다항식 시간도 K. Ambos - 스파이, Sublattices을 , 알리십시오. & 제어 (65) (1) : 63-84, 1985).$\leq_p$

사소한 반례로서, 및 고려할 수 있습니다 . 는 항상 잘못되고 는 항상 참 이므로 다른 쪽에도 환원 할 수 없습니다 .B = { 0 , 1 } ∗ x ∈ A y ∈ $A=\varnothing$$B=\{0,1\}^*$$x\in A$$y\in B$