В офіційному описі проблеми глини для P проти NP зазначено, що випливає із показу, що "кожна мова в [клас мов, розпізнаваний в експоненціальному часі з детермінованою машиною Тюрінга] може бути обчислена булевою схемою сімейства таким чином, що , по крайней мере , однією , має менше ворота , ніж максимум , необхідний для обчислення будь-якої булевої функції «. Однак єдиним посиланням є те, що це "інтригуюче спостереження В. Кабанця". Чи міг би хтось вказати мені на опубліковану версію цього наслідку із доказом?E < B n > n B n f : { 0 , 1 } n ⟶ { 0 , 1 }