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