Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1 ... 10, 11, 12, 13, 14, 15  След.
 Re: Кортежи из простых чисел
Аватара пользователя
wrest в сообщении #1728192 писал(а):
Но для этого достаточно только первой (нулевой) константы, разве нет?

Ровно наоборот. То есть нулевой константы достаточно для определения по HL1 количества всех (и грязных и чистых) кортежей, то есть именно по вашей формулировке, которая чуть выше. А чтобы именно чистые посчитать как раз и приходится считать кучу констант и применять включения-исключения.

Проверьте сами, численно.

 Re: Кортежи из простых чисел
Yadryara в сообщении #1728198 писал(а):
А чтобы именно чистые посчитать как раз и приходится считать кучу констант и применять включения-исключения.

А... ну да, тут сходиться будет туго.

 Re: Кортежи из простых чисел
Да, я кажется понял зачем включения-исключения.
Но мне удивительно что оно вообще работает, чесговоря.

 Re: Кортежи из простых чисел
Аватара пользователя
В-о-о-о-т. Ну наконец-то. Надеюсь, теперь-то вы начали понимать чем интересны такие задачи.

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

Я посчитал что по HL1 ожидается 1139 кортежей в интервале — их оказалось 1147. Но проверка точности этого прогноза не была основной задачей того нашего с Демисом счёта. Основной задачей была проверка того, как на практике работает разбиение по частоте и какой эффект приносит.

Вот и уважаемый waxtep заинтересовался "кастрюлей" и кортежами, но, к сожалению, довольно быстро забросил. И Сantata, как понял, тоже заинтересовалась.

Здесь множество приёмов счёта можно применять, не только HL1...

 Re: Кортежи из простых чисел
Аватара пользователя
Кстати, сильные сложности со счётом констант возникают для весьма разреженных кортежей. А также для кортежей большого диаметра. Но эти сложности и делают эту задачу особенно интересной.

Однако обычные кортежи считаются довольно легко. Покажу на примере кортежа 11-168-10, так называемой центральной 11-ки. Паттерн [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168].

Программа Дмитрия, уложившись в 22 секунды, находит для этого паттерна все 24 константы. После чего можно, грубо говоря, считать любые интервалы. Например:

Код:
Интервал          МО Кортежей

0 — 31#                     0       0.04
0 — 37#                     1       0.67
0 — 41#                    13
0 — 43#                   244
0 — 47#                  5258
0 — 53#                129815
0 — 59#               3644583
0 — 61#             109539412
0 — 67#            3701268813
0 — 71#          136286395937

Для двух строчек справа указал матожидание количества кортежей поточнее.

Например, для отрезка 0 — 71# ожидается 136 миллиардов таких кортежей, что в миллион раз больше чем для интервала 0 — 53#. Кому-то это удивительно и не верится? Довольно логично вроде: интервал 0 — 71# в 17 миллионов раз больше чем 0 — 53#, а кортежей больше в миллион раз. Плотность кортежей-то падает.

Mожно разбить всю Базу данных Томаша Брада по этим кортежам на интервалы по 10 квадриллионов в каждом, посчитать прогноз по ним и как раз увидеть падение плотности:

Код:
Интервал e16      МО Кортежей

     0 —   1          197.200
     1 —   2          144.459
     2 —   3          129.801
     3 —   4          121.163
     4 —   5          115.143
     5 —   6          110.575
     6 —   5          106.924
     7 —   8          103.901
     8 —   9          101.332
     9 —  10           99.107
...
   210 — 211           54.129
   211 — 212           54.080    49
   212 — 213           54.031    49
   213 — 214           53.983    48
   214 — 215           53.934    49
   215 — 216           53.887    47
   216 — 217           53.839    48
   217 — 218           53.792    47
...
  3255 — 3259          32.380
  3256 — 3259          32.378     2
  3257 — 3259          32.376     2
  3258 — 3259          32.374     2

Справа указал сбавку в тысячных. Как видим, в начале Базы данных ожидается трёхзначные количества кортежей на таких отрезках, а в конце среднее ожидаемое количество уже ниже 54-х.

