Определение верхней/нижней границы для переменных в произвольной пропозициональной формуле [закрыто]

Закрыто. Этот вопрос не по теме. В настоящее время ответы на него не принимаются.

Хотите улучшить этот вопрос? Обновите вопрос, чтобы он был по теме для Stack Overflow.

Закрыт 5 лет назад.

Дана произвольная пропозициональная формула PHI (линейные ограничения на некоторые переменные), какой наилучший способ определить (приблизительную) верхнюю и нижнюю границу для каждой переменной?

Некоторые переменные могут быть неограниченными. В этом случае алгоритм должен сделать вывод, что для этих переменных нет верхней/нижней границы.

например, PHI = (x=3 И y>=1). Верхняя и нижняя границы для x равны 3. Нижняя граница для y равна 1, и y не имеет верхней границы.

Это очень простой пример, но есть ли решение в общем случае (возможно, с использованием SMT-решателя)?

z3 sat-solvers

задан liyistc 24 January 2012 в 22:17

0 ответов

Другие вопросы по тегам:

z3 sat-solvers

Определение верхней/нижней границы для переменных в произвольной пропозициональной формуле [закрыто]

0 ответов

Похожие вопросы: