সম্পূর্ণ সমস্যার উদাহরণ ?

Question

আমার সম্পূর্ণ ভাষার একটি তালিকা প্রয়োজন । জটিলতা চিড়িয়াখানায় এ জাতীয় দুটি সমস্যা তালিকাভুক্ত রয়েছে:$\Sigma_2^p$

• সর্বনিম্ন সমতুল্য ডিএনএফ। একটি ডিএনএফ সূত্র এফ এবং পূর্ণসংখ্যার কে দেওয়া হয়েছে, সেখানে কি ডি-এনএফ সূত্রের সাথে কে বা আক্ষরিকের কম উপস্থিতি রয়েছে?
• সংক্ষিপ্ততম জড়িত। একটি সূত্র এফ এবং পূর্ণসংখ্যার কে দেওয়া হয়েছে, সেখানে কে বা কম আক্ষরিকের সংমিশ্রণ রয়েছে যা এফকে বোঝায়?

আর একটি বেসিক সম্পূর্ণ সমস্যা:$\Sigma_2^p$

• । একটি সংখ্যায় বুলিয়ান সূত্র দেওয়া φ ফর্মের φ = ∃ → তোমার দর্শন লগ করা ∀ → $\Sigma_i \text{SAT}$$\varphi$ , φ বৈধ?$\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$$\varphi$

তবে, আমি আশা করি এমন কোনও সমস্যা খুঁজছি যা গ্রাফগুলি ব্যবহার করে (যেমন একটি চক্র সম্পর্কিত সমস্যা))

Comments

এই সংমিশ্রণটি একবার দেখুন: ovid.cs.depaul.edu/documents/phcom.pdf

— বেনিট

এটি অত্যন্ত দরকারী বলে মনে হচ্ছে। অনেক ধন্যবাদ!

— gdiazc

@ হকবনেট: ভাল জরিপ! কেন আপনি এটিকে উত্তরে পরিণত করেন না?

— মারজিও দে বায়াসি

Answer 1

মার্কস স্কেফার এবং ক্রিস উমানসের বহুগঠিত শ্রেণিবিন্যাসের সম্পূর্ণ সমস্যার একটি দুর্দান্ত গ্যারি-ও-জনসন-এসক জরিপ রয়েছে।

Answer 2

স্কেফার এবং উমানস পেপারে অন্তর্ভুক্ত নয় বরং সাম্প্রতিক ফলাফল হ'ল পারফেক্ট গ্রাফিক্সের 2-ক্লিক্য কালারিং ।

$\Sigma_2^p$

Answer 3

একটি সাধারণ-ফর্ম গেমের "বিবর্তনীয়ভাবে স্থিতিশীল কৌশল" এর অস্তিত্বের সিদ্ধান্ত নেওয়া। Http://www.cs.duke.edu/~conitzer/ess.pdf দেখুন ।

সেটআপটি 2-প্লেয়ারের প্রতিসম গেম। একটি বিবর্তনীয়ভাবে স্থিতিশীল কৌশল হ'ল (এলোমেলোভাবে) কৌশল যা (ক) একটি প্রতিসম ন্যাশ ভারসাম্যহীনতা এবং (খ) কোনও ভাল "প্রতিসম বিচ্যুতি" নেই: এই ভারসাম্যে যদি কোনও খেলোয়াড় কিছু কৌশল অবলম্বন করতে এবং সমান উপযোগিতা বজায় রাখতে পারে, তারপরে অন্য খেলোয়াড় কঠোরভাবে খারাপ করতে হবে তারপরেও এই কৌশলটি থেকে বিচ্যুত হবে।