আপনার সমস্যাটি সমস্যা হিসাবে পরিচিত যা ইউ এস- অসম্পূর্ণ। সমস্যা হয় ডি পি কিন্তু হিসেবে পরিচিত ডি পি নির্ণায়ক বহুপদী সময় কমানোর অধীনে -hard, যেখানে শ্রেণী ডি পি = { এল 1 ∩ ¯ এল 2 | এল 1 , এল 2 ∈ এন পি } ।UNIQUE-SATUSDpDpDp={L1∩L2¯¯¯¯¯¯∣L1,L2∈NP}
DpDpL1L22DpUNIQUE-SATSATDpUNIQUE-SAT
UNAMBIGUOUS-SATUNAMBIGUOUS-SATNP=RPUNAMBIGUOUS-SATNPUNIQUE-SATDp
[1] পাপাদিমিট্রিও, ক্রিস্টোস এইচ।, এবং মিহালিস ইন্নাকাকিস। "দিকগুলির জটিলতা (এবং জটিলতার কিছু দিক)" গণনা তত্ত্বের উপর চৌদ্দতম বার্ষিক এসিএম সিম্পোজিয়ামের কার্যক্রম। এসিএম, 1982।
[২] ব্লাস, আন্দ্রেয়াস এবং ইউরি গুরিভিচ। "অনন্য সন্তোষজনক সমস্যা নিয়ে।" তথ্য এবং নিয়ন্ত্রণ 55.1 (1982): 80-88।
[3] সাহসী, লেসলি জি।, এবং বিজয় ভি। ওয়াজিরাণী। "এনপি অনন্য সমাধান সনাক্ত করার মতোই সহজ is" তাত্ত্বিক কম্পিউটার বিজ্ঞান 47 (1986): 85-93।