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