1
¿Es el isomorfismo gráfico en UP coUP?
¿Es el isomorfismo gráfico (el problema de decisión) en ? Aquí es la clase de problemas de decisión aceptados por una máquina de Turing inequívoca (ver el zoológico de complejidad ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}