Эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка
Автор: Коварцев Александр Николаевич
Журнал: Компьютерная оптика @computer-optics
Рубрика: Обработка изображений: Восстановление изображений, выявление признаков, распознавание образов
Статья в выпуске: 3 т.38, 2014 года.
Бесплатный доступ
В статье предлагается новый эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка. В отличие от известного алгоритма А. Тарского, предложенный алгоритм сводит переборную задачу проверки истинности любого утверждения о вещественных числах к оптимизационной задаче. В новой версии алгоритма могут использоваться не только алгебраические, но и трансцендентные функции.
Разрешимость предиката, теорема тарского, замкнутая формула, доказательство истинности, глобальная оптимизация, сложность алгоритмов
Короткий адрес: https://sciup.org/14059274
IDR: 14059274
