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