কীভাবে কেউ দেখায় যে একটি নির্দিষ্ট সম্পত্তি 2-CNF (2-SAT) এ প্রকাশ করা যায় না? এমন কোনও গেমস রয়েছে, যেমন নুড়ি খেলা? দেখে মনে হচ্ছে ক্লাসিকাল কালো নুড়ি খেলা এবং কালো-সাদা নুড়ি খেলাটি এর জন্য অনুপযুক্ত (তারা পিএসপিএসিই সম্পূর্ণ, হার্টেল এবং পিটাসি অনুসারে, কম্পিউটারের সিয়াম জেএম, ২০১০)।
বা গেম ছাড়া অন্য কোন কৌশল?
সম্পাদনা : আমি এমন বৈশিষ্ট্যগুলির কথা ভাবছিলাম যা কোনও অজানা শিকারীর গণনা (বা কার্ডিনালিটি) জড়িত ( এসও প্রিকেট, যেমন সীমাবদ্ধ মডেল তাত্ত্বিকরা বলবেন)। উদাহরণস্বরূপ, যেমন চক্র বা অপরিচ্ছন্ন ম্যাচিংয়ের মতো। (ক) চক্র : প্রদত্ত গ্রাফ জি তে এমন একটি চক্র রয়েছে যে | সি | ≥ কিছু প্রদত্ত নম্বর কে ? (খ) মেলা : একটি মেলা এম এ জি যেমন যে | এম | ≥ কে ?
2-স্যাট গণনা করা যাবে? এটির একটি গণনা প্রক্রিয়া আছে? সন্দেহজনক মনে হয়।