Оглавление
FP (сложность)
-
Определение класса сложности FP
- FP – это набор задач, решаемых детерминированной машиной Тьюринга за полиномиальное время.
- FP является функциональной версией задачи принятия решений класса P.
- Задачи в FP могут иметь любой результат, вычисляемый за полиномиальное время, в отличие от задач в P, которые имеют однобитные ответы.
-
Связь с другими классами сложности
- FNP – это набор бинарных отношений, проверяемых за полиномиальное время.
- NP тесно связан с FNP, и FP = FNP тогда и только тогда, когда P = NP.
- FL, набор задач, решаемых в логарифмическом пространстве, содержится в FP, но неизвестно, равен ли FL = FP.
-
Рекомендации и внешние ссылки
- Статья содержит ссылку на “Зоопарк сложности: FP” для дополнительной информации.
Полный текст статьи: