ext_13266 ([identity profile] ygam.livejournal.com) wrote in [personal profile] piggymouse 2010-08-17 05:40 pm (UTC)

Ну, в одном ЖЖ-комменте я не смогу изложить теорию вычислительной сложности. Есть класс математических задач, для которых нет алгоритма, решающего их за полиномиальное время. В начале 1970х годов несколько математиков доказали, что если такой алгоритм появится для одной из них, он появится для всех; с тех пор о все новых задачах доказывали, что они принадлежат к этому классу; сейчас известны тысячи таких задач. С тех пор никто не смог ни найти алгоритм для одной из этих задач, ни доказать, что такого алгоритма не существует, ни доказать, что утверждение, что такого алгоритма не существует, недоказуемо. В запросе на этом сайте требуется найти полиномиальный алгоритм для одной из таких задач.

Post a comment in response:

(will be screened)
(will be screened if not validated)
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org