Karp reducibility ให้ผลรวมคำสั่งซื้อทั้งหมดหรือไม่

หรือด้วยคำอื่น ๆ เรามีทุกภาษาและ ,หรือหรือไม่?$A$$B$$A \leq_p B$$B \leq_p A$

ไกลจากมัน. แท้จริงแล้วโครงข่ายการแจกแจงแบบนับได้ใด ๆ ที่ฝังไว้เป็นคำสั่งย่อยบางส่วนของแม้ว่าเราจะพิจารณาเฉพาะองศาเหล่านั้นในระหว่างสองภาษาที่กำหนดเท่านั้น ( K. Ambos-Spies, Sublattices ขององศาเวลาพหุนามบอกและการควบคุม 65 (1): 63-84, 1985)$\leq_p$

ในฐานะที่เป็น counterexample เล็กน้อยหนึ่งอาจพิจารณาและ * ไม่ลดทอนไปที่อื่นเนื่องจากผิดเสมอและเป็นจริงเสมอ$A=\varnothing$$B=\{0,1\}^*$$x\in A$$y\in B$