1
UP
그래프 동형화 (결정 문제) 입니까? 여기서 U P 는 모호하지 않은 튜링 머신에서 허용되는 결정 문제의 클래스입니다 ( 복잡성 동물원 참조 ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}
두 개의 그래프 G, H는 H를 생성하는 G의 꼭짓점에 레이블을 다시 붙이면 동형이됩니다. 그래프 동형 문제 (GI)는 주어진 두 가지가 동형인지 여부를 결정하는 것입니다. 1972 년 Karp는 실질적인 관심과 더불어 복잡성을 알 수없는 것으로 확인되었으며 NP- 중간 문제에 대한 소수의 자연적인 후보 중 하나이며 복잡성 등급 AM을 만들었습니다.