Посчитал и для конца интервала 0 — 53#. Уже менее 33-х кортежей ожидается на каждый такой интервал. И сбавка стала крошечной, то есть здесь уже почти плато.

 Re: Кортежи из простых чисел
Yadryara в сообщении #1728238 писал(а):
для весьма разреженных кортежей.

Что значит "разреженный" и "весьма разреженный"?

-- добавлено через 3 минуты --

Yadryara в сообщении #1728238 писал(а):
Посчитал и для конца интервала 0 — 53#.

Кто значит "интервал 0 — 53#" и что значит "конец интервала 0 — 53#"?

-- добавлено через 1 минуту --

Yadryara в сообщении #1728238 писал(а):
Базу данных Томаша Брада

Цитата:
Быстрый ответ Алисы AI

Содержимое ответа
Не удалось найти информацию о базе данных Томаша Брада.

Что такое база данных Томаша Брада?

 Re: Кортежи из простых чисел
Аватара пользователя
wrest в сообщении #1728239 писал(а):
Что значит "разреженный" и "весьма разреженный"?

Ну вот как раз [0, 210] и [0, 210, 420] — весьма разреженные кортежи. Ибо средний гэп — 210. А вот кортеж 11-168, довольно таки плотный для симметричного: средний гэп всего лишь 16.8, то бишь в 12.5 раз меньше.

wrest в сообщении #1728239 писал(а):
Кто значит "интервал 0 — 53#" и что значит "конец интервала 0 — 53#"?

Честно говоря не ожидал такого вопроса. 53# — праймориал 53, то бишь произведение всех простых до 53-х включительно. Численно равен примерно 3.259e19.

Cоответственно, конец — это числа вблизи этого числа. Я взял 3.255e19 — 3.259e19. Кстати, поправка, ибо концовки забыл исправить:

Код:
Интервал e16      МО Кортежей

  3255 — 3256          32.380
  3256 — 3257          32.378     2
  3257 — 3258          32.376     2
  3258 — 3259          32.374     2

wrest в сообщении #1728239 писал(а):
Что такое база данных Томаша Брада?

Довольно большая База именно симметричных кортежей из последовательных простых чисел. И, вроде бы, не только они там есть.

The TBEG BOINC project maintains the database

https://boinc.tbrada.eu/spt/explore.php

 Re: Кортежи из простых чисел
Yadryara в сообщении #1728241 писал(а):
Ну вот как раз [0, 210] и [0, 210, 420] — весьма разреженные кортежи. Ибо средний гэп — 210. А вот кортеж 11-168, довольно таки плотный для симметричного: средний гэп всего лишь 16.8, то бишь в 12.5 раз меньше.

То есть "плотный" - средний гэп меньше 20, разреженный -- больше 100 примерно так? Именно по среднему гэпу а не по минимальному/максимальному?

-- добавлено через 2 минуты --

Yadryara
А можете дать какую-то табличку "истинных" значений по текущим вычислениям количества кортежей, типа
Код:
Кортеж     Диапазон до     Количество
[0,210]      1e40               100500


Для проверок программ.

 Re: Кортежи из простых чисел
Аватара пользователя
wrest в сообщении #1728243 писал(а):
То есть "плотный" - средний гэп меньше 20, разреженный -- больше 100 примерно так? Именно по среднему гэпу а не по минимальному/максимальному?

Можно и так. Мы раньше в основном искали самые плотные из симметричных. Например для симметричных 11-к минимальный диаметр — 132, для симметричных 19-к — как раз 252.

wrest в сообщении #1728243 писал(а):
Именно по среднему гэпу а не по минимальному/максимальному?

То-то и оно, что надо и так и так смотреть. Если например гэп будет равен 1000, то даже если все остальные гэпы будут очень маленькими — понятно же что и с таким кортежем будут трудности. Чем меньше чётных свободных мест внутри паттерна, тем лучше.

wrest в сообщении #1728243 писал(а):
А можете дать какую-то табличку "истинных" значений по текущим вычислениям количества кортежей,

Ну я почти не считал целиком интервалы. Помню что от нуля до миллиарда 48 таких кортежей.

