Нижние оценки сложности и сложность универсальных схем
| 1. Verfasser: | |
|---|---|
| Zusammenfassung: | Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования. |
| Sprache: | Russisch |
| Veröffentlicht: |
Казань, Изд-во Казанского ун-та, 1990
|
| Schlagworte: | |
| Format: | Buch |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=224248 |
| Beschreibung: | 111 с. |
|---|---|
| Zusammenfassung: | Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования. |
| ISBN: | 5746401870 |