Apakah grafik isomorfisme dalam UP

Apakah grafik isomorfisme (masalah keputusan) dalam ? Berikut U P adalah kelas masalah keputusan diterima oleh mesin Turing ambigu (lihat kebun binatang kompleksitas ).$\mathsf{UP}\cap \mathsf{coUP}$$\mathsf{UP}$

Grafik isomorfisma tidak diketahui berada di atau diketahui berada di c 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}$