February 3rd, 2015

ёжик

Мое док-во NP ≠ P - пора готовить для публикации в математическом журнале?...

Копирую сюда свой пост с dxdy.ru (У них там время записи 11:19, но на самом деле 10:19 утра – на один час их часы опережают московское время):

http://dxdy.ru/post972938.html#p972938

Надо подвести промежуточные итоги и запланировать следующие действия.

Было сделано:

Предварительное эвристическое доказательство ( http://dxdy.ru/post954742.html#p954742 )

Сведения из учебников. Теорема о диагонализации в частности ( http://dxdy.ru/post956171.html#p956171 )

Моё первое формальное доказательство NPP тут с опорой на неразрешимость алгоритма проверки (для класса NP) + Определение AntiMt, вывод свойств ( http://dxdy.ru/post956292.html#p956292 )

Второе доказательство с расширенной проверкой корректности, но без опоры на неразрешимость проверки + Определение DiagKnockout(), вывод свойств ( http://dxdy.ru/post960183.html#p960183 )

Итоговое доказательство: Mt не может всегда прогнозировать AntiMt, хотя должен, когда есть аксиома DiagKnockout() ( http://dxdy.ru/post963495.html#p963495 )

Collapse )

Если никто из читателей никаких ошибок в доказательстве не видит (а сам я их не вижу), то я должен делать следующий шаг и готовить статью для отправки в математический журнал, насколько я понимаю? Мне надо освоить подготовку документов в $LaTeX$ для публикации - что вроде потихоньку продвигается (удалось сверстать образцы из журнала «Математические заметки»). Подскажите пожалуйста - мне нужно самому везти туда распечатку или безнадега, раз это опубликовано на форуме? Еще мне надо здесь на форуме написать доказательство «одним куском», соединив в целое предыдущие «этапы» (или целостное доказательство я должен сделать только для журнала?) и написать аннотацию для журнала. Вот что у меня получилось в качестве аннотации пока что, подскажите пожалуйста, какие в ней недостатки:

Аннотация

Collapse )