논문에서 그래프 동형위한 효율적인 알고리즘 Corneil Gotlieb 및 1970에 의해 추측 정해진 알고리즘은 다항식 시간 내에 해결하기위한 GI를 신뢰하는에 명시 하였다. 즉:
대표 그래프는 주어진 그래프의 자동 형성 분할을 나타냄
분명히이 추측은 지금까지 입증되지 않았습니다 (그렇지 않으면 GI가 P에 있음을 알 것입니다). 내 질문은 이미 거짓으로 표시되었고 반대의 예가 주어 졌는지 여부입니다.
논문에서 그래프 동형위한 효율적인 알고리즘 Corneil Gotlieb 및 1970에 의해 추측 정해진 알고리즘은 다항식 시간 내에 해결하기위한 GI를 신뢰하는에 명시 하였다. 즉:
대표 그래프는 주어진 그래프의 자동 형성 분할을 나타냄
분명히이 추측은 지금까지 입증되지 않았습니다 (그렇지 않으면 GI가 P에 있음을 알 것입니다). 내 질문은 이미 거짓으로 표시되었고 반대의 예가 주어 졌는지 여부입니다.
답변:
Mathon은 Corneil과 Gotlieb이 사용한 추측이 틀렸다는 것을 보여주었습니다. 첫 번째 참고 문헌에이 사실이 나와 있습니다.
1- P. Foggia, C.Sansone, M. Vento, 그래프 동형에 대한 5 가지 알고리즘의 성능 비교, Proc. 제 3 회 IAPR-TC15 워크숍 패턴 인식 표현 그래프 표현, 2001, pp. 188-199.
2- R. Mathon, 동형 테스트를위한 샘플 그래프, Congressus Numerantium, 21, pp. 499-517, 1978