Сторінки, що посилаються на «Задача здійсненності булевих формул»
Перейти до навігації
Перейти до пошуку
Такі сторінки посилаються на Задача здійсненності булевих формул
Показано 14 елементів.
- Алгебра логіки (← посилання | редагувати)
- Задача здійснимості булевих формул (сторінка-перенаправлення) (← посилання | редагувати)
- Задача здійснимості бульових формул (сторінка-перенаправлення) (← посилання | редагувати)
- Диференціальний криптоаналіз (← посилання | редагувати)
- SAT проблема (сторінка-перенаправлення) (← посилання | редагувати)
- Теорема Кука — Левіна (← посилання | редагувати)
- Диз'юнкт Горна (← посилання | редагувати)
- Проблема трійок Буля — Піфагора (← посилання | редагувати)
- Річард Ліптон (← посилання | редагувати)
- Задача здійсненності бульових формул (сторінка-перенаправлення) (← посилання | редагувати)
- Дезоксирибонуклеїнова кислота (← посилання | редагувати)
- NP-повна задача (← посилання | редагувати)
- Задача здійсненності булевих формул (← посилання | редагувати)
- Задача комівояжера (← посилання | редагувати)
- Клас складності P (← посилання | редагувати)
- Клас складності NP (← посилання | редагувати)
- Задача пакування рюкзака (← посилання | редагувати)
- Задача листоноші (← посилання | редагувати)
- Задача заміщення сторінок (← посилання | редагувати)
- Локальний пошук (оптимізація) (← посилання | редагувати)
- 21 NP-повна задача Карпа (← посилання | редагувати)
- П'ятнашки (← посилання | редагувати)
- Задача вибору (← посилання | редагувати)
- PCP-теорема (← посилання | редагувати)
- Розв'язувач (← посилання | редагувати)
- Satisfiability Modulo Theories (← посилання | редагувати)
- Задача Штейнера (← посилання | редагувати)
- Задача про незалежну множину (← посилання | редагувати)
- Теорема Кука — Левіна (← посилання | редагувати)
- Задача про кліку (← посилання | редагувати)
- Гіларі Патнем (← посилання | редагувати)
- Веретено Мозера (← посилання | редагувати)
- Бінарна діаграма рішень (← посилання | редагувати)
- Задача про пакування в ємності (← посилання | редагувати)
- Проблема трійок Буля — Піфагора (← посилання | редагувати)
- Програмування наборами відповідей (← посилання | редагувати)
- Автоматизоване планування та диспетчеризація (← посилання | редагувати)
- DPLL алгоритм (← посилання | редагувати)
- Формальна перевірка еквівалентності (← посилання | редагувати)
- Функціональна проблема (← посилання | редагувати)
- Задача про гамільтонів шлях (← посилання | редагувати)
- Користувач:Святослав Васильців/Книги/DATA(D:) (← посилання | редагувати)
- Обговорення користувача:Oleksii0 (← посилання | редагувати)
- Вікіпедія:Книги/Математика (← посилання | редагувати)
- Шаблон:NP-повні задачі (← посилання | редагувати)
- Апроксимаційний алгоритм (← посилання | редагувати)
- Клас APX (← посилання | редагувати)
- Гіпотеза Келлера (← посилання | редагувати)
- Задача пошуку ізоморфного підграфа (← посилання | редагувати)