Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Крупский В.Н. — Введение в сложность вычислений. Методы современной математики. Выпуск 2
Крупский В.Н. — Введение в сложность вычислений. Методы современной математики. Выпуск 2



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Введение в сложность вычислений. Методы современной математики. Выпуск 2

Автор: Крупский В.Н.

Аннотация:

Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М. В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности «Защита информации». Излагаются основные идеи и методы теории сложности вычислений. Для студентов, аспирантов и специалистов, занимающихся анализом эффективности алгоритмов.


Язык: ru

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 128

Добавлена в каталог: 10.03.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
NP-полный язык (задача)      68
NP-трудный язык (задача)      68
PSPACE-полный язык (задача)      121
Алфавит входной      14
Алфавит ленточный машины Тьюринга      14
Булева схема      41
Выигрышная стратегия      92
Дерево игры      92
Задача о клике (CLIQUE)      64
Задача распознавания истинности замкнутых квантифицированных булевых формул      121
Игра конечная      92
Игра с полиномиальным числом ходов      109
Квантифицированная булева формула      117
Код машины Тьюринга      30
Кодирование пар двоичных слов      31
Краевая задача полимино      64
Лента      12
Машина с неограниченными регистрами      38
Машина Тьюринга      11
Машина Тьюринга вероятностная      75
Машина Тьюринга многоленточная      14
Машина Тьюринга недетерминированная      60
Машина Тьюринга универсальная      29
Модель вычислений      9
Проблема выполнимости 3-КНФ (3SAT)      71
Проблема выполнимости булевых формул (SAT)      63
Проблема существования гамильтонова цикла      64
Сводимость за полиномиальное время (сводимость Карпа)      67
Состояние      12
Схемная сложность булевой функции      42
Схемная сложность языка      53
Тезис Тьюринга      13
Формальный язык      46
Функция полиномиального роста      45
Функция, конструируемая по времени (по зоне)      33
Частотный распознаватель      77
Язык, распознаваемый игрой      93
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте