1
Là đẳng cấu đồ thị trong UP
Là đẳng cấu đồ thị (vấn đề quyết định) trong ? Ở đây U P là lớp các vấn đề quyết định được chấp nhận bởi một máy Turing không rõ ràng (xem sở thú phức tạp ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}