Demis
и всё-таки вопрос вам для размышлений (можете не писать ваши гипотезы).
Почему при конфигурации
10 циклов по 50000 КФ СН ДЛК, 4 потока: одно решение теряется, а при конфигурации
3 цикла по 300000 КФ СН ДЛК, 4 потока: решение не теряется???

Это всё для интервала №174.

Попробую ответить образно.
есть набор1 из цифр 1,2,3,4,5
Задача: найти 8 в этом наборе.
Результат: отрицательный.

А теперь изменим исходные данные:
есть набор2 из цифр 1,2,3,4,5,6,7,8,9,10
Задача: найти 8 в этом наборе.
Результат: положительный.

Тоже самое происходит и при нашем поиске, когда 50.000(набор1) и 200.000(набор2)
Попробуйте пересчитать все заново по 50.000.
Какой будет результат?

Попробую ответить образно.
есть набор1 из цифр 1,2,3,4,5
Задача: найти 8 в этом наборе.
Результат: отрицательный.

А теперь изменим исходные данные:
есть набор2 из цифр 1,2,3,4,5,6,7,8,9,10
Задача: найти 8 в этом наборе.
Результат: положительный.

Тоже самое происходит и при нашем поиске, когда 50.000(набор1) и 200.000(набор2)
Попробуйте пересчитать все заново по 50.000.
Какой будет результат?

Извините, мне надоело читать ваш бред.
Мне не нужны образные, бредовые ответы, а нужны конкретные ответы на конкретные вопросы.

Ещё раз специально для вас:
мы даём программе family_mar порции ДЛК для проверки.
И программе без разницы, дать ли эти порции по частям, или дать все эти же квадраты сразу одной порцией.
Результат будет одинаковый!
Я даю программе ВСЕ 800604 КВАДРАТА для проверки, но при изначальной конфигурации даю их за 10 циклов в первом выполнении скрипта и потом ещё в 7 циклах во втором выполнении скрипта.
При конфигурации в 3 цикла я даю ей те же 800604 КВАДРАТА для проверки, но скрипт выполняется один раз.
И результаты получаются в этих двух тестах разные.
А должны быть одинаковые!

Прошу вас больше не постить ваши бредовые объяснения.
Внятную причину потери решения вы не знаете. Это уже очевидно.
А бред читать совершенно не интересно!
На всякий случай, я скрываю для себя ваши сообщения.

Скачала новые результаты от walli из интервалов №№ 231 - 236, 238, 239, 241, 243.
В этих интервалах найдено 2586 КФ ОДЛК (сырые результаты).
Отлично!

Начала новую порцию решений - десятую.

Цитата

Да, пожалуйста, сделайте тест с одним циклом (!), задав на один цикл 800604 КФ СН ДЛК.

Это я просила Demis.
Но у него сейчас машина занята, поэтому он не может выполнить тест.
Пробую этот тест на удалённом компьютере (мой Ахиллес :)).
Интересно, что получится.
Потоков задала по-прежнему 4.

Тут очень интересно: генерируется ровно 800604 КФ СН ДЛК.
Всего один цикл.
Вот эти 800604 КФ СН ДЛК что нам дадут?
Посмотрим.

@Demis
I've just sent you a private message with the download link to my results in case you need them for review/verification. If you want me to double check intervals that have already been processed by someone, or if you need further information about my setup, just let me know. :)

@walli
I have finished rechecking your data from different angles. Everything is fine.

Итак, Ахиллес выполнил тест, показываю консоль



Как видим, найдено 6 квадратов!
Вот они

0 2 3 4 5 6 7 8 9 1
2 1 4 6 3 7 5 9 0 8
6 5 2 0 8 9 1 3 7 4
1 7 9 3 2 8 4 6 5 0
3 6 5 9 4 2 8 0 1 7
9 4 1 8 7 5 0 2 3 6
7 0 8 5 9 1 6 4 2 3
5 8 6 1 0 3 9 7 4 2
4 9 7 2 6 0 3 1 8 5
8 3 0 7 1 4 2 5 6 9

0 2 5 4 3 8 9 6 7 1
9 1 3 5 6 7 2 8 0 4
6 7 2 1 5 4 8 3 9 0
8 5 7 3 2 0 4 9 1 6
3 9 8 6 4 2 1 0 5 7
1 8 6 9 7 5 0 4 3 2
7 0 4 8 9 3 6 1 2 5
2 3 9 0 1 6 5 7 4 8
4 6 1 2 0 9 7 5 8 3
5 4 0 7 8 1 3 2 6 9

