Список тем по вычислимости и сложности
Это список тем, посвященных вычислимости и сложности , на странице Википедии.
Теория вычислимости — это часть теории вычислений , которая занимается тем, что в принципе можно вычислить. Теория сложности вычислений рассматривает, насколько сложны вычисления в количественном выражении, как с верхними границами ( алгоритмы , сложность которых в худших случаях, например, с точки зрения использования вычислительных ресурсов, может быть оценена), так и снизу (доказательства того, что никакая процедура для выполнения некоторых операций не может быть оценена). задача может быть очень быстрой).
Более абстрактные фундаментальные вопросы см. в списке тем по математической логике . См. также список алгоритмов , список общих тем алгоритмов .
Расчет [ править ]
- Таблица поиска
- История компьютеров
- Алгоритм умножения
- Деление на два
- Возведение в степень путем возведения в степень
- Дополнительная цепочка
- Арифметика Пресбургера
вычислений модели Теория вычислимости :
- Арифметические схемы
- Алгоритм
- Конечный автомат
- Мучнистая машина
- Минский регистровый автомат
- Машина Мура
- Диаграмма состояний
- Государственная переходная система
- Детерминированный конечный автомат
- Недетерминированный конечный автомат
- Обобщенный недетерминированный конечный автомат
- Обычный язык
- Регулярное выражение
- Регулярная грамматика
- Префиксная грамматика
- Древовидный автомат
- Нажимной автомат
- Автомат Бючи
- Иерархия Хомского
- Зарегистрировать машину
- Штабелируемая машина
- сеть Петри
- Почтовая машина
- Переписывание
- Высота звезды
- Клеточный автомат
- Машина Тьюринга
- Лямбда-исчисление
- Комбинаторная логика
- Параллельные вычисления
- Таксономия Флинна
- Квантовый компьютер
- Тезис Чёрча – Тьюринга
Проблемы с решением [ править ]
- Проблема решения
- Проблема с остановкой
- Проблема с перепиской
- Разрешимый язык
- Словесная задача для групп.
- Ван плитка
- Плитка Пенроуза
Вопросы определяемости [ править ]
- Вычислимое число
- Определяемое число
- Вероятность остановки
- Алгоритмическая теория информации
- Алгоритмическая вероятность
- Сжатие данных
Теория сложности [ править ]
- Совет (сложность)
- Амортизированный анализ
- Протокол Артура-Мерлина
- Лучшие и худшие случаи
- Занятой бобер
- Сложность схемы
- Конструктивная функция
- Теорема Кука-Левина
- Экспоненциальное время
- Функциональная проблема
- Линейное время
- Теорема о линейном ускорении
- Естественное доказательство
- Полиномиальное время
- Полиномиальное сокращение числа «много-один»
- Сокращение Тьюринга за полиномиальное время
- Теорема Савича
- Теорема о пространственной иерархии
- Приор скорости
- Теорема об ускорении
- Субквадратичное время
- Теорема об иерархии времени
Классы сложности [ править ]
Посмотреть список классов сложности
Названные проблемы [ править ]
- Проблема с щелчком
- Проблема гамильтонового цикла
- Проблема гамильтонового пути
- Целочисленная факторизация
- Задача о рюкзаке
- Проблема выполнимости
- Проблема суммы подмножества
- 3СУММ
- Задача коммивояжера
- Проблема с вершинным покрытием
- Односторонняя функция
- Установить проблему с обложкой
- Независимая задача множества
Расширения [ править ]
- Вероятностный алгоритм , рандомизированный алгоритм
- алгоритм Лас-Вегаса
- Недетерминизм
- Недетерминированная машина Тьюринга
- Интерактивные вычисления
- Интерактивная система доказательств
- Вероятностная машина Тьюринга
- Алгоритм аппроксимации
- Имитация отжига
- Алгоритмы оптимизации муравьиной колонии
- Семантика игры
- Обобщенная игра
- Многоагентная система
- Параметризованная сложность
- Процесс исчисления
- Гипервычисления
- Реальные вычисления
- Вычислимый анализ