গ্রাফ আইসোমরফিজমের জন্য কর্নিলের দক্ষ অ্যালগরিদমের জন্য প্রতিবিম্ব

Question

কাগজে গ্রাফ Isomorphism জন্য একটি দক্ষ অ্যালগরিদম Corneil এবং Gotlieb, 1970 দ্বারা একটি অনুমান নিদিষ্ট ছিল যার উপর বিবৃত অ্যালগরিদম বহুপদী সময় জি আই সমাধানের জন্য নির্ভরশীল ছিল। যথা:

প্রতিনিধি গ্রাফ প্রদত্ত গ্রাফের অটোমোরফিজম বিভাজন প্রদর্শন করে

স্পষ্টতই, এই অনুমানটি এখনও অবধি প্রমাণিত হয়নি (অন্যথায় আমরা জানতে পারব যে জিআই পি তে আছে)। আমার প্রশ্নটি এটি ইতিমধ্যে মিথ্যা হিসাবে প্রদর্শিত হয়েছিল এবং সম্ভবত একটি পাল্টা উদাহরণ দেওয়া হয়েছিল কিনা?

Answer 1

ম্যাথন দেখিয়েছেন যে কর্নিল এবং গটলিব দ্বারা ব্যবহৃত অনুমানটি মিথ্যা। প্রথম রেফারেন্সে এই সত্যটি বলা আছে।

1- পি। ফোগিয়া, সি সানসোন, এম। ভেন্টো, গ্রাফ আইসোমর্ফিজমের জন্য পাঁচটি অ্যালগরিদমের একটি পারফরম্যান্স তুলনা, প্রোক। প্যাটার্ন স্বীকৃতি, তৃতীয় আইএপিআর-টিসি 15 ওয়ার্কশপ গ্রাফ-ভিত্তিক উপস্থাপনা, পৃষ্ঠা 188-199।

2- আর। ম্যাথন, আইসোর্ফিজম পরীক্ষার জন্য নমুনা গ্রাফ, কংগ্রেস নিউমরেন্টিয়াম, 21, পৃষ্ঠা 499-517, 1978