Определение нулевых бит задачи 3-выполнимость, ассоциированной с задачей факторизации
Автор: Огородников Юрий Юрьевич, Файзуллин Рашит Тагирович
Журнал: Компьютерная оптика @computer-optics
Рубрика: Обработка изображений: Восстановление изображений, выявление признаков, распознавание образов
Статья в выпуске: 3 т.38, 2014 года.
Бесплатный доступ
В работе приведены два эвристических способа распознавания нулевых бит задачи ВЫПОЛНИМОСТЬ, ассоциированной с задачей факторизации. Первый основывается на сведении задачи ВЫПОЛНИМОСТЬ к эквивалентной задаче минимизации непрерывной гладкой функции методом последовательных приближений. В свою очередь, данный метод расширяется путём изменения порядка вычисления переменных. Другой способ заключается в сведении к системе линейных алгебраических уравнений с симметричной матрицей диагонального преобладания.
Выполнимость, метод последовательных приближений, изменение порядка обхода переменных, диагональный способ, факторизация
Короткий адрес: https://sciup.org/14059271
IDR: 14059271
