Lấy cảm hứng từ câu hỏi là bao thanh toán được gọi là P-hard , tôi tự hỏi trạng thái kiến thức tương tự hiện nay là gì về độ cứng của đẳng cấu đồ thị. Tôi chắc chắn rằng hiện tại không biết GI có ở P không, nhưng:
lớp lớn nhất hiện nay được biết là GI khó hơn là gì?
(nó không được trả lời ở một câu hỏi nghe có vẻ tương tự )
Để giải quyết một số ý kiến, tôi muốn biết (các) lớp tối đa hiện được biết là GI, vấn đề đã hoàn tất. Các thuật toán đã biết cho GI được giới hạn trên bởi các hàm siêu đa thức và nó là thành viên của NP. Nhưng người ta không biết rằng GI là P-hard. Tôi muốn biết bất kỳ lớp C nào mà nó được biết là C-hard và hy vọng có thể bao quát nhất có thể.
2
"Nó không được trả lời tại một câu hỏi nghe có vẻ tương tự" Thật sao? Tôi nghĩ câu trả lời của Joshua Grochow ở đó trả lời câu hỏi ở đây.
—
Tyson Williams
Xem phần "Lớp phức tạp GI" tại đây: en.wikipedia.org/wiki/Graph_isomorphism_probols
—
Aaron Sterling
@Tyson và bất cứ ai bình chọn bình luận của anh ấy: Tôi nghĩ rằng những gì Mitch đang nói là câu trả lời ở đó chỉ đưa ra giới hạn cao hơn về biểu đồ đẳng cấu đồ thị, chứ không phải độ cứng của biểu đồ đẳng cấu.
—
Tsuyoshi Ito
Tôi muốn nói thêm rằng tôi không xem đây là một câu hỏi trùng lặp. Câu trả lời của Joshua cho giới hạn trên. Câu hỏi này nghe có vẻ giống như "GI ít nhất có khó AC0 không?" - vâng, đồng ý với @Tsuyoshi.
—
Aaron Sterling
Để biết đồ thị phẳng được biết là hoàn chỉnh cho L ... Xem theorie.informatik.uni-ulm.de/Personen/toran/beatcs/ phỏng
—
Joshua Herman