Компьютерное доказательство нижних оценок сложности схемдоклад на конференции