Добрый день!

У меня есть значимое решение.
Покажу его на иллюстрации



Это максимальная КФ ОДЛК, она принадлежит линейке №66.
Я начала поиск этой КФ от максимальной КФ (которая не имеет ОДЛК), найденной Harry White, двигаясь назад (по убыванию, в лексикографическом порядке).

Максимальная КФ ОДЛК даёт одиночную ортогональную пару:

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

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

Теперь в составляемой БД КФ ОДЛК есть минимальная и максимальная КФ ОДЛК. Это хорошо. Есть и довольно много других объектов БД, которые расположены в строгом (лексикографическом) порядке. Задача составления БД упрощается.

Я продолжаю поиск КФ ОДЛК, предшествующих максимальной КФ ОДЛК.
Пусть в БД всего w КФ ОДЛК. Тогда показанная выше КФ будет КФ #w.
Уже нашлась КФ ОДЛК #(w-1):

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

Эта КФ ОДЛК тоже даёт одиночную ортогональную пару:

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

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

Продолжаю также и поиск КФ ОДЛК в самом начале БД, их найдено уже 21. Как уже сообщалось, эти КФ ОДЛК находятся в линейке №13.

Progger
пока кратко: хочу предложить добавить в ваш BOINC-проект новый алгоритм (новое Приложение).
Собственно, мы это уже обсуждали, и я вам выслала все необходимые программы (за исключением одной - канонизация ДЛК).

Недавно я полностью оптимизировала данный алгоритм (поиск от симметричных ДЛК); подробности в сообщении
http://mathhelpplanet.com/viewtopic.php?p=304740#p304740

Посмотрите, пожалуйста, ещё сообщение
http://mathhelpplanet.com/viewtopic.php?p=304865#p304865

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

Да, я занимался адаптацией этого приложения, только мне пришлось временно полностью переключится на другой проект, и я ещё не успел всё доделать. Вчера мне удалось разобраться с нестабильной работой сервера (пока всё хорошо работает), и я скоро вернусь к доработке этого приложения. Только в последние дни появилась новая проблема - у нас в Сибири довольно странное лето - то до 20 градусов еле дотягивает, то уходит за 30... При такой температуре мой ноутбук часто перегревается и уходит в ждущий режим, поэтому задания я генерирую в основном только ночью. Поэтому я хочу сначала доделать приложение, которое позволит значительно упростить генерацию для него заданий (генератор уже работает, нужно доделать клиентское приложение), а потом вернусь к проверке в лексикографическом порядке.

---

Хорошо.
Как будете готовы, пишите, вышлю вам программу Белышева (канонизация, или проверка на НТ).

Продолжаю также и поиск КФ ОДЛК в самом начале БД, их найдено уже 21. Как уже сообщалось, эти КФ ОДЛК находятся в линейке №13.

КФ ОДЛК №22 оказалась интересной: она даёт группу из двух ортогональных пар (двушку) в отличие от первых 21 КФ ОДЛК.

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

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

Square (CF #22):
 0 2 3 4 5 6 7 8 9 1
 2 1 4 5 3 7 8 9 0 6
 1 4 2 9 7 8 0 3 6 5
 8 7 5 3 0 9 4 6 1 2
 5 6 8 0 4 2 9 1 7 3
 9 3 1 7 6 5 2 0 4 8
 4 9 7 8 2 1 6 5 3 0
 3 8 9 6 1 0 5 7 2 4
 6 5 0 1 9 4 3 2 8 7
 7 0 6 2 8 3 1 4 5 9

Это первая порядковая двушка, то есть двушка №1.
Дальше пока нашлись КФ ОДЛК №№ 23-25, которые дают однушки.
Поиск продолжается.

Более подробное сообщение об этой двушке здесь
http://mathhelpplanet.com/viewtopic.php?p=304651#p304651

Интересны в этой двушке и ортогональные соквадраты sq1, sq2.
Смотрите иллюстрацию



На подобных перестановках элементов основан метод перестановок, который у меня реализован довольно примитивно.
Я не использовала такие сложные перестановки, как в приведённом примере. У меня перестановки простые: два элемента переставляются только в двух строках и в двух столбцах.
Можно попробовать реализовать метод для сложных перестановок элементов.

Даже моя примитивная реализация метода даёт отличные результаты.

Progger
кажется, теперь заданий хватает всем :)

