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