0 3 4 7 8 9 5 6 2 1
7 1 8 9 5 4 3 2 0 6
4 9 2 5 6 1 8 3 7 0
1 6 0 3 9 2 4 8 5 7
8 5 7 0 4 6 1 9 3 2
2 4 3 6 7 5 9 0 1 8
3 7 5 8 2 0 6 1 9 4
6 8 9 1 0 3 2 7 4 5
9 2 6 4 1 7 0 5 8 3
5 0 1 2 3 8 7 4 6 9

0 3 7 2 5 9 8 6 4 1
9 1 3 0 6 4 7 8 2 5
1 0 2 4 8 7 9 3 5 6
5 7 9 3 2 1 0 4 6 8
2 8 5 7 4 6 1 9 3 0
3 9 6 8 7 5 2 0 1 4
7 4 8 9 1 3 6 5 0 2
6 2 4 1 0 8 5 7 9 3
4 5 0 6 9 2 3 1 8 7
8 6 1 5 3 0 4 2 7 9

0 4 8 2 5 7 9 6 3 1
6 1 4 7 9 3 5 0 2 8
9 8 2 0 6 4 1 3 7 5
8 5 6 3 0 1 7 2 9 4
1 7 3 9 4 6 0 8 5 2
7 6 0 1 8 5 2 9 4 3
3 9 7 5 2 8 6 4 1 0
5 3 9 4 1 2 8 7 0 6
2 0 1 6 3 9 4 5 8 7
4 2 5 8 7 0 3 1 6 9

0 4 9 5 3 2 7 8 6 1
4 1 8 0 9 3 5 6 2 7
6 5 2 4 0 1 9 3 7 8
8 2 6 3 1 7 4 9 0 5
5 7 3 2 4 6 8 1 9 0
2 9 1 7 8 5 3 0 4 6
3 8 7 9 5 0 6 4 1 2
9 6 5 1 2 8 0 7 3 4
1 0 4 6 7 9 2 5 8 3
7 3 0 8 6 4 1 2 5 9

Потерян тот же самый квадрат, что и раньше

0 2 3 7 5 4 9 8 6 1
3 1 7 6 0 9 5 4 2 8
4 5 2 9 3 8 1 0 7 6
7 8 6 3 1 0 4 5 9 2
1 0 9 2 4 7 8 6 3 5
2 6 8 0 9 5 3 1 4 7
9 4 0 8 7 1 6 2 5 3
8 9 5 1 6 3 2 7 0 4
5 3 1 4 2 6 7 9 8 0
6 7 4 5 8 2 0 3 1 9

А теперь информация к размышлению (не для ответа!).

1. Тут уже нельзя сказать, что я дала программе family_mar меньше ДЛК, я дала ей ровно 800604 ДЛК!
Причём дала сразу в одной порции, ничего не делила на части.

2. Прежде процитирую из сообщения Demis

Вот смотрите когда у Вас 50000*10=500000, а у меня или walli 200000*5=1000000, то мы оба находим по 7-мь квадратов.
Потому что Ваш потерянный квадрат находится в оставшихся 500.000 от 1.000.000 - 500.000.
Причем, не смотря на множитель "5", реально этот квадрат лежит в 4-ой итерации (если по 200.000) между 600.000 и 800.000.
Если эти значения разделить на 50.000, то можно получить примерный диапазон итерации где найдется потерявшийся квадрат.

Нет! потерянный квадрат не лежит "в 4-ой итерации (если по 200.000) между 600.000 и 800.000" !!!
Потому что в этом случае он был бы найден в показанном только что тесте!
Но он не найден.

Осталось поразмыслить, что же происходит.
Повторюсь: поразмыслить надо молча, ничего здесь не говоря.

Ахиллес неплохо работает по поиску ОДЛК.
Не попробовать ли мне на нём продолжить эксперимент PADLS?
Заманчиво! :)
walli обещал проверить до интервала №250 включительно.

Сейчас посмотрю, что там у нас дальше.
Вот следующий десяток интервалов

251,252,1584987,1584987,2.70339
252,253,7031510,7031510,12.0583
253,254,39291451,39291451,67.8882
254,255,41593959,41593959,72.2322
255,256,81544818,81544818,147.033
256,257,17434759,17434759,33.2177
257,258,28090304,28090304,53.7434
258,259,13591644,13591644,27.4276
259,260,3060668,3060668,5.55002
260,261,30388325,30388325,53.7164

Теперь я буду проверять все интервалы подряд.
Ахиллес мощнее черепашки, он потянет.

Итак, конфигурацию выбираю такую: 20 циклов, 100000 КФ СН ДЛК на один цикл, 4 потока.
Для интервала №251 подойдёт, всё проверится за одно выполнение скрипта.

