Мы рассмотрим две техники доказательства нижних оценок на число запросов для тестирования свойств. Первая техника будет основана на предъявлении сложных распределений на входах, вторая основана на сведении задач с известной коммуникационной сложностью.