Челябинский математик предложил решение одной из задач тысячелетия

Аватар пользователя ВладимирХ

Доктор физ-мат наук из Челябинска, завкафедрой Южно-Ууральского государственного университета предложил доказательство равенства классов P и NP, за решение которого Математический институт Клэя назначил премию в миллион долларов США. 






Анатолий Васильевич Панюков около 30 лет провел в поисках решения одной из сложнейших задач тысячелетия. Математики всего мира долгие годы пытаются доказать или опровергнуть существование равенство классов P и NP, существует около сотни решений, но ни одно из них пока не было признано. По этой теме, имеющей отношение к данной проблеме,  заведующий кафедрой ЮУрГУ защитил кандидатскую и докторскую диссертации, но, как ему кажется, правильный ответ нашел только сейчас.

Результат своей работы я обсуждал на ряде межокружных конференций и среди профессионалов. Результаты были представлены в Институте математики и механики УрО РАН и в журнале «Автоматика и механика», выпускаемом Российской Академией Наук, - рассказал «Хорошим новостям» доктор физико-математических наук Анатолий Панюков. – Чем дольше профессионалы не могут найти опровержения, тем результат считается более правильным.

Равенство  классов P и NP в математическом мире считается одной из актуальных задач тысячелетия. И заключается в том, что если равенство верно, то большинство актуальных оптимизационных задач можно решить за приемлемое время, например, в бизнесе или на производстве. Сейчас точное решение таких задач основано на переборе, и может занимать более года.

Большинство ученых склоняются к гипотезе, что классы P и NP не совпадают, но если в представленных доказательствах нет ошибки, то это не так, - отметил в разговоре с «Хорошими новостями» Анатолий Панюков.

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

Следующим шагом для признания работы челябинского ученого будет обнародование доказательства в Математическом институте Клэя, который объявил премию в миллион долларов за решение каждой из задач тысячелетия.

В настоящее время только одна из семи проблем тысячелетия (гипотеза Пуанкаре) решена. Филдсовская премия за её решение была присуждена Григорию Перельману, который отказался от неё.

Для справки: Панюков Анатолий Васильевич (род. в 1951 г.) Докторфизико-математических наук, профессор, заведующий кафедрой экономико-математических методов и статистики на факультете вычислительной математики и информатики, член ассоциации математического программирования, ученый секретарь Научно-методического совета по математике Министерства образования и науки РФ (Челябинское отделение), член Научно-методического совета Территориального органа Федеральной службы государственной статистики по Челябинской области, член диссертационных советов в Южно-Уральском и Пермском государственных университетах. Автор более 200 научных и учебных публикаций и более 20 изобретений. Руководитель научного семинара «Доказательные вычисления в экономике, технике, естествознании», работа которого поддержана грантами РФФИ, Министерства образования и Международного научно-технического центра. Им подготовлено семь кандидатов и два доктора наук. Имеет звания «Заслуженный работник высшей школы РФ» (2007), «Почетный работник высшего профессионального образования» (2001), «Изобретатель СССР» (1979), награжден медалью Минвуза СССР (1979) и Почётной грамотой Губернатора Челябинской области.

http://hornews.ru/news/last_news/chelyabinskiy_matematik_reshil_odnu_iz_zadach_tyisyacheletiya.html

http://chelindustry.ru/left_prom2.php?tt=2&rr=13&ids=10992

Статья в Википедии о задаче

Комментарии

Аватар пользователя Офисный планктон

А оставшиеся 3% не являются идиотами и не поддаются этому управлению?

Аватар пользователя R407C
R407C(11 лет 3 месяца)

 оставшиеся 3% 

Из 146% проголосовавших?

Это запасные.

 

Аватар пользователя Офисный планктон

Нет, из 100% населения планеты.

Аватар пользователя Federal
Federal(12 лет 3 месяца)

При прохождении теста мозги слетели? Простые речевые обороты перестали получаться? Завтра в школе обратись к медику и получи глицин. Это витаминки для мозга.

Планктон, это я Арии. Коммент сполз.

 

Аватар пользователя мимобегом
мимобегом(11 лет 1 неделя)

Если я правильно понял речь идёт не о доказательстве равенства классов P и NP. Нужна универсальная формула с подробным пояснением как её применять.

То есть речь идёт о том, что за универсальную формулу, пригодную для проведения расчётов, дающих экономический эффект в стопицот трильярдов долларов, предлагают паршивый лимон, на который сейчас в Москве даже квартиру в центре не купишь.

Я вот, кстати, только сейчас сообразил почему Перельман отказался получать премию. Видимо в обмен на лям надо было отдать точные подробные расчёты и универсальную формулу.

А он опубликовал только формулу для одного конкретного случая. Таким образом теорию он доказал, а вот применить то её не получится. А потом дураком прикинулся. То ли есть у него расчёты то ли случайно формулу вывел. Или вывел, но не он. Поди проверь.

Аватар пользователя Xtriss
Xtriss(11 лет 6 месяцев)

Вы ошибаетесь. С большой долей уверенности можно сказать, что "универсальной формулы" по этой проблеме не существует. Так что следует ожидать неконструктивного доказательства.

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Вброс. Причем жесткий вброс. Это атака на Bitcoin. Если множества P и NP равны, то возможно существование скрытых теорем для криптовалют. Это означает что расчет BItcoin'а может быть сокращен по времени на порядки.

