Розглянемо не порожню мову двійкових рядків довжиною n . Я можу описати L за булевою схемою C з n входами та одним виходом, таким, що C ( w ) є істинним iff w ∈ L : це добре відомо.
Тим НЕ менше, я хочу представляти з булевої схемою C ' з п виходів і певною кількістю входів, скажуть м , таким чином, що безліч вихідних значень C ' для кожного з 2 м можливих входів в точності л .
З огляду на , як я можу знайти таку схему С ' мінімальних розмірів, і яка складність? Чи існує якась залежність між відомими межами щодо розмірів ланцюгів першого типу ( C ) та ланцюгів цього другого роду ( C ′ ), або складності їх пошуку?
(Зауважте, що існує якась подвійність у такому значенні: дано , я легко можу визначити, чи є вхідне слово w в L , оцінюючи ланцюг, але загалом NP важко знайти якесь слово в L , знайшовши присвоєння такому, що висновок є істинним. З огляду на C ' також NP-важко вирішити, чи є якесь вхідне слово w в L, тому що я повинен бачити, якщо призначення дає w як вихід, але легко знайти якесь слово в L , оцінюючи ланцюг на будь-якому довільному вході.)