Нижние оценки сложности и сложность универсальных схем

Нижние оценки сложности и сложность универсальных схем

Bibliographic Details
Main Author:	Нигматуллин Р. Г. Рошаль Габдулхаевич
Summary:	Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования.
Language:	Russian
Published:	Казань, Изд-во Казанского ун-та, 1990
Subjects:	Математическая кибернетика сложность нижние оценки универсальные схемы доказательства универсальные функции теоретическое программирование
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=224248

Similar Items

Сложность булевых функций
by: Нигматуллин Р. Г. Рошаль Габдулхаевич
Published: (Москва, Наука, 1991)

Алгебраическое моделирование сложных систем
by: Иванов П. М. Петр Мацович
Published: (Москва, Наука, 1996)

Неклассические логики и их применение; Вопросы кибернетики
Published: (1982)

Ч. 1; Условия А-полноты для конечных автоматов
Published: (1986)

Тесты (теория, построение, применение)
by: Соловьев Н. А. Николай Андреевич
Published: (Новосибирск, Наука, 1978)

Кибернетика. Вопросы теории и практики
by: Глушков В. М.
Published: (Москва, Наука, 1986)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Published: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Published: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Основы теории вероятностных автоматов
by: Бухараев Р. Г. Раис Гатич
Published: (Москва, Наука, 1985)

Юстировка и ремонт универсальных микроскопов
by: Эрвайс А. В. Аркадий Владимирович
Published: (Москва, Машгиз, 1949)

Математическая и техническая кибернетика
Published: (Тбилиси, Мецниереба, 1983)

Вопросы математической кибернетики: сборник научных трудов
Published: (Минск, Изд-во МГПИ, 1979)

Сложность булевых функций
by: Нигматуллин Р. Г. Рошаль Габдулхаевич
Published: (Казань, Изд-во Казанского ун-та, 1983)

Математическая и техническая кибернетика
Published: (Тбилиси, Мецниереба, 1989)

Математическая и техническая кибернетика
Published: (Тбилиси, Мецниереба, 1986)

Математическая и техническая кибернетика
Published: (Тбилиси, Мецниереба, 1985)

Математическая и техническая кибернетика
Published: (Тбилиси, Мецниереба, 1984)

Универсальные алгоритмы оптимального управления непрерывными процессами
by: Красовский А. А. Александр Аркадьевич
Published: (Москва, Наука, 1977)

Автоматическое образование гипотез. Математические основы общей теории: перевод с английского
by: Гаек П. Петр
Published: (Москва, Наука, 1984)

Математическая и техническая кибернетика: [сборник]
Published: (Тбилиси, Мецниереба, 1979)

Математическая и техническая кибернетика: [сборник]
Published: (Тбилиси, Мецниереба, 1980)

Анализ эффективности деятельности в центральных универсальных библиотеках субъектов Российской Федерации; Научные и технические библиотеки; № 7
by: Коломейчук Е. М. Евгения Максимовна
Published: (2005)

Взаимодействие универсальныъх библиотек федерального и регионального уровня по формированию фондов; Библиотечное дело - XXI век; № 2
by: Шпанцева С. М. Светлана Михайловна
Published: (2002)

Вып. 174 : Анализ структурных закономерностей; Вычислительные системы
Published: (2005)

Структура обслуживания в универсальных научных библиотеках России; Научные и технические библиотеки; № 5
by: Коломейчук Е. М. Евгения Максимовна
Published: (2002)

Выбор универсальных средств измерений линейных размеров до 500 мм (по применению ГОСТ 8.051-81): Методические указания. РД 50-98-86
Published: (Москва, Издательство стандартов, 1987)

Формирование универсальных учебных действий у младших школьников с нарушением слуха монография
by: Речицкая Е. Г.
Published: (Москва, МПГУ, 2017)

Особенности формирования универсальных учебных действий на уроках физической культуры учебно-методическое пособие
by: Русинова М. П.
Published: (Екатеринбург, УрГПУ, 2018)

Математические модели переноса излучения
by: Сушкевич Т. А. Тамара Алексеевна
Published: (Москва, БИНОМ. Лаборатория знаний, 2005)

Математические модели переноса излучения
by: Сушкевич Т. А. Тамара Алексеевна
Published: (Москва, БИНОМ. Лаборатория знаний, 2006)

Кн. 5: Ге - Да; Новая иллюстрированная энциклопедия
Published: (2003)

Кн. 6: Да - Жа; Новая иллюстрированная энциклопедия
Published: (2003)

Конструкции и основы проектирования универсальных штампов
by: Шевелев В. В. Виктор Васильевич
Published: (Москва, Машиностроение, 1964)

Формирование и развитие универсальных учебных действий при обучении биологии
by: Горленко Н. М.
Published: (Красноярск, КГПУ им. В.П. Астафьева, 2016)

ТКМ700 - программируемый контроллер для универсальных решений; Промышленные АСУ и контроллеры; № 10
by: Романов Б. А.
Published: (2005)

Организация работы книгохранилища в универсальной научной библиотеке: Методические рекомендации
Published: (Москва, 1985)

Отражение точности идентификации нечетких множеств в представлениях ситуаций; Измерительная техника; № 10
by: Рыжаков В. В.
Published: (2004)

Т. 1: А - Н; Большой энциклопедический словарь
Published: (1991)

Т. 2: О - Я; Большой энциклопедический словарь
Published: (1991)

Введение в квантовые вычисления: пер. с англ.
by: Кайе Ф. Филлип
Published: (Москва, Регулярная и хаотическая динамика, 2009)