1
O isomorfismo do gráfico está no UP coUP?
O isomorfismo do gráfico (o problema de decisão) está em ? Aqui é a classe de problemas de decisão aceitos por uma máquina de Turing inequívoca (consulte o zoológico da complexidade ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}