2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Оценка за полиномиальное время
Сообщение23.07.2013, 08:39 


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

 Профиль  
                  
 
 Re: Оценка за полиномиальное время
Сообщение23.07.2013, 13:13 
Заслуженный участник
Аватара пользователя


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

 Профиль  
                  
 
 Posted automatically
Сообщение23.07.2013, 15:20 
Супермодератор
Аватара пользователя


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

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

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

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

 Профиль  
                  
 
 Re: Оценка за полиномиальное время
Сообщение23.07.2013, 20:34 


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

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group