Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
NP-полные (универсальные) задачи
личие NPС-задач было доказано. Одной из таких задач является задача о выяснении выполнимости КНФ.
Понятие NP-полной задачи приводит к нескольким проблемам теории сложности.
Если бы удалось найти P задачу, принадлежащую классу NPC, то стало бы доказано, что P=NP. То есть для любой задачи экспоненциальной сложности нашелся бы полиномиальный алгоритм решения на МТ.
Если бы удалось доказать отсутствие полиномиального решения для какой-либо NPC задачи, то стало бы доказано, что создание таких алгоритмов для NPC- задач невозможно.
Понятие NP-полноты позволяет доказывать принадлежность задачи П к классу NP-полных задач, для этого достаточно свести к П хотя бы одну задачу класса NPC. Но существуют задачи, доказать NP-полноту кот
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