Аватар пользователя hardknap
hardknap(11 лет 6 месяцев)

Всё гораздо хуже: односторонние функции перестают существовать. Как и всё "крипто-", в том числе и биткоин.

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

Нет, не всё крипто. Только несимметричное, с раздельными ключами. Симметричному шифрованию это не страшно.

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Почему это не страшно? Вскрытие шифра классическая NP задача. Классичнее некуда. Если для нее есть P решения это абзац биткоина.

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

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

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Вы простите издеваетесь? Не NP полные шифры это нонсенс )))

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

Прекрасно. Берите симметричный ключ длиной ровно в шифруемое сообщение - и попытайтесь что-то с зашифрованным сообщением сделать. Шифры Вернама обладают абсолютной криптостойкостью, строгое математическое доказательство данного факта дано Клодом Шенноном давным-давно.

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

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Да да. Тут все как в анекдоте про верзилу Васю. Кто на меня? Вася? Вася иди сюда друг! Ну кто на нас с Васей?

Щифр Вернама требует такой малой малости как наличие абсолютно случайной последовательности. Соответственно встает вопрос как ее получить. Ближе всех к проблеме подошел Эрнест Галуа. Однако поля Галуа порождают псевдослучайные последовательности. АЛГОРИТМЫ ПОРОЖДЕНИЯ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ МАТЕМАТИКЕ НЕИЗВЕСТНЫ. Соответственно Шифр Вернама не обладает абсолютной криптостойкостью на любой выбранной последовательности. Она не случайна. Что опять нас приводит к задаче P => NP только уже не шифра, а используемой последовательности для XOR.  .

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

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

Так что то, что неизвестно математике, может быть вполне достигнуто методами физики :)

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

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

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

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

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

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Наверное, но к математике все это дело не имеет никакого отношения. Мы тут про математику. На проблему P=>NP все ваши слова никак не влияют. Причем дважды. В Bitcoin алгоритм Вернама не используется. Вы почем зря фигачите несчастные ветряные мельницы.

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

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

Да и срань господня этот ваш биткойн, в сравнении с теми безднами, в которые может обрушить нынешний мир вскрытие несимметричного шифрования.

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Вы не поверите! Но шифрование это и есть математика. Вы конечно можете камлать с фатонами, но после "шифровки" и обработки гаммы простейшим Фурье удивительным образом попрет 3 гармоники и четкий статистический профиль английского текста. Тут все чудеса и закончатся.

Вера она по другому ведомству. Надо доказать что ваша последовательность случайна. Что в случае камланий невозможно.

Аватар пользователя Vneroznikov
Vneroznikov(12 лет 4 месяца)

Ну, я конечно не знаю, что такое фАтоны :) но называть физический эксперимент камланием - это сильный ход. И какого хрена вы тут веру приплетаете....

В физике не вера работает - работает опыт. Случайность той последовательности, о которой я говорил - есть следствие физического закона (отсутствие скрытых параметров в квантовой механике), подтверждённого экспериментально. Конкретно - это проверка неравенств Белла.

Да, и имейте в виду - математическими методами физические законы - не доказываются.

Да, ещё - квантовая криптография - это не математика и к математике не сводится. А вот нужные на практике криптографические задачи - решает.

Аватар пользователя hardknap
hardknap(11 лет 6 месяцев)

Я так понимаю, что квантовая криптография (не криптоанализ) основана на сложности незаметно измерить сигнал, в отличие от алгоритмической, основанной на сложности нахождения обратной функции.

Аватар пользователя hardknap
hardknap(11 лет 6 месяцев)

Конечно я имел ввиду алгоритмическое шифрование, раз речь про вычислительную сложность.

Аватар пользователя Aria
Aria(10 лет 4 месяца)

Вот кстати да, там же многоуровневое крипто-шифрование.

А тут как бы не в значай чел говорит, что все ваши крипто-шифры говно =). Хм...

Аватар пользователя Dark Side
Dark Side(11 лет 7 месяцев)

Это уже 3я атака на Bitcoin за месяц. % декабря китайцы их вообще в капусту поромсали. падение на 50% было.

Аватар пользователя hardknap
hardknap(11 лет 6 месяцев)

Кому этот биткоин нужен? Если, например, можно взломать SWIFT?

Аватар пользователя buzzi555
buzzi555(12 лет 2 месяца)

а чо там решать.

P= NP при N=1 или P=0 :)

Аватар пользователя vtorn
vtorn(11 лет 8 месяцев)

+5 :)

Аватар пользователя Federal
Federal(12 лет 3 месяца)

Красава, чо. ) Пошли твой мильон тратить?

Аватар пользователя Харасыч
Харасыч(10 лет 9 месяцев)

Те, кто в курсе, скажите, является ли доказанное (будем считать так) существование быстрого алгоритма прямым путем к его разработке?

Аватар пользователя Federal
Federal(12 лет 3 месяца)

Максимум позволит проверить существующие алгоритмы на оптимальность.

Аватар пользователя hardknap
hardknap(11 лет 6 месяцев)

Доказательство может быть "от противного" ("предположим, что такого алгоритма не существует, тогда..."), и тогда неясно как выглядит решение.

Аватар пользователя Xtriss
Xtriss(11 лет 6 месяцев)

Нет. Скорее всего, решение "задачи тысячелетия" будет чисто экзистенциальным, т.е. доказывает, что такой алгоритм существует, но ни коем образом не определяет, как его получить.

Страницы