Оценка за полиномиальное время

[alex_dorin]

Прошу гуру в этой области дать комментарий для усилий определить общезначимость за полиномиальное время
формулы первопорядковой логики с предикатами не более арности 3.
http://arxiv.org/abs/1011.3944
http://zhurnal.ape.relarn.ru/articles/2007/143.pdf
по указанным ссылкам находится статья на английском и русском языках
на указанную тему

[Xaositect]

Обсуждение указанной статьи в блоге автора: http://romvf.wordpress.com/2011/01/19/o ... omment-111
Были найдены проблемные КНФ, на которых алгоритм работает некорректно. Ссылка на обсуждение: https://github.com/anjlab/sat3/issues/5

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: внешние ссылки приведены без описания

alex_dorin, Xaositect, приведите, пожалуйста, хотя бы мало-мальское описание того, что находится по указанным ссылкам.

правила форума писал(а):

5. Внешние ссылки
...
5.2. Любая внешняя ссылка должна быть снабжена достаточно подробной аннотацией того, куда она ведет и каким образом относится к вопросу. Описание должно быть достаточным для того, чтобы читатели могли принять решение, стоит ли им переходить по данной ссылке.

После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»
возвращено

[alex_dorin]

После некоторого прочтения труда автора, как я понял, он строит процедуру поиска доказательства общезначимости первопорядковой формулы с предикатами арности не более 3 в модели мощностью не более 2.
Даже, если нет ошибки - это мало полезное дело.

С уважением
Александр Александрович Дорин
г. Полтава