पूर्ण समस्याओं के उदाहरण हैं ?

Question

मुझे संपूर्ण भाषाओं की सूची की आवश्यकता है । इस तरह की दो समस्याएं कॉम्प्लेक्सिटी ज़ू में सूचीबद्ध हैं , जैसे:$\Sigma_2^p$

• न्यूनतम समकक्ष डीएनएफ। DNF सूत्र F और पूर्णांक k को देखते हुए, क्या DNF सूत्र, शाब्दिक के k या कम घटनाओं के साथ F के बराबर है?
• सबसे छोटा गर्भनिरोधक। एक सूत्र F और पूर्णांक k को देखते हुए, k या कम शाब्दिक अर्थ है जो F का तात्पर्य है?

एक और बुनियादी पूरी समस्या:$\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

— Huck Bennett

यह बेहद उपयोगी लगता है। आपका बहुत बहुत धन्यवाद!

— gdiazc

@HuckBennett: अच्छा सर्वेक्षण! आप इसे उत्तर में क्यों नहीं बदलते?

— मार्जियो डी बियासी

Answer 1

मार्कस शेफर और क्रिस उमान ने बहुपत्नी पदानुक्रम में संपूर्ण समस्याओं का एक अच्छा गैरी -एंड-जॉनसन-एस्क सर्वेक्षण किया है।

Answer 2

एक हालिया परिणाम, जो शाफ़र और उमान पेपर में शामिल नहीं है, 2-CLIQUE COLORING OF PERFECT GRANDHS है ।

$\Sigma_2^p$

Answer 3

एक सामान्य रूप के खेल में "क्रमिक रूप से स्थिर रणनीति" के अस्तित्व का निर्णय लेना। Http://www.cs.duke.edu/~conitzer/ess.pdf देखें ।

सेटअप एक 2-खिलाड़ी सममित खेल है। एक क्रमिक रूप से स्थिर रणनीति एक (यादृच्छिक) रणनीति है जो (ए) एक सममित नैश संतुलन है, और (बी) कोई अच्छा "सममित विचलन" नहीं हैं: इस संतुलन में, यदि कोई खिलाड़ी कुछ रणनीति के लिए विचलन कर सकता है और समान उपयोगिता बनाए रख सकता है। तब दूसरा खिलाड़ी इस रणनीति के प्रति सख्ती बरतता है।