Код:
Кортеж [0,210]

Диапазон от 0 до 10^    Кортежей

                   8           2
                   9          48

Могу и ещё посчитать, программа-то совсем простая есть.

 Re: Кортежи из простых чисел
Аватара пользователя
wrest
Ну вот, например такой однострочник

w=n=0; sta = 1e9; forprime(p=sta, sta + 9e9, if(p-w==210, n++); w=p; ); n

меньше чем за час посчитал:

Код:
Паттерн [0, 210]

Диапазон от 0 до 10^    Кортежей

                   8           2
                   9          48
                  10        1531
                  11       41968

 Re: Кортежи из простых чисел
Yadryara в сообщении #1728238 писал(а):
И сбавка стала крошечной, то есть здесь уже почти плато.
Нет там плато, просто измерительный интервал стал сильно меньше величины чисел и разумеется логарифмы (даже в степени) левого и правого конца практически равны друг другу. Но это не плато - если измерительный интервал брать в процентах от основного, то снижение будет активно продолжаться.
Полная аналогия с простыми - тоже плотность падает, но для каждого фиксированного интервала всё медленнее и медленнее, однако ни о каком плато речи не идёт.
Или даже аналогия с $y=1/x$ - тоже "сбавка" для любого фиксированного интервала падает, но никакого плато нет и в помине.

 Re: Кортежи из простых чисел
Так плотность кортежей по идее должна себя вести как и плотность простых чисел - всё время падать (от первого кортежа) с небольшими флуктуациями.

-- добавлено через 2 минуты --

Yadryara в сообщении #1728248 писал(а):
меньше чем за час посчитал:

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

 Re: Кортежи из простых чисел
Аватара пользователя
Dmitriy40 в сообщении #1728251 писал(а):
Нет там плато, просто измерительный интервал стал сильно меньше величины чисел и разумеется логарифмы (даже в степени) левого и правого конца практически равны друг другу.

Я не знаю кому вы это объясняете, я же внятно написал и сейчас подчеркну:

Yadryara в сообщении #1728238 писал(а):
И сбавка стала крошечной, то есть здесь уже почти плато.

Если непонятно (кому-то, хотя вряд ли) почти плато — это очень маленький угол наклона кривой.

wrest в сообщении #1728252 писал(а):
Спасибо я просто думал про диапазоны побольше,

Так я же показал (в теме про быстрые программы) как этот однострочник модернизировать, чтобы считать повыше. И посчитал и сошлось.

 Re: Кортежи из простых чисел
Yadryara в сообщении #1728253 писал(а):
Так я же показал (в теме про быстрые программы)

Ну нет так так нет, да и не надо пока, спасибо.

 Re: Кортежи из простых чисел
Аватара пользователя
Что "нет так так нет"? Вот я считал совсем недавно:

Yadryara в сообщении #1727908 писал(а):
Увеличил интервал в 10 раз, до 100 миллионов:

Код:
{sn=0;for(i=0,99, w=n=0; sta = (i/100+0.0035)*1.92276e21; forprime(p=sta, sta + 1e8, if(p-w==210, n++); w=p; ); sn+=n; print(i, "   ", sn\10))}

19391

Ага! Попался голубчик! Напомню что средняя плотность, поcчитанная по прогнозу по HL1, с учётом Монте-Карло wresta была 19395 кортежей на миллиард.

Ну теперь посчитаю так же интервал 0 — 61#.

И посчитал. То есть и 0 — 59# посчитал, и 0 — 61#. Говорите где вам надо посчитать, берём на вооружение этот метод и считаем.

wrest в сообщении #1728252 писал(а):
Так плотность кортежей по идее должна себя вести как и плотность простых чисел - всё время падать (от первого кортежа) с небольшими флуктуациями.

Всё время падать?? От первого кортежа??

Для каких кортежей? Вы разве не видите, что для [0, 210] это не так??

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

 [ Сообщений: 214 ]  На страницу Пред.  1 ... 10, 11, 12, 13, 14, 15  След.


Соглашение о конфиденциальности | Общие правила

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group