কোনও সূত্রে ঠিক 1 সন্তোষজনক কার্য রয়েছে কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা

সিদ্ধান্ত সমস্যা

একটি বুলিয়ান সূত্র দেওয়া , ঠিক ঠিক একটি সন্তোষজনক দায়িত্ব রয়েছে? $\phi$ $\phi$

হতে দেখা যায় , -hard এবং -hard। এর জটিলতা সম্পর্কে আরও কি কিছু জানা যায়? $\Delta_2$ $\mathsf{UP}$ $\mathsf{coNP}$

complexity-theory complexity-classes satisfiability

— sdcvvc
সূত্র

আপনার সমস্যাটি সমস্যা হিসাবে পরিচিত যা অসম্পূর্ণ। সমস্যা হয় কিন্তু হিসেবে পরিচিত নির্ণায়ক বহুপদী সময় কমানোর অধীনে -hard, যেখানে শ্রেণী । $\text{UNIQUE-SAT}$ $\mathsf{US}$ $\mathsf{D^p}$ $\mathsf{D^p}$ $\mathsf{D^p} = \{ L_1 \cap \overline{L_2} \mid L_1,L_2 \in \mathsf{NP} \}$

$\mathsf{D^p}$ $\mathsf{D^p}$ $L_1$ $L_2$ $2$ $\mathsf{D^p}$ $\text{UNIQUE-SAT}$ $\text{SAT}$ $\mathsf{D^p}$ $\text{UNIQUE-SAT}$

$\text{UNAMBIGUOUS-SAT}$ $\text{UNAMBIGUOUS-SAT}$ $\mathsf{NP}=\mathsf{RP}$ $\text{UNAMBIGUOUS-SAT}$ $\mathsf{NP}$ $\text{UNIQUE-SAT}$ $\mathsf{D^p}$

[1] পাপাদিমিট্রিও, ক্রিস্টোস এইচ।, এবং মিহালিস ইন্নাকাকিস। "দিকগুলির জটিলতা (এবং জটিলতার কিছু দিক)" গণনা তত্ত্বের উপর চৌদ্দতম বার্ষিক এসিএম সিম্পোজিয়ামের কার্যক্রম। এসিএম, 1982।

[২] ব্লাস, আন্দ্রেয়াস এবং ইউরি গুরিভিচ। "অনন্য সন্তোষজনক সমস্যা নিয়ে।" তথ্য এবং নিয়ন্ত্রণ 55.1 (1982): 80-88।

[3] সাহসী, লেসলি জি।, এবং বিজয় ভি। ওয়াজিরাণী। "এনপি অনন্য সমাধান সনাক্ত করার মতোই সহজ is" তাত্ত্বিক কম্পিউটার বিজ্ঞান 47 (1986): 85-93।

— Juho
সূত্র

উত্তরের জন্য ধন্যবাদ; আমি একটি বইয়ের একটি অধ্যায়ও পেয়েছি যা বলেছে যে একটি বিড়ম্বনা হ্রাসের অস্তিত্ব উন্মুক্ত।

— sdcvvc