একটি অ-বিবাদী বুলিয়ান সার্কিটে সাধারণ ইনপুটগুলি এর সাথে "অ-নিরস্তক" ইনপুটগুলি y = ( y 1 , … , y মি ) আছে । একটি অ-বিবাদী সার্কিট সি ইনপুট এক্স গ্রহণ করে যদি y এর মতো থাকে তবে সার্কিট আউটপুট 1 অন ( x , y ) থাকে । অনুরূপ পি / পি ণ ঠ Y(বহুবর্ষীয় আকারের সার্কিটগুলির দ্বারা নির্ধারিত ভাষাগুলির শ্রেণি), বহুবর্ষীয় আকারের অ-ডিটারমিনিস্টিক সার্কিট দ্বারা নির্ধারণযোগ্য ভাষার শ্রেণি হিসাবে সংজ্ঞায়িত করা যায়। এটি বিস্তৃতভাবে বিশ্বাস করা হয় যে নির্জনবাদী সার্কিটগুলি ডিটারমিনিস্টিক সার্কিটের চেয়ে বেশি শক্তিশালী, বিশেষত N P ⊂ P / p o l y ইঙ্গিত করে যে বহুবর্ষীয় শ্রেণিবিন্যাসের পতন ঘটে।
সাহিত্যে কি স্পষ্ট (এবং নিঃশর্ত) উদাহরণ রয়েছে যে নির্দ্বিধাকৃত সার্কিটগুলি ডিটারমিনিস্টিক সার্কিটের চেয়ে আরও শক্তিশালী?
বিশেষ করে, আপনি একটি ফাংশন পরিবারের জান আকারের অ নির্ণায়ক সার্কিট দ্বারা গণনীয় গ এন কিন্তু আকারের নির্ণায়ক সার্কিট দ্বারা নয় গণনীয় ( গ + + ε ) এন ?