Сложность доказательства
Сложность доказательства Определение и сложность доказательства Доказательство — это процесс, который демонстрирует истинность утверждения. Сложность доказательства — это количество шагов, […]
Вики
Computational complexity theory
Вики
Параметризованная сложность
Параметризованная сложность Определение параметризованной сложности Параметризованная сложность — это класс задач, которые могут быть решены за полиномиальное время в зависимости
Вики
Язык листьев
Язык листьев Определение классов сложности в теории вычислений Leaf language описывает класс сложности через формализацию принятия входных данных машиной. Классы
Вики
Космическая сложность
Сложность пространства Определение пространственной сложности Пространственная сложность — объем памяти, необходимый для выполнения алгоритма. Включает пространство для входных данных и
Вики
Информационная сложность
Сложность, основанная на информации Обзор статьи Статья представляет собой список авторов и их работ по вычислительной сложности. Упоминаются известные ученые,
Вики
Дополнение (сложность)
Дополнение (сложность) Основы теории сложности вычислений Задача принятия решения может быть дополнена задачей, где ответы меняются на противоположные. Дополнение задачи
Вики
Полный (сложность)
Полный (сложность) Определение сложности задач Задача p считается завершенной для класса сложности C, если она является «самой сложной» в этом
Вики
Интерактивная система доказательств
Интерактивная система проверки Основы интерактивных систем проверки Интерактивные системы проверки подлинности (IP) решают задачи, которые считаются не NP-полными. IP-системы включают
Вики
Булева схема
Логическая схема Определение и применение логических схем Логическая схема — математическая модель для комбинационных цифровых логических схем. Используются для моделирования
Вики
Лучший, худший и средний случай
Наилучший, наихудший и средний вариант Основы анализа алгоритмов В информатике наилучший, наихудший и средний варианты алгоритма отражают минимальное, максимальное и
Вики
Модель дерева решений
Модель дерева принятия решений Основы сложности запросов Сложность запросов — это мера сложности вычисления функции на основе входных данных. Сложности
Вики
Симметричная машина Тьюринга
Симметричная машина Тьюринга Определение и свойства симметричных машин Тьюринга Симметричная машина Тьюринга имеет неориентированный граф конфигурации, где переход возможен только
Вики
Сложность схемы
Сложность схемы Основы теории сложности схем Теория сложности схем изучает вычислительные задачи, которые могут быть решены с помощью схем. Сложность
Вики
Сложность связи
Сложность коммуникации Рандомизированная сложность коммуникации Рандомизированная сложность коммуникации — это метод, который позволяет двум сторонам обмениваться информацией, используя минимальное количество
Вики
Алгоритм аппроксимации
Алгоритм аппроксимации Определение и свойства аппроксимации Аппроксимация — это приближение к оптимальному решению задачи оптимизации. Алгоритм аппроксимации должен быть эффективным
Вики
Игры, головоломки и вычисления
Игры, головоломки и вычисления Обзор книги «Игры, головоломки и вычисления» Книга о сложности игр, написанная Робертом Херном и Эриком Демейном,
Вики
Проблема изоморфизма графов
Проблема изоморфизма графов Определение и сложность изоморфизма графов Изоморфизм графов — это проблема определения, являются ли два графа изоморфными. Проблема
Вики
Недетерминированный алгоритм
Недетерминированный алгоритм Определение недетерминированного алгоритма Недетерминированный алгоритм может давать разные результаты при одинаковых входных данных. Параллельные алгоритмы могут работать по-разному
Вики
Описательная теория сложности
Описательная теория сложности Основы логики первого порядка Логика первого порядка (FO) — это формальная система, которая включает в себя переменные,
Вики
Конструктивная функция
Конструктивная функция Функция f от натуральных чисел к натуральным числам называется строящейся во времени, если f (n) может быть построена