مدار
در این مسئله با تعدادی گیت سر و کار داریم. هر گیت یک یا چند ورودی و یک خروجی دارد. ورودی و خروجی یک گیت فقط مقادیر ۰ و ۱ است. سه نوع گیت or،not و and در اختیار داریم.
گیت and دو ورودی و یک خروجی دارد. خروجی آن ۱ است اگر و تنها اگر هر دو ورودی آن ۱ باشند.
گیت or دو ورودی و یک خروجی دارد. خروجی آن ۰ است اگر و تنها اگر هر دو ورودی آن ۰ باشد.
گیت not یک ورودی و یک خروجی دارد. اگر ورودی آن ۱ باشد، خروجی آن ۰ و اگر ورودی آن ۰ باشد خروجی آن ۱ است.
یک مدار شامل تعدادی گیت است که ورودیها و خروجیهای آنها به هم متصل شده است!
مثلا شکل زیر یک مدار است.
در یک جعبه اندازهی کافی گیت and داریم. میدانیم حداکثر k تا از این گیتها خراب شدهاند و مثل گیت or عمل میکنند (k یک عدد ثابت است). مداری طراحی کنید که کار گیت and را انجام دهد. مدار شما باید دارای ۲ ورودی و ۱ خروجی باشد. به جز این دو ورودی هیچ مقدار دیگری در اختیار نداریم مگر اینکه با گیتهای موجود در جعبه ساخته شود.
در یک جعبه به اندازهی کافی گیت از هر سه نوع داریم. هر گیت برچسب مخصوص به خود را دارد. یعنی گیتها ازهم متمایزند. حداکثر k تا ا ز گیتها خراب هستند و خروجی آنها یکی از ورودیهای آنها به دلخواه است. مداری طراحی کنید که کار گیت not را انجام دهد. توجه کنید که در هر دو قسمت این مسئله نمیدانیم کدام گیتها خراب هستند!