Теория сложности вычислений

Вики

Сертификат (сложность)

/

Сертификат (сложность) Определение сертификата в теории сложности вычислений Сертификат — это строка, подтверждающая ответ на вычисление или принадлежность строки к […]

Вики

Естественное доказательство

/

Естественное доказательство Определение и ограничения естественных доказательств Естественные доказательства — это вид доказательств, которые устанавливают различие между классами сложности.  Разборов

Вики

Вычислительный ресурс — Википедия

/

Вычислительный ресурс Определение вычислительных ресурсов Вычислительные ресурсы используются в моделях для решения задач.  Время вычислений, шаги и память являются простейшими

Вики

Квантовая емкость

/

Квантовая емкость Основные понятия квантовых вычислений Квантовые вычисления используют квантовые состояния для выполнения вычислений.  Квантовые состояния могут быть представлены в

Вики

Квантовое превосходство

/

Квантовое превосходство Определение квантового превосходства Квантовое превосходство — это способность квантового компьютера выполнять задачи, которые классический компьютер не может решить

Вики

Сильная NP-полнота

/

Сильная NP-полнота Определение сильной NP-полноты Сильная NP-полнота является частным случаем NP-полноты, который остается NP-полным при ограничении числовых параметров полиномом.  Задача

Вики

Динамическая задача (алгоритмы)

/

Динамическая задача (алгоритмы) Определение динамических задач Динамические задачи — это задачи, которые требуют изменения входных данных.  Они требуют эффективных алгоритмов

Вики

Принцип Яо

/

Принцип Яо Определение рандомизированных алгоритмов Рандомизированные алгоритмы — это алгоритмы, которые используют случайность для принятия решений.  Они могут быть эффективными,

Вики

Сглаженный анализ

/

Сглаженный анализ Определение сложности алгоритмов Сложность алгоритма — это время, необходимое для решения задачи.  Сложность в наихудшем случае — это

Вики

Получленство

/

Полупрофессиональное членство Определение проблемы полупринадлежности Проблема определения, какой элемент множества с большей вероятностью принадлежит ему.  Альтернатива для различения элемента от

Вики

Преобразователь лог-пространства

/

Преобразователь логарифмического пространства Определение и использование LST LST — это машина Тьюринга, используемая для сокращения логарифмического пространства.  LST имеет три

Вики

Вычислительный ресурс

/

Вычислительный ресурс Определение вычислительных ресурсов Вычислительные ресурсы используются в моделях для решения задач.  Время вычислений, шаги и память являются простейшими

Вики

Асимптотическая вычислительная сложность

/

Асимптотическая вычислительная сложность Определение асимптотической сложности вычислений Асимптотическая сложность используется для оценки вычислительной сложности алгоритмов.  Обозначение big O используется для

Вики

Вычислительная сложность математических операций

/

Вычислительная сложность математических операций Сложность математических операций Арифметические операции с целыми числами: O(n) на современных вычислителях.  Алгебраические операции над многочленами:

Вики

Трансвычислительная задача

/

Транскомпьютерная задача Определение транскомпьютерной задачи Транскомпьютерная задача требует обработки более 1093 бит информации.  Число 1093 называется пределом Бремермана и представляет

Вики

Сложность доказательства

/

Сложность доказательства Определение и сложность доказательства Доказательство — это процесс, который демонстрирует истинность утверждения.  Сложность доказательства — это количество шагов,

Вики

Параметризованная сложность

/

Параметризованная сложность Определение параметризованной сложности Параметризованная сложность — это класс задач, которые могут быть решены за полиномиальное время в зависимости

Прокрутить вверх