অবশ্যই, যুয়াল ফিল্মাস দ্বারা উল্লিখিত হিসাবে, এই ধরণের সমস্যার কোনও সাধারণ সমাধান আশা করা উচিত নয়। তবে সাধারণত যেমন হয়, সাধারণ ক্ষেত্রে আকর্ষণীয় সাবসেটগুলির জন্য সমাধানগুলি পাওয়া যায়।
আমি কোনওভাবেই বিশেষজ্ঞ বা এই অঞ্চলে উল্লেখযোগ্যভাবে জ্ঞানবান নই, আমি এই ধরণের কিছু কাজ জানতে পেরে। এটি স্বয়ংক্রিয় গড় জটিলতা বিশ্লেষণকে উদ্বেগ করে এবং কাজটি ফিলিপ ফ্লাজোলেট এবং তার সহকর্মীরা করেছিলেন।
আমার কাছে যখন এটি ব্যাখ্যা করা হয়েছিল তখন থেকে আমি যা বুঝতে পেরেছিলাম সেগুলি থেকে লেখকরা একটি ছোট্ট ভাষা ডিজাইন করেছিলেন (আপনার প্রত্যাশা মতো টুরিংয়ের কিছুই সম্পূর্ণ নয়, তবে যথেষ্ট তাৎপর্যপূর্ণ) যাতে সেই ভাষার সীমাবদ্ধতার মধ্যে রচিত কোনও অ্যালগোরিদম স্বয়ংক্রিয়ভাবে বিশ্লেষণ করতে পারে The ল্যাম্বদা-আপসিলন-ওমেগা, অর্থাৎ উপসিলন (আমি আনবাইন্ড) নামে সিস্টেমকে ডাকা হত ।λυ´ω
ওয়েবে আমি যে পেপারটি পেয়েছি তা হ'ল ১৯৯০ সালের একটি কাগজ: ফিলিপ ফ্লাজোলেট, পল জিমারম্যান এবং ব্রুনো সালভির অ্যালগরিদমের স্বয়ংক্রিয় গড়-কেস বিশ্লেষণ ।
আমি প্রত্যাশা করব যে পরবর্তী কাগজপত্রগুলি এই কাজটি বাড়িয়ে দিয়েছে, তবে আমি আসলে জানি না। কাজটি বেশ ভারীভাবে উদ্ধৃত হয়েছিল এবং এর জন্য ওয়েব অনুসন্ধান করা একই বিষয়ের উপর আরও সাম্প্রতিক কাজ পাওয়া উচিত।
এখন, আমি আশঙ্কা করছি যে ফ্লাজোলেট এবং তার সহকর্মীদের কাজটি খুব গাণিতিক ছিল, এবং আমি খুব সহজ পাঠের আশা করতাম না।