| Summary: | Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования. |
|---|