ধরুন এবং উপর প্রান্তবিন্দু সেট দুই undirected গ্রাফ হয় । গ্রাফগুলি হয় যদি এবং কেবল তখনই যদি কোনও থাকে যেমন , বা আরও আনুষ্ঠানিকভাবে, যদি সেখানে থাকে যেমন একটি প্রান্ত তবে এবং কেবল যদি একটি প্রান্ত । গ্রাফ আইসোমরফিজম সমস্যা হ'ল দুটি প্রদত্ত গ্রাফ আইসোমরফিক হয় কিনা তা সিদ্ধান্ত নেওয়ার সমস্যা।
গ্রাফিকগুলিতে এমন কোনও অপারেশন রয়েছে যা পিসিপি উপপাদ্যের প্রমাণের দিনুরের শৈলীতে "ফাঁক প্রশস্তকরণ" উত্পাদন করে ? অন্য কথায়, সেখান থেকে একটি বহুপদী সময় গণনীয় রূপান্তর হয় থেকে যেমন যে
- যদি এবং isomorphic হয়, তবে এবং এছাড়াও হয় এবং
- যদি এবং isomorphic না হয়, তবে প্রতিটি , গ্রাফ কিছু ছোট ধ্রুবক জন্য থেকে " এপসিলন -ফার" , যেখানে এপসিলন -ফার মানে যে যদি আমরা একযোগে এলোমেলোভাবে চয়ন তারপরে সম্ভাবনা হয়
- একটি প্রান্ত এবং কিনারা নয় , বা
- কিনারা নয় এবং প্রান্ত ।