Опубликовано доказательство P!=NP

[Maslov]

venco в сообщении #352886 писал(а):

Maslov, попробуйте почитать эту статью: http://www.smolensk.ru/user/sgma/MMORPH ... iatlin.htm

Да я вообще на том сайте не был :) Просто заинтересовало, какая связь...

[creative]

Maslov в сообщении #352880 писал(а):

(Оффтоп)

Объясните, пожалуйста, какое отношение имеет математическая квалификация к способности/желанию заниматься web-дезайном?
На мой взгляд, не большее, чем талант Ландау в физике к его же плохому почерку.

(Оффтоп)

Объяснить связь я не смогу, так как это чисто эмпирическое наблюдение (точно так же как почему в один ничем не примечательный день телефон просто разрывает от клиентов, а в другой полная тишина). Вы можете самостоятельно убедится в этом, если уделите несколько часов на поиск и коллекционирование сайтов с псевдонаучной тематикой (например, запросу в google: опровержение теории относительности). Рекомендую найти около 30-40 сайтов, а потом посмотреть на общие черты стиля написания текста, заголовков, оформления и т.д. Порой сайты с серьёзной информацией содержат просто plain text. Но псевдонаучные сайты содержат именно дизайн, который мог сделать только человек с очень идиотским вкусом. Я уверен, что Вы прекрасно убедитесь в этом.

[Zealint]

venco в сообщении #352886 писал(а):

Я застрял на определении графа и "матрицы маршрута".

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

[maxal]

Aleksey Bader в своём Buzz писал(а):

Жадность правит миром. Чего люди только не делают, чтобы получить миллион американских долларов. Даже доказывают, что P=NP.
Очередная попытка от Matt Groff называется: "Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields". Автор утверждает, что решит задачу выполнимости булевой функции за $O(n^7)$. http://arxiv.org/abs/1106.0683

Abstract:
The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy understanding for many people and scientists from many diverse fields.
In technical terms, a novel method for solving k-SAT is explained. This method is primarily based on linear algebra and finite fields. Evidence is given that this method may require only $O(n^7)$ time and space for deterministic models. It’s concluded that significant evidence exists that P=NP.
There is a forum devoted to this paper at http://482527.ForumRomanum.com. All are invited to correspond here and help with the analysis of the algorithm.

Самое любопытное, что после того как товарищ Vinay Deolalikar в прошлом году попал под раздачу, люди пытаются использовать его опыт и по собственной инициативе начинают публичное обсуждение своей работы. Автор создал отдельный форум, для обсуждения алгоритма! Вот он новый метод решения научных проблем в 21 веке.

[ArtemKim]

http://arxiv.org/abs/0907.3965

[Sonic86]

(Оффтоп)

ArtemKim в сообщении #472875 писал(а):

http://arxiv.org/abs/0907.3965

Че-то там 30 апдейтов за 2 года, причем объем статьи увеличивается линейно...

[ArtemKim]

http://arxiv.org/pdf/1108.0408v1

[bin]

BTW Второй раз проблема P vs NP вынесена на голосование. Вы уже отдали свой голос?