Список тем о вычислимости и сложности - List of computability and complexity topics
Это список темы вычислимости и сложности, на странице Википедии.
Теория вычислимости это часть теории вычисление это касается того, что в принципе можно вычислить. Теория вычислительной сложности касается сложности вычислений в количественном отношении как с верхними границами (алгоритмы чья сложность в наихудших случаях, как использование вычислительных ресурсов, может быть оценена), и снизу (доказательства того, что никакая процедура для выполнения некоторой задачи не может быть очень быстрой).
Для более абстрактных фундаментальных вопросов см. список тем математической логики. Смотрите также список алгоритмов, список общих тем алгоритмов.
Расчет
- Справочная таблица
- История компьютеров
- Алгоритм умножения
- Деление на два
- Возведение в степень возведением в квадрат
- Цепочка добавления
- Арифметика пресбургера
Теория вычислимости: модели вычислений
- Арифметические схемы
- Алгоритм
- Конечный автомат
- Выталкивающий автомат
- Büchi автомат
- Иерархия Хомского
- Зарегистрировать машину
- Штабелеукладчик
- Сеть Петри
- Почтовый автомат
- Перезапись
- Высота звезды
- Клеточный автомат
- Машина Тьюринга
- Лямбда-исчисление
- Комбинаторная логика
- Параллельные вычисления
- Таксономия Флинна
- Квантовый компьютер
- Тезис Черча-Тьюринга
Проблемы с решением
- Entscheidungsproblem
- Проблема с остановкой
- Проблема с почтовой корреспонденцией
- Решаемый язык
- Задача со словом для групп
- Ванга плитка
- Плитка Пенроуза
Вопросы определимости
- Вычислимое число
- Определимое число
- Вероятность остановки
- Алгоритмическая теория информации
- Алгоритмическая вероятность
- Сжатие данных
Теория сложности
- Совет (сложность)
- Амортизированный анализ
- Протокол Артура-Мерлина
- Лучшие и худшие случаи
- Занятый бобер
- Сложность схемы
- Конструируемая функция
- Теорема Кука
- Экспоненциальное время
- Функциональная проблема
- Линейное время
- Теорема о линейном ускорении
- Естественное доказательство
- Полиномиальное время
- Редукция "много-один" за полиномиальное время
- Редукция Тьюринга за полиномиальное время
- Теорема савича
- Теорема пространственной иерархии
- Скорость приора
- Теорема об ускорении
- Субквадратичное время
- Теорема об иерархии времени
Классы сложности
Увидеть список классов сложности
Названные проблемы
- Проблема клики
- Проблема гамильтонова цикла
- Гамильтонова проблема пути
- Целочисленная факторизация
- Задача о рюкзаке
- Проблема выполнимости
- Проблема суммы подмножества
- 3SUM
- Проблема коммивояжера
- Проблема покрытия вершины
- Односторонняя функция
- Установить проблему с крышкой
- Независимая задача набора
Расширения
- Вероятностный алгоритм, рандомизированный алгоритм
- Алгоритм Лас-Вегаса
- Недетерминизм
- Недетерминированная машина Тьюринга
- Интерактивные вычисления
- Интерактивная система доказательств
- Вероятностная машина Тьюринга
- Алгоритм приближения
- Имитация отжига
- Алгоритм муравьиной колонии
- Семантика игры
- Обобщенная игра
- Многоагентная система
- Параметризованная сложность
- Расчет процесса
- Гипервычисления
- Реальные вычисления