Нижние оценки сложности и сложность универсальных схем
| Κύριος συγγραφέας: | |
|---|---|
| Περίληψη: | Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования. |
| Γλώσσα: | Ρωσικά |
| Έκδοση: |
Казань, Изд-во Казанского ун-та, 1990
|
| Θέματα: | |
| Μορφή: | Βιβλίο |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=224248 |
| Φυσική περιγραφή: | 111 с. |
|---|---|
| Περίληψη: | Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования. |
| ISBN: | 5746401870 |