Страницы, ссылающиеся на «Задача выполнимости булевых формул»
Перейти к навигации
Перейти к поиску
Следующие страницы ссылаются на Задача выполнимости булевых формул:
Показано 30 элементов.
- Латинский квадрат (← ссылки)
- NP-полная задача (← ссылки)
- Класс NP (← ссылки)
- Вычислительная сложность (← ссылки)
- Конъюнктивная нормальная форма (← ссылки)
- NP-трудность (← ссылки)
- Временная сложность алгоритма (← ссылки)
- Теория алгоритмов (← ссылки)
- Хорновский дизъюнкт (← ссылки)
- Задача выполнимости формул в теориях (← ссылки)
- DPLL (← ссылки)
- 2011 год в науке (← ссылки)
- Разложение Шеннона (← ссылки)
- Бинарная диаграмма решений (← ссылки)
- Удовлетворение ограничений (← ссылки)
- Доминатор (теория графов) (← ссылки)
- Аппроксимационный алгоритм (← ссылки)
- Теорема PCP (← ссылки)
- Веретено Мозера (← ссылки)
- Задача поиска изоморфного подграфа (← ссылки)
- Гипотеза об экспоненциальном времени (← ссылки)
- Программирование наборов ответов (← ссылки)
- Алгоритм FKT (← ссылки)
- Задача о гамильтоновом пути (← ссылки)
- Управляемый локальный поиск (← ссылки)
- Класс co-NP-complete (← ссылки)
- Алгоритмическая локальная лемма Ловаса (← ссылки)
- Метод Эйлера — Паркера (← ссылки)
- Галактический алгоритм (← ссылки)
- Алгоритм Шёнинга (← ссылки)