Tasks ready to send 3481
Задания обрабатываются 62560

Как я понимаю, вы справились с проблемой генерации заданий.

Уже почти готово новое приложение - как заработает, заданий точно на всех хватит.

---

Продолжаю поиск КФ ОДЛК в начале и в конце БД.
Если образно рассказывать, в начале БД по линейке №13 у меня медленно ползёт черепашка :)
Ну, как бы то ни было, а 27 первых КФ ОДЛК черепашка нашла. Идёт поиск КФ ОДЛК №28.

В конце БД по линейке №66 рак пятится назад :)
Движение назад всегда затруднительно. Может быть, субъективное мнение.
Пока в конце БД нашлись всего три КФ ОДЛК. Вот они:

. . . . . . . . . . . 

КФ # (w-2)
0 9 8 7 6 4 5 2 3 1 
9 1 7 8 5 3 4 6 2 0 
7 8 2 4 0 1 9 3 5 6 
1 5 6 3 2 9 0 4 7 8 
5 7 0 2 4 6 8 1 9 3 
6 0 3 9 7 5 2 8 1 4 
4 3 1 5 8 7 6 9 0 2 
2 6 9 0 1 8 3 7 4 5 
3 4 5 6 9 2 1 0 8 7 
8 2 4 1 3 0 7 5 6 9

КФ # (w-1)
0 9 8 7 6 4 5 2 3 1 
9 1 7 8 5 3 4 6 2 0 
7 8 2 4 9 0 1 3 6 5 
4 2 6 3 8 9 0 1 5 7 
5 0 1 2 4 6 8 9 7 3 
6 3 4 0 7 5 9 8 1 2 
1 7 3 5 0 2 6 4 9 8 
3 5 9 6 1 8 2 7 0 4 
2 4 5 9 3 1 7 0 8 6 
8 6 0 1 2 7 3 5 4 9 

КФ # w
0 9 8 7 6 4 5 2 3 1 
9 1 7 8 5 3 4 6 2 0 
7 8 2 6 0 1 9 3 5 4 
5 2 6 3 1 7 0 4 9 8 
1 0 3 9 4 6 2 8 7 5 
2 3 4 1 7 5 8 9 0 6 
3 7 0 5 9 8 6 1 4 2 
4 5 9 2 8 0 1 7 6 3 
6 4 1 0 2 9 3 5 8 7 
8 6 5 4 3 2 7 0 1 9 

Напомню: w - количество всех КФ ОДЛК в БД.

Кстати, КФ ОДЛК №27 оказалась тоже интересной. Сама эта КФ даёт однушку, но при вторичной обработке однушка клонируется (то есть появляется ещё одна однушка), что довольно редко бывает с однушками (которые не self).

Статистика по проекту из сообщения citerra на форуме boinc.ru
http://forum.boinc.ru/default.aspx?g=posts&m=88245#post88245

611 1443 21156
612 476 21632
613 419 22051
614 1222 23273
615 693 23966
616 1136 25102
617 775 25877
618 849 26726
619 1028 27754
620 954 28708
621 1284 29992
622 1094 31086
623 1685 32771 - рекорд за сутки
624 1929 34700 - рекорд за сутки
625 2154 36854 - рекорд за сутки
626 3237 40091 - рекорд за сутки
…
В проекте найдено 40091 КФ ОДЛК,
из них 87 двушек

Проект действует чуть больше месяца (первое решение получено 19 мая).
Отличный результат!

P.S. Как я понимаю код статистики: первая колонка - дата, вторая колонка - количество КФ ОДЛК на эту дату, третья колонка - общее количество КФ ОДЛК в проекте.

Из сообщения citerra на форуме boinc.ru

628 3803 47390 - рекорд за сутки
7 новых двушек

Я тоже обработала результаты за 28 июня, опять только первичная обработка.
Несколько другой результат у меня получился: 3806 уникальных КФ, 8 двушек.

Две двушки получены непосредственно от КФ ОДЛК, найденных в проекте, покажу их:

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

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

