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