Ví dụ cho thuật toán hiệu quả của Corneil cho biểu đồ đẳng cấu

Trong bài báo Một thuật toán hiệu quả cho sự đồng hình đồ thị của Corneil và Gotlieb, 1970, một phỏng đoán đã được nêu trong đó thuật toán đã nêu dựa vào việc giải GI trong thời gian đa thức. Cụ thể là:

rằng các biểu đồ đại diện thể hiện phân vùng tự động hóa của biểu đồ đã cho

Rõ ràng, phỏng đoán này không được chứng minh cho đến bây giờ (nếu không chúng ta sẽ biết rằng GI nằm trong P). Câu hỏi của tôi là liệu nó đã được hiển thị là sai và có thể là một ví dụ phản biện đã được đưa ra?

Mathon đã chỉ ra rằng phỏng đoán được sử dụng bởi Corneil và Gotlieb là sai. Tài liệu tham khảo đầu tiên nêu thực tế này.

1- P. Foggia, C.Sansone, M. Vento, So sánh hiệu suất của năm thuật toán cho biểu đồ đẳng cấu đồ thị, Proc. Hội thảo IAPR-TC15 lần thứ 3 Biểu diễn dựa trên biểu đồ trong nhận dạng mẫu, 2001, trang 188-199.

2- R. Mathon, Đồ thị mẫu cho thử nghiệm đẳng cấu, Quốc hội Numerantium, 21, tr. 49-517, 1978