Два способа доказательства нижних оценок на размеры схем ограниченной глубины: сокращение глубины с помощью леммы о переключении (Hastad's Switching Lemma) и аппроксимация схем полиномами маленькой степени. Примеры применения этих методов для схем, состоящих из чередующихся уровней AND и OR гейтов: получение с их помощью суперполиномиальной оценки на размеры таких схем, вычисляющих функции четности и голосования.