1
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 ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}