Square:
 0 2 3 4 5 7 8 6 9 1
 4 1 0 6 9 3 5 8 2 7
 8 3 2 1 6 4 9 0 7 5
 5 7 6 3 0 9 4 2 1 8
 7 8 1 9 4 6 0 3 5 2
 9 6 8 0 7 5 2 1 3 4
 1 9 7 8 2 0 6 5 4 3
 2 4 9 5 1 8 3 7 0 6
 6 5 4 7 3 2 1 9 8 0
 3 0 5 2 8 1 7 4 6 9
---------------------

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

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

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

Основные ДЛК этих двушек (квадраты Square) – это как раз КФ ОДЛК, найденные в проекте.
Остальные 6 двушек получены рикошетом. Поясню, что это значит.
Сначала находим по программе проверки на ОДЛК все ОДЛК от КФ ОДЛК, найденных в проекте.
Затем проверяем все найденные ортогональные соквадраты на ОДЛК. Тут могут появиться новые, уникальные ортогональные соквадраты.
Этот процесс можно повторять несколько раз. Я повторяю 2-3 раза.

Вот так работает программа присоединения найденных новых КФ ОДЛК к БД (автор программы В. Чирков):

inp.txt
3806 квадратов.
out_53999.txt
53999 квадратов.
---Выход в out.txt
Уникальных 57805 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Во входном файле inp.txt 3806 КФ ОДЛК, полученных за 28 июня в проекте.
В файле out_53999.txt текущий вариант БД, составляемой в моём ручном проекте.
Программа проверяет новые КФ ОДЛК на наличие таких же КФ в БД; если нет таких КФ в БД, она их добавляет.
Очень удобная программка!
Ну вот, видим из протокола работы программы, что все 3806 КФ ОДЛК БД приняла. В итоге в БД стало 57805 уникальных КФ ОДЛК:

53999 + 3806 = 57805

Показала процесс присоединения новых КФ ОДЛК к БД, вдруг кто-то сам захочет попробовать обрабатывать результаты и добавлять их в БД.

P.S. Результат 3806 уникальных КФ ОДЛК в сутки впечатляет!
Спасибо всем за активное участие в проекте!
Проектная производительность - 5000 КФ ОДЛК в сутки.
Достигнем? :)

В таком случае надо писать, что за сутки (28 июня) найдено 3806 КФ ОДЛК, но 3 КФ ОДЛК не уникальные относительно текущего варианта БД.
Среди суточных решений все 3806 КФ ОДЛК уникальные.
Относительно варианта БД, составляемой в моём ручном проекте, тоже все 3806 КФ ОДЛК уникальные (что я показала выше).
Относительно всей БД - не знаю.
Вот обработаю все решения за июнь, тогда скажу.
Хочу обработать их скопом и только первичную обработку.
В связи с этим намерением ---
Progger
большая просьба: соберите, пожалуйста, все решения за июнь в один файл (как июнь закончится).
Можно это сделать?
Я бы и сама собрала, но... о причине, почему у меня это не получается, писала вам в личном письме.

Ок, соберу. Как доделаю новый алгоритм, буду дорабатывать БД и интерфейс, чтобы можно было более удобно работать с результатами.

---

Ок, соберу.

Спасибо!

Посмотрела статью в Википедии
Может, неправильно всё поняла :)
Сравниваю в трёх известных мне BOINC-проектах эти самые флопсы.

1. http://gerasim.boinc.ru/users/server_status.aspx
Floating point speed 1,481.62 GigaFLOPS
2. http://stop.inferia.ru/server_status.php
Current GigaFLOPS 1585.51
3. https://boinc.progger.info/odlk/server_status.php
Current GigaFLOPS 3208.56

Третий - это данный BOINC-проект. Здесь значение "Current GigaFLOPS" быстро увеличивается.

Progger
просветите, пожалуйста :)
О чём говорит это "Current GigaFLOPS"?
Производительность всех компьютеров в проекте?

Результаты за июнь: https://boinc.progger.info/odlk_results/2017-06.txt
Current GigaFLOPS теоретически должен показывать суммарную производительность всех хостов. На самом деле он показывает что-то другое или показывает не совсем правильно. Можно ещё смотреть на boincstats (stop, gerasim, odlk). Там, как мне кажется, статистика больше соответствует действительности.

---

Progger
большое спасибо за июньские результаты. Попробую обработать все сразу (только первичная обработка).

