6 відносини: Клас складності NP, Клас складності P, Рівність класів P і NP, Машина Поста, Машина Тюрінга, Лямбда-числення.
Клас складності NP
Клас складності NP (Complexity class NP) — клас складності, до якого належать задачі, що можна розв'язати недетермінованими алгоритмами за поліноміальний час; тобто, недетермінованими алгоритмами в яких завжди існує шлях успішного обчислення за поліноміальний час відносно довжини вхідного рядка; очевидно, що \mathcal \subseteq \mathcal.
Новинка!!: Недетермінована машина Тюрінга і Клас складності NP · Побачити більше »
Клас складності P
Клас складності P (Complexity class P) — клас задач, що можна розв'язати алгоритмами з поліноміальним часом.
Новинка!!: Недетермінована машина Тюрінга і Клас складності P · Побачити більше »
Рівність класів P і NP
У теорії алгоритмів питання про рівність класів складності P і NP є однією з центральних відкритих проблем вже більше трьох десятиліть.
Новинка!!: Недетермінована машина Тюрінга і Рівність класів P і NP · Побачити більше »
Машина Поста
Машина Поста (див.Еміль Пост) — це абстрактна (тобто така, що не існує в арсеналі техніки), але дуже проста обчислювальна машина.
Новинка!!: Недетермінована машина Тюрінга і Машина Поста · Побачити більше »
Машина Тюрінга
Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Новинка!!: Недетермінована машина Тюрінга і Машина Тюрінга · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Недетермінована машина Тюрінга і Лямбда-числення · Побачити більше »