এটি প্রতিসাম্যতা এবং কঠোরতার মধ্যে ঠিক "একই" সম্পর্ক নয়, তবে বুলিয়ান ফাংশন এবং এর সার্কিট জটিলতার প্রতিসাম্যগুলির মধ্যে একটি ঘনিষ্ঠ সম্পর্ক রয়েছে। দেখা:
বাবাই, এল।, বিলস, আর। এবং টাকসি-নাগি, পি। প্রতিসম ও জটিলতা , স্টক 1992
তারা যা দেখায় তা এখানে। আসুন বিন্যাস দলের ক্রম হও। আসুন গুলি ( জি আমি ) বোঝাতে এর কক্ষপথ সংখ্যা জি আমি তার প্ররোচক ক্রিয়াটি { 0 , 1 } আমি (স্থানাঙ্ক এর বিন্যাস দ্বারা)। যাক এফ ( জি ) প্রত্যেক বর্গ বোঝাতে এল যেমন যে এল ∩ { 0 , 1 } এন অধীনে পরিবর্তিত হয় জি এন । তারপরে এফ-এ সমস্ত ভাষাGi≤Sis(Gi)Gi{0,1}iF(G)LL∩{0,1}nGn বেশিরভাগ পি ও এল ওয়াই ( এস ( জি ) ) এর আকারের সার্কিটএবং বেশিরভাগ পি ও এল ওয়াই ( লগ ( গুলি ( জি ) ) এ গভীরতা থাকেএবং এটি মূলত টাইট।F(G)poly(s(G))poly(log(s(G))
বিপরীত দিকে, বিভিন্ন সমস্যার যার সাক্ষী সেট symmetries প্রচুর আছে আপাতত শেষ গ ণ একজন এম (যেমন জি আমি ), এবং তাই নয় এন পি -complete যদি না পি এইচ collapses। প্রকৃতপক্ষে, নিম্নলিখিত গবেষণাপত্রে দেখা গেছে যে এন পি সমস্যাগুলির সাক্ষীর সেটগুলিতে প্রচুর প্রতিসাম্য রয়েছে পি পি এর জন্য কম :NPcoAMGINPPHNPPP
অরবিন্দ, ভি।, বিনোদচন্দ্রন, এনভি গ্রুপ-নির্ধারণযোগ্য ভাষার গণনা জটিলতা । Theoret। Comput। সী। 242 (2000), না। 1-2, 199--218।
(দ্রষ্টব্য: থাকুক বা না থাকুক "জন্য কম " ইঙ্গিত "হতে সম্ভাবনা কম এন পি । -Complete" একটু, যেমন যতদূর আমি জানি বাতাসে আপ হয় তোদা এবং Ogiwara দেখিয়েছেন যে পি পি পি এইচ ⊆ বি পি ⋅ পি পি । সুতরাং "ডেরানডমাইজেশন" অনুমানের অধীনে বি পি ⋅ পি পি = পি পি , এন পি আসলে পি পি এর পক্ষে কম , সুতরাং পি পি এর জন্য কম হওয়া এন পি হওয়ার ক্ষেত্রে কোনও বাধা নয়PPNPPPPH⊆BP⋅PPBP⋅PP=PPNPPPPPNP-complete। অন্যদিকে, সেখানে কারণে একটি ওরাকল হয় Beigel আপেক্ষিক যা কম নয় পি পি ।)NPPP
উপরের মতো অনুরূপ শিরাতে, যদি প্রতিটি বহু-কাল-সময় নির্ধারণযোগ্য সমতুল্য সম্পর্কের যদি বহু-কালীন সম্পূর্ণ অদম্য (ফাংশন যেমন f ( x ) = f ( y ) iff x ∼ y ) থাকে তবে কোনও এন পি সমস্যা যার সাক্ষী প্রচুর প্রতিসাম্য রয়েছে এর সাক্ষীদের অটোমরফিজম গ্রুপের লুকানো সাবগ্রুপ সমস্যা হ্রাস করে। স্বীকারযোগ্যভাবে, এখানে অনুমানটি ধারণ করার সম্ভাবনা কম তবে এটি প্রতিসাম্য এবং কোয়ান্টাম জটিলতার মধ্যে কিছু সংযোগ দেয়।ff(x)=f(y)x∼yNP
পরিশেষে, মুলমুলে-সোহনি জিওমেক্ট্রিক জটিল জটিলতা তত্ত্ব প্রোগ্রামটি কঠোরতা প্রমাণের জন্য প্রতিসম ব্যবহারের বিষয়ে মূলত, যদিও প্রতিসাম্যতা-কঠোরতা সংযোগটি আরও সূক্ষ্ম এবং কম প্রত্যক্ষ রয়েছে।