1
Чи графік ізоморфізму в UP
Чи графік ізоморфізму (завдання рішення) в ? Тут U P - клас проблем вирішення, прийнятий однозначною машиною Тюрінга (див. Зоопарк складності ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}