Запустила обработку интервала №251.
Жду результаты.

./kanonizator_dlk_1.04 | grep -v ":0"
Канонизатор ДЛК10

Загружена хеш-таблица
Время загрузки:         0 сек
Введено ДЛК:            7
Время загрузки:         0 сек
Найдено КФ:             7
Время поиска:           0 сек
КФ записаны в файл:     output.txt
Время записи:           0 сек

Распределение числа 7 по линейкам:
        Линейка_15:1
        Линейка_18:1
        Линейка_45:1
        Линейка_48:1
        Линейка_54:1
        Линейка_55:1
        Линейка_59:1

Общее время работы:     0 сек

Программа завершена . . .

We see only one square from the 15th ruler. All the rest arrive by ricochet.

https://boinc.progger.info/odlk/forum_thread.php?id=217&postid=7880
"2) КФ ОДЛК из линейки 15 могут быть найдены как ортогональные соквадраты к марьяжным КФ из других линеек.
Это я называю: решения, полученные рикошетом."

Ура!
Ахиллес уже справился с интервалом №251.
В интервале найдено 12 КФ ОДЛК (сырые результаты).
Добавила результаты в десятую порцию.

Переходим к интервалу №252

252,253,7031510,7031510,12.0583

Тэк-с, здесь конфигурацию возьму такую: 24 цикла, 300000 КФ СН ДЛК на один цикл, 4 потока.

Запустила!
Да, ещё Ахиллес у меня работает непрерывно.

Вот скопировала консоль у Ахиллеса

. . . . . . 
Run: family_mar input.txt output.txt
Find Marijazh DLS (except symmetrical) for family LS
Used config file: family_mar.conf
UseThreads:1
MaxThread:4
ShowWrittenOnScreen:1
BlockToContinueRun:0
Have LS: 300000
nb_threads: 4
written to file output.tmp is: 3 (count last DLK is: 15918229 )
Checked DLK: 85258126
Run Time (s): 9149.24
Real Run Time (s): 2287
Found Fancy DLS: 3
They are written to file output.txt
---------
Cycle run: 3
13.07.2022
20:53
run: generator_kf
Генератор КФ ДЛК10

Старт:

0 2 3 4 5 6 7 8 9 1
2 1 4 6 3 7 5 9 0 8
7 6 2 9 0 8 1 3 4 5
6 0 8 3 9 1 4 2 5 7
5 8 0 7 4 2 9 6 1 3
1 3 9 8 7 5 2 4 6 0
3 4 1 5 8 9 6 0 7 2
9 5 6 0 1 3 8 7 2 4
4 9 7 1 6 . . . 8 .
8 . . . . . . . . 9

Найдено КФ[15]: 300000 время поиска: 0.543 сек
Проверено 300000 СНДЛК
Время работы:   0.694 сек

Программа завершена . . .
Скопировано файлов:         1.

Run: family_mar input.txt output.txt
Find Marijazh DLS (except symmetrical) for family LS
Used config file: family_mar.conf
UseThreads:1
MaxThread:4
ShowWrittenOnScreen:1
BlockToContinueRun:0
Have LS: 300000
nb_threads: 4
written to file output.tmp is: 1 (count last DLK is: 1506009 )

Уже выполняется цикл 3.
Отлично!
Это уже 900000 КФ СН ДЛК, почти миллион.
При этом в первых двух циклах найдено по 3 КФ ОДЛК.

Конечно, техника в вычислениях имеет решающее значение.
Как говаривала мама: "И дурак знает, что воскресенье - праздник" (пословица).
А где-то ведь техники дофига простаивает!

@Demis
Thank you for reviewing my results and telling me that I didn't make any mistakes :). I added a few more test cases before I've read the latest comments on this forum, see the #174 subdirectory of my cloud storage. I understand that the larger the overhang of the interval (which is to be processed) is, the more results (incl. ricochet solutions) will be found (see e.g. result_2000000_001_16.txt).

@Natalia
I left out a few intervals (<= 10 millions) for your turtle, but no problem, I'm going to process them as well :).

@Natalia
I left out a few intervals (<= 10 millions) for your turtle, but no problem, I'm going to process them as well :).

Интервалы 214, 226 и 230 можете не обрабатывать, я их уже обработала.

Теперь Ахиллес обрабатывает интервалы №№ 251 - 260.
И далее всё свободно.

Господа!
Присоединяйтесь к нашему эксперименту!
Нас пока трое в этом эксперименте.
Нам нужна помощь техникой.

I understand that the larger the overhang of the interval (which is to be processed) is, the more results (incl. ricochet solutions) will be found (see e.g. result_2000000_001_16.txt).

