May 21st, 2014

ёжик

Процесс разбора моего док-ва (?) NP≠P продолжается.

А никто и не обещал, что будет быстро ) Тем более никто не обещал что прокатит в итоге и я получу миллион долларов ))
В общем, опубликовал (благодаря подсказкам гостей у Анатолия Вассермана - о чем писал раньше) на http://dxdy.ru/ еще вечером 18 мая - в воскресенье - в теме:
NP≠P. Док-во от противного-контрпример алгоритмов из NP

Пока доказательство успешно уточняется по нюансам, но не рушится. Предстоит уже второе уточнения со времен первого текста. Этот нюанс отловился с помощью warlock66613. Я ему отвечал -

Доведу Ваш первый вопрос до требования к доказательству:
"Наличие способа проверки сертификата есть способ ограничить задачи рамками NP, а если этого нет, то от МТ потребуется (возможно) работать с набором задач, выходящим за рамки NP."


Но ограничить набор задач тут легко (вроде бы...). Придется еще добавить нюанс (как это сделать, чтоб старый текст сохранился и новый появился?):
Collapse )