[identity profile] jursla.livejournal.com posting in [community profile] useless_faq
Математика давно бьется над вычислением простых чисел. На данный момент формулы их нахождения нет и неизвестно существует ли она в принципе.
По сути нахождение простых чисел - это просто перебор всех с исключением заведомо непростых чисел и групп чисел.
Как изменился бы мир если бы вывели формулу безошибочного стопроцентного нахождения простых чисел? Типа f(1) = 2, f(2) =3, f(10) = 29... f(n) = Pn

Date: 2013-08-15 09:35 am (UTC)
From: [identity profile] roquefort-tln.livejournal.com
Временно накрылось бы медным тазиком все шифрование с открытыми ключами, подозреваю - то есть вообще вся е-коммерция и куча удаленного управления всем чем угодно резко стала бы небезопасной.

Date: 2013-08-15 09:58 am (UTC)
From: [identity profile] stairian.livejournal.com
RSA основан на сложности разложения числа на простые множители. Навскидку я не могу понять, как именно несложная функция вычисления простых чисел может помочь разложить на множители.

Date: 2013-08-15 11:03 am (UTC)
From: [identity profile] pequeno-raposa.livejournal.com
Ну разве не легче станет перебирать множители, если заранее знаешь, какие делители надо проверять?

Date: 2013-08-15 11:49 am (UTC)
From: [identity profile] stairian.livejournal.com
Если тупо перебирать множители, то легче, да. Но такие атаки никто не проводит, это чуток бессмысленно. Есть более мощные атаки на RSA.

Date: 2013-08-15 01:47 pm (UTC)
From: [identity profile] karpion.livejournal.com
Станет легче, но не намного.

Date: 2013-08-15 11:28 am (UTC)
From: [identity profile] wordsmsdnua.livejournal.com
с чего бы?

Date: 2013-08-15 11:44 am (UTC)
From: [identity profile] pyka-npu3paka.livejournal.com
Равенство классов P и NP накроет шифры гораздо быстрее;)

Date: 2013-08-15 02:47 pm (UTC)
From: [identity profile] salvator-vals.livejournal.com
Необязательно. Можно представить себе ситуацию, когда полиномиальный алгоритм решающий задачи из NP существует, но степень полинома очень высока и такой алгоритм на практике работает хуже прямого перебора. Возможна и другая ситуация P !=NP, а все шифры все равно ломаются.

Date: 2013-08-15 03:00 pm (UTC)
From: [identity profile] pyka-npu3paka.livejournal.com
вроде любой перебор по времени занимает больше чем решение по алгоритму, не?)

Date: 2013-08-15 03:16 pm (UTC)
From: [identity profile] salvator-vals.livejournal.com
Зависит от алгоритма. Вдруг кто-нибудь откроет полиномиальный алгоритм с временем работы n^100^100^100. Теоретически он эффективнее прямого перебора, но для всех практических значений n перебор гораздо быстрее.

Date: 2013-08-15 09:50 am (UTC)
From: [identity profile] blackyblack.livejournal.com
Чем вам перебор множителей не формула определения простого числа? Тут вопрос не в существовании формулы или алгоритма, а в сложности этого алгоритма. Сложность решета Эратосфена: O(n log log n). А суть вашего вопроса, по всей видимости, в том, что было бы, если бы придумали алгоритм с константной сложностью.

Date: 2013-08-15 10:53 am (UTC)
From: [identity profile] salvator-vals.livejournal.com
Формулы для простых чисел давно известны. Даже в википедии в статье "простое число" приведен многочлен множество положительных значений которого, при неотрицательных значениях параметров совпадает с множеством простых чисел. И вообще вычисления "по формуле" ничем принципиально не отличаются от вычислений "по алгоритму". Не так давно был открыт тест на простоту, с полиномиальной сложностью от длины числа. То-есть он требует C(log n)^k операций. Это несомненно красивый результат, но мир он пока никак не изменил.

Date: 2013-08-15 11:51 am (UTC)
From: [identity profile] stairian.livejournal.com
Это не совсем та формула, которую имел в виду автор. В той формуле просто получается множество всех простых чисел. Что вообще говоря представляет не особо большой интерес.

Более того, в виде некой большой формулы можно представить вообще любое множество, которое получается по некоторому алгоритму (в той же статье про простые числа в википедии есть ссылка на это).

Date: 2013-08-15 02:41 pm (UTC)
From: [identity profile] salvator-vals.livejournal.com
Есть очень простая и абсолютно бесполезная формула. А именно, как доказали в 1947 году, существует число Х, такое что [Х^(3^n)] является простым числом. Квадратные скобки здесь означают целую часть числа.