walli
1. По идее нам не нужно никакое нависание интервала, нам требуется обработать точно то количество КФ СН ДЛК, которое содержится в обрабатываемом интервале.
Но мы, как правило, генерируем бОльшее количество КФ СН ДЛК.
При этом в одной конфигурации это незначительное превышение количества, а в другой конфигурации - довольно значительное.

Помните мою версию, высказанную выше?
Повторяю.

У меня есть предположение, почему возникают дополнительные результаты.
Это связано с многопоточностью.
Дело в том, что при работе нескольких потоков сигнал о том, что конечный квадрат интервала найден (а это происходит в одном из потоков), не успевает передаться всем работающим потокам.
Эти потоки некоторое время продолжают работать дальше и находят новые результаты уже следующие за найденным конечным квадратом.
У меня программа работает в 4 потока.
И после конечного квадрата никогда не следуют дополнительные квадраты.
Если потоков больше, то это иногда происходит.
Думаю, что у вас именно это произошло.

Все задействованные потоки не прекращают работу сразу же, как обнаружен конечный квадрат интервала.
Они продолжают работать.
Вот отсюда и появляются дополнительные решения.
Это не рикошетные решения! Они просто появляются из обработки лишних КФ СН ДЛК, которые мы сгенерировали сверх заданного интервала.

Далее: если сгенерировались лишние КФ СН ДЛК, то они должны быть из следующего интервала, то есть из интервала №175.
Я проверяла это потерянное решение по имеющейся БД эксперимента и не обнаружила его там. Это меня удивило.
Но! Сейчас я вспомнила, что интервал №175 пока не обработан!!
Вот и объяснение.

Надо будет посмотреть на результаты из интервала №175; думаю, что потерянный мной квадрат в интервале №174, там окажется.
Тогда всё будет полностью объяснено.

Посмотрите мой тест с одним циклом в конфигурации, когда за один цикл генерируется точно 800604 КФ СН ДЛК
https://boinc.progger.info/odlk/forum_thread.php?id=221&postid=9165

В этом случае найдено 6 решений!
Нет седьмого дополнительного решения.
Это очень понятное объяснение.
И это подтверждает высказанное мной ранее предположение.

@Demis
Thank you for reviewing my results and telling me that I didn't make any mistakes :). I added a few more test cases before I've read the latest comments on this forum, see the #174 subdirectory of my cloud storage. I understand that the larger the overhang of the interval (which is to be processed) is, the more results (incl. ricochet solutions) will be found (see e.g. result_2000000_001_16.txt).

All right.

I just started to process #173 and #175. Let's see if my results overlap with yours (which should happen then because I process #173 not just up to 11.350.633 but 12.000.000, so probably most if not all results from #174 should be found in my #173 result file).

And yes, I chose my values big enough so that I don't have to fiddle with partitioning of larger intervals (1.000.000 x 500 gives me some headroom). And using smaller values like 50.000 or 100.000 on my 24+ core CPUs also doesn't make much sense, this will cause too much overhead. Maybe 500.000 will bring a better balance (so that I won't waste nearly one full 1-million-cycle at worst), but I haven't tested that yet... I'll do that after the PrimeGrid challenge.

Time to get some sleep now, good night :).

Отличная новость!
Прибыли результаты от Mynx из интервалов №№ 162, 168.
В этих интервалах найдено 897 КФ ОДЛК (сырые результаты).
Добавила результаты в десятую порцию.

Mynx временно покидает эксперимент, у него длительная командировка.
Он работал в диапазоне интервалов 161 - 179.
На данный момент остались не обсчитаны интервалы
№№ 163 - 166,
№№ 171 - 173,
№№ 175 - 179.

Mynx
возвращайтесь скорее! :)

Посмотрела, как там мой Ахиллес :)
Трудится!
Уже считает 14-й цикл, больше половины интервала №252 посчитано (всего в этом интервале 24 цикла).
Замечательно!

Скачала результаты от walli из интервалов №№ 240, 242, 244, 245, 248.
В этих интервалах найдено 960 КФ ОДЛК (сырые результаты).
Добавила результаты в десятую порцию.

Спасибо!

А у меня Ахиллес обсчитал интервал №252.
Черепашке потребовалась бы неделя на этот интервал, а Ахиллес справился менее чем за сутки непрерывной работы.
Класс!
В интервале найдено 48 КФ ОДЛК (сырые результаты).
Добавила результаты в десятую порцию.

Запустила следующий интервал - №253.
Конфигурация: 79 циклов по 500000 КФ СН ДЛК на один цикл, 4 потока.
Довольно крупный интервал.

I'm going to close the gaps between #170 and #180.