कॉर्नेल और गोटलिब द्वारा ग्राफ आइसोमोर्फिज्म के लिए एक कुशल एल्गोरिथम पेपर में , 1970 में एक अनुमान लगाया गया था, जिस पर उल्लिखित एल्गोरिथ्म बहुपद समय में जीआई को हल करने के लिए निर्भर था। अर्थात्:
प्रतिनिधि ग्राफ दिए गए ग्राफ के विभाजन को दर्शाता है
जाहिर है, यह अनुमान अब तक साबित नहीं हुआ है (अन्यथा हमें पता होगा कि जीआई पी में है)। मेरा सवाल यह है कि क्या यह पहले से ही गलत दिखाया गया था और संभवतः एक काउंटर उदाहरण दिया गया था?