Date: 2013-08-15 10:39 am (UTC)
From: [identity profile] daxi.livejournal.com
что изменилось в мире от того, что доказали теорему ферма? вот примерно такой же силы потрясение ждет мир, когда разрешат проблему гольдбаха или найдут формулу простых чисел :)

Date: 2013-08-15 01:50 pm (UTC)
From: [identity profile] karpion.livejournal.com
Простые числа более юзабельны - например, в шифровании.

Date: 2013-08-15 07:31 pm (UTC)
From: [identity profile] daxi.livejournal.com
вы правда думаете, что мир перевернется, если методы шифрования станут более эффективными?

Date: 2013-08-15 10:20 pm (UTC)
From: [identity profile] karpion.livejournal.com
Мир вряд ли перевернётся, но может пошатнуться, если существующие методы шифрования станут МЕНЕЕ эффективными.

Date: 2013-08-16 05:57 pm (UTC)
From: [identity profile] daxi.livejournal.com
это только поначалу :)

Date: 2013-08-16 09:30 pm (UTC)
From: [identity profile] karpion.livejournal.com
Ну, это смотря насколько легко станет вскрывать существующие шифры и насколько быстро удастся придумать им надёжную замену. К тому же придётся заново подписывать множество документов, а часть авторов захочет откреститься от подписанных ими документов. Ну и будет подорвано доверие широкой публики к математическим методам.

Date: 2013-08-17 09:27 am (UTC)
From: [identity profile] daxi.livejournal.com
значит, когда я писала первый комментарий в ветке, настрой у меня был весьма оптимистичный :)

Date: 2013-08-15 02:36 pm (UTC)
From: [identity profile] salvator-vals.livejournal.com
В этом году, судя по всему, доказали тернарную гипотезу Гольдбаха. То-есть любое нечетное число >6 является суммой трех простых. Это тот самый вопрос, который Гольдбах задал Эйлеру.

Date: 2013-08-15 07:32 pm (UTC)
From: [identity profile] daxi.livejournal.com
к сожалению, не слежу за новостми математики :) разве теорему гольдбаха не доказывали уже раз этак 10, а то и 11? :)

Date: 2013-08-15 07:43 pm (UTC)
From: [identity profile] salvator-vals.livejournal.com
Статью опубликовал вполне серьезный математик. И доказательство разумной длины, кажется 100 с чем-то страниц. Конечно вероятность ошибок есть всегда. Чем дело кончилось не знаю, я тоже за новостями не слежу.

Date: 2013-08-15 09:01 pm (UTC)
From: [identity profile] daxi.livejournal.com
не, трушная - это бинарная, а тернарная - для неудачников :)

Date: 2013-08-20 01:00 pm (UTC)
From: [identity profile] qolorado.livejournal.com
Помнится, с т. Ферма тема оказалась в том, что она вышла частным случаем чего-то на многабукафф, причем настолько, что и понять-то формулировку проблемы без магистерской степени не получится :)

Date: 2013-08-15 11:48 am (UTC)
From: [identity profile] pyka-npu3paka.livejournal.com
а между тем формула алгоритм для расчета всех простых чисел на любом заданном интервале есть и гугл вам его покажет=)

Date: 2013-08-15 12:49 pm (UTC)
From: [identity profile] eterevsky.livejournal.com
Сейчас есть очень эффективные алгоритмы как для генерации простых чистел, так и для проверки числа на простоту. Именно благодаря тому, что мы можем за считаные секунды на обычном компьютере проверить на простоту число в сотни цифр, существуют некоторые распространённые алгоритмы шифрования.

С точностью вычислить n-е простое число, не вычисляя предыдущие простые числа сейчас действительно невозможно. В то же время его можно оценить: n-е простое число находится в районе n*ln(n). Эту оценку можно сделать гораздо более точной. Если докажут гипотезу Римана (http://ru.wikipedia.org/wiki/%D0%93%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7%D0%B0_%D0%A0%D0%B8%D0%BC%D0%B0%D0%BD%D0%B0), то оценки будут ещё точнее.

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

Date: 2013-08-19 06:31 am (UTC)
From: [identity profile] igor-eta.livejournal.com
ВЫ бы тогда спросили


"Как изменился бы мир если бы НЕ вывели формулу безошибочного стопроцентного нахождения простых чисел? Типа f(1) = 2, f(2) =3, f(10) = 29... f(n) = Pn"
Edited Date: 2013-08-19 07:12 am (UTC)

Date: 2013-08-20 12:57 pm (UTC)
From: [identity profile] qolorado.livejournal.com
Ну тут явно имеется в виду не просто формула, а дешевая. Желательно, O(C)...