Посмотрела статистику по производительности. Да, там больше похоже на правду :)

Обработала решения за июнь (только первичная обработка).
Тут такой нюанс всплыл: из 22880 решений 12 оказались повторенными, то есть полностью совпадающими.
Конечно, это не критично.
От 22868 уникальных КФ ОДЛК нашла 45794 КФ ОДЛК, в том числе 96 двушек.
38 двушек получены непосредственно от КФ ОДЛК, найденных в проекте; остальные 58 - рикошетом.
БД, пополненная за июнь в моём ручном проекте, содержит на данный момент 54007 уникальных КФ ОДЛК.
Все 45794 КФ ОДЛК в БД добавлены, протокол работы программы присоединения:

inp.txt
45794 квадратов.
out_54007.txt
54007 квадратов.
---Выход в out.txt
Уникальных 99801 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Итак, в нашей БД сейчас содержится 99801 уникальных КФ ОДЛК.

Можно посчитать среднесуточное количество решений за июнь: 22868/30, а также среднесуточное количество всех полученных КФ ОДЛК: 45794/30.

И ещё раз о вторичной обработке результатов.

Тут существуют как минимум два способа (уже кратко говорила о них выше):
1. Обработка решений программой Белышева Канонизатор ЛК по ДЛК.
Эта обработка по сути новый алгоритм поиска решений по уже известным решениям.
Образно говоря, решения клонируются. Особенно часто это присходит с решениями, полученными от симметричных ДЛК.
Данная программа выполняется довольно медленно, к тому же, имеет очень неудобный порядок выполнения.
2. Обработка решений методом перестановки элементов.
Это тоже отдельный алгоритм поиска новых решений от уже известных. Тут работы непочатый край. Есть две реализации метода: моя и В. Чиркова. Обе реализации далеки от совершенства. И кроме того, в этих реализациях не задействованы более сложные перестановки элементов (о чём тоже говорила выше). В реализации В. Чиркова кроме перестановок элементов есть ещё перестановка строк и комбинация перестановок строк и перестановок элементов. Всё это работает! Конечно, не для всех решений, но когда обрабатывается большой массив решений, для каких-то решений что-то срабатывает. Но на такую обработку требуется много времени.

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

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

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

В общем, вторичный поиск решений по уже найденным решениям требует нормальной реализации. В настоящем виде это работает очень долго.

Можно ещё смотреть на boincstats (stop, gerasim, odlk). Там, как мне кажется, статистика больше соответствует действительности.

Сейчас скопировала по указанным ссылкам некоторые данные статистики в трёх BOINC-проектах.
Интересно сравнить, а также понаблюдать динамику в каждом проекте.
Ещё раз указываю ссылки (они есть в цитате), откуда копировала данные; можно посмотреть подробнее.

1. BOINC-проект Gerasim@Home
https://boincstats.com/ru/stats/64/project/detail
Средняя производительность вычислений с плавающей точкой (операций в секунду)
3,987.3 GigaFLOPS / 3.987 TeraFLOPS
Участников
3,350
Активных участников
625 (18.66%)
Хостов
398
Активных хостов
273 (68.59%)
Команд
288
Активные команды
85 (29.51%)

2. BOINC-проект Stop@home
https://boincstats.com/ru/stats/173/project/detail
Средняя производительность вычислений с плавающей точкой (операций в секунду)
1,823.0 GigaFLOPS / 1.823 TeraFLOPS
Участников
418
Активных участников
227 (54.31%)
Хостов
1,163
Активных хостов
773 (66.47%)
Команд
91
Активные команды
63 (69.23%)

3. BOINC-проект odlk
https://boincstats.com/ru/stats/177/project/detail
Средняя производительность вычислений с плавающей точкой (операций в секунду)
1,401.5 GigaFLOPS / 1.402 TeraFLOPS
Участников
184
Активных участников
169 (91.85%)
Хостов
652
Активных хостов
580 (88.96%)
Команд
39
Активные команды
38 (97.44%)

Через месяц можно будет снова скопировать и посмотреть динамику.

P.S. Проекты расположила в порядке их появления.
Проект Stop@home тоже молодой (запущен в феврале 2017 г.). Напомню, что в этом проекте решается моя давняя задача - поиск симметричных кортежей из последовательных простых чисел.