Чи приводить загальний порядок скорочення Карпа?

Або іншими словами, чи маємо ми, що для кожної мови і B , A ≤ p B або B ≤ p A ?$A$$B$$A \leq_p B$$B \leq_p A$

Далеко від цього. Дійсно, будь-яка обчислювальна розподільна решітка вбудовується як підчастинковий порядок , навіть якщо ми розглянемо лише ті ступені між двома заданими фіксованими мовами ( К. Амбос-шпигуни, підрешітки градусних градусів поліномів , інформ. Та контроль 65 (1): 63–84, 1985).$\leq_p$

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