কর্সেলের উপপাদ্যটি বলেছে যে মনাদিক দ্বিতীয়-ক্রমের যুক্তিতে সুনির্দিষ্ট প্রতিটি গ্রাফের সম্পত্তি সীমানা গাছের চওড়ার গ্রাফগুলিতে রৈখিক সময়ে সিদ্ধান্ত নেওয়া যেতে পারে । এটি সর্বাধিক সুপরিচিত অ্যালগরিদমিক মেটা-উপপাদ্য।
কারসেলের উপপাদ্য দ্বারা অনুপ্রাণিত হয়ে আমি নিম্নলিখিত অনুমানটি করেছি:
অনুমান : আসুন কোনো MSO চিহ্নিত সম্পত্তি হও। প্ল্যানার গ্রাফগুলিতে যদি বহুবর্ষীয় সময়ে দ্রবণযোগ্য হয়, তবে classes অপ্রাপ্তবয়স্ক-সময়ে ক্ষুদ্র-মুক্ত গ্রাফের সমস্ত শ্রেণিতে দ্রবণীয় is
আমি জানতে চাই যে উপরের অনুমানটি স্পষ্টতই মিথ্যা কিনা, এমন কি কোনও এমএসও-নির্দিষ্টযোগ্য সম্পত্তি আছে যা প্ল্যানার গ্রাফগুলিতে বহু-কালীন দ্রবণযোগ্য তবে কিছু শ্রেণির ছোটখাট-মুক্ত গ্রাফের এনপি-হার্ড?
এটি আমার পূর্ববর্তী প্রশ্নের পেছনের প্রেরণা : জেনাস জি এর গ্রাফগুলিতে বহুপদীভাবে সমাধানযোগ্য তবে জেনাস> জি এর গ্রাফগুলিতে এনপি-হার্ড রয়েছে এমন কোন সমস্যা আছে কি?