সাধারণভাবে, এটি একটি খুব প্রাসঙ্গিক এবং আকর্ষণীয় গবেষণা প্রশ্ন। "একটি উপায় হ'ল বিদ্যমান সমাধানকারীদের চালানো ..." এবং এটি আমাদের কী ঠিক বলতে পারে? আমরা অভিজ্ঞতার সাথে দেখতে পেলাম যে একটি উদাহরণ একটি নির্দিষ্ট দ্রাবক বা নির্দিষ্ট অ্যালগরিদম / হিউরিস্টিকের পক্ষে শক্ত বলে মনে হয়, তবে উদাহরণের কঠোরতা সম্পর্কে এটি কী বলে?
একটি উপায় যা অনুসরণ করা হয়েছে তা হ'ল উদাহরণগুলির বিভিন্ন কাঠামোগত বৈশিষ্ট্যগুলি সনাক্ত করা যা দক্ষ অ্যালগরিদমে বাড়ে। এই বৈশিষ্ট্যগুলি প্রকৃতপক্ষে "সহজেই" চিহ্নিতকরণযোগ্য হিসাবে পছন্দ হয়। উদাহরণ হ'ল অন্তর্নিহিত বাধা গ্রাফের টপোলজি, বিভিন্ন গ্রাফের প্রস্থ পরামিতি ব্যবহার করে পরিমাপ করা হয়। উদাহরণস্বরূপ এটি জানা যায় যে অন্তর্নিহিত সীমাবদ্ধ গ্রাফের গাছের প্রস্থটি যদি একটি ধ্রুবক দ্বারা আবদ্ধ থাকে তবে একটি উদাহরণ বহুবচনীয় সময়ে দ্রবণীয়।
আরেকটি পদ্ধতির উদাহরণের গোপন কাঠামোর ভূমিকার উপর দৃষ্টি নিবদ্ধ করা হয়েছে । একটি উদাহরণ ব্যাকডোর সেট , যার অর্থ ভেরিয়েবলগুলির সেট যেমন যখন তারা তাত্ক্ষণিক হয়, তখন বাকী সমস্যাটি ট্র্যাকটেবল শ্রেণিতে সহজতর হয়। উদাহরণস্বরূপ, উইলিয়ামস এট আল।, ২০০৩ [১] দেখায় যে ব্যাকডোর ভেরিয়েবলগুলি অনুসন্ধান করার জন্য যখন বিবেচনা করা হয় তখনও কেউ পিছনের দিকের সেটটিতে ফোকাস করে সামগ্রিক গণনামূলক সুবিধা অর্জন করতে পারে তবে শর্তটি যথেষ্ট পরিমাণে ছোট থাকে। তদ্ব্যতীত, দিলকিনা এট আল।, ২০০ 2 [২] মনে রাখবেন যে সাত্জ-র্যান্ড নামক একটি দ্রাবক বেশিরভাগ পরীক্ষামূলক ডোমেনের জন্য ছোট্ট শক্তিশালী পিছনের দরজা খুঁজে পাওয়ার ক্ষেত্রে যথেষ্ট ভাল।
অতি সম্প্রতি, আনসোটেগুই এট আল।, ২০০৪ [3] ডিপিএল-ভিত্তিক সমাধানকারীদের জন্য একটি পরিমাপ হিসাবে গাছের মতো স্থান জটিলতার ব্যবহারের প্রস্তাব দেয়। তারা প্রমাণ করে যে স্থির-সীমাবদ্ধ স্থানটি বহুপাক্ষিক সময়ের সিদ্ধান্ত অ্যালগরিদমের অস্তিত্বকে বোঝায় যে স্থানটি বহুত্বের ডিগ্রি হিসাবে রয়েছে (কাগজের উপপাদ্য 6)। তদুপরি, তারা দেখায় যে স্থানটি চক্র-কাটসেটের আকারের চেয়ে ছোট । আসলে, কিছু অনুমানের অধীনে, জায়গাটি বাড়ির পিছনের দরজার আকারের চেয়েও ছোট।
আপনার পরে আমি যা ভাবি সেগুলিও তারা আনুষ্ঠানিক করে দেয়, এটি হ'ল:
ψΓO(nψ(Γ))
[1] উইলিয়ামস, রায়ান, কারলা পি। গোমেস এবং বার্ট সেলম্যান। "আদর্শ ক্ষেত্রে জটিলতার পিছনে দরজা।" কৃত্রিম গোয়েন্দা বিষয়ক আন্তর্জাতিক যৌথ সম্মেলন। ভোল। 18, 2003।
[২] দিলকিনা, বিস্ত্রা, কারলা গোমেস এবং আশীষ সবরওয়াল। "ব্যাকডোর সনাক্তকরণের জটিলতায় ট্রেড অফস" " নিয়ন্ত্রন ও নিয়ন্ত্রণ অনুশীলনের অনুশীলন (সিপি 2007), পৃষ্ঠা 256-270, 2007।
[3] আনসটেগুই, কার্লোস, মারিয়া লুইসা বোনেট, জর্ডি লেভি এবং ফিলিপ মান্য। "স্যাট উদাহরণগুলির কঠোরতা পরিমাপ করা।" কৃত্রিম গোয়েন্দা বিষয়ক 23 তম জাতীয় সম্মেলনের কার্যক্রম (এএআইএআই -08), পৃষ্ঠা 222-228, 2008।