Является ли изоморфизм графов в UP

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

Graph изоморфизм не известно, что в , ни , как известно, в с O U P .$\mathsf{UP}$$\mathsf{coUP}$

$\mathsf{UP}$$|\text{Aut}(G)|$$|\text{Aut}(G)|=1$$n$$0$$n$$\mathsf{UP}$$\mathsf{P} \subseteq \mathsf{UP}$

$\mathsf{coUP}$$\mathsf{coNP}$$\mathsf{coUP}$$\mathsf{coNP}$$\mathsf{UP}$$\mathsf{coUP}$