Message boards :
News :
Форум
Message board moderation
Previous · 1 · 2 · 3 · 4 · 5 · 6 . . . 21 · Next
Author | Message |
---|---|
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Пока алгоритм поиска решений от симметричных ДЛК находится в разработке, расскажу о решениях, присланных вчера помощником. У него работает одна ветвь этого алгоритма, ещё одна работает у меня. Сначала дам определение симметричных ДЛК: симметричными ДЛК 10-го порядка мы называем такие ДЛК, в которых суммы любых двух чисел (в строках), симметрично расположенных относительно вертикальной оси симметрии квадрата, равны 9. Пример 0 1 2 3 4 5 6 7 8 9 1 2 0 4 3 6 5 9 7 8 2 0 1 5 6 3 4 8 9 7 3 4 7 8 0 9 1 2 5 6 4 6 8 2 9 0 7 1 3 5 8 5 3 0 2 7 9 6 4 1 7 8 9 6 5 4 3 0 1 2 6 7 4 9 1 8 0 5 2 3 9 3 5 1 7 2 8 4 6 0 5 9 6 7 8 1 2 3 0 4 Это самый первый (минимальный) симметричный ДЛК, найденный генератором Harry White. С этого ДЛК мы хотим начать поиск в новом алгоритме, хотя в экспериментах с такими ДЛК уже найдено в моём ручном проекте (мной и помощниками) 1610 КФ ОДЛК, не считая последних решений помощника. Мы хотим выполнять проверку в лексикографическом порядке и только тех симметричных ДЛК, которые являются КФ. Надеюсь, что так мы проверим все симметричные ДЛК, являющиеся КФ. Количество нормализованных симметричных ДЛК 10-го порядка можно посмотреть в последовательности OEIS Number of symmetric diagonal Latin squares of order 2n with constant first string Если учесть изоморфизм, КФ будет гораздо меньше данного количества, как минимум в 7680 раз (если для каждого симметричного ДЛК количество уникальных изоморфов равно 7680; не уверена, что это именно так). А теперь о решениях, присланных помощником. От всех решений получила 55 КФ ОДЛК, БД приняла только 40 КФ ОДЛК (это уникальные) Вторичная обработка дала ещё 52 уникальные КФ ОДЛК. Как уже отмечала выше, решения, полученные от симметричных ДЛК, очень хорошо клонируются при вторичной обработке, что и видим в примере с решениями помощника. Покажу две уникальные четвёрки, имеющиеся в этой порции решений: 0 1 2 3 4 5 6 7 8 9 7 6 9 8 2 1 4 0 3 5 5 9 4 6 7 2 3 8 0 1 8 7 3 5 0 9 1 6 4 2 9 4 5 1 3 6 8 2 7 0 1 0 6 2 5 8 7 3 9 4 6 8 1 7 9 0 2 4 5 3 2 3 0 4 1 7 5 9 6 8 3 2 7 9 8 4 0 5 1 6 4 5 8 0 6 3 9 1 2 7 sq1 0 1 2 3 4 5 6 7 8 9 4 6 9 5 8 7 1 0 3 2 8 9 1 6 7 2 3 5 0 4 7 5 3 8 0 9 4 6 2 1 9 2 7 1 3 6 8 4 5 0 5 0 6 2 1 4 7 3 9 8 6 4 5 7 9 0 2 8 1 3 1 3 0 4 2 8 5 9 6 7 3 8 4 9 5 1 0 2 7 6 2 7 8 0 6 3 9 1 4 5 sq2 0 1 2 3 4 5 6 7 8 9 7 6 9 8 2 1 4 0 3 5 5 9 4 6 7 2 3 8 0 1 8 7 3 5 9 0 1 6 4 2 9 4 5 1 3 6 8 2 7 0 1 0 6 2 5 8 7 3 9 4 6 8 1 7 0 9 2 4 5 3 2 3 0 4 1 7 5 9 6 8 3 2 7 0 8 4 9 5 1 6 4 5 8 9 6 3 0 1 2 7 sq3 0 1 2 3 4 5 6 7 8 9 4 6 9 5 8 7 1 0 3 2 8 9 1 6 7 2 3 5 0 4 7 5 3 8 9 0 4 6 2 1 9 2 7 1 3 6 8 4 5 0 5 0 6 2 1 4 7 3 9 8 6 4 5 7 0 9 2 8 1 3 1 3 0 4 2 8 5 9 6 7 3 8 4 0 5 1 9 2 7 6 2 7 8 9 6 3 0 1 4 5 sq4 Square: 0 1 2 3 4 5 6 7 8 9 1 2 3 0 5 4 9 6 7 8 2 4 8 9 3 6 0 1 5 7 9 6 5 7 1 8 2 4 3 0 6 7 1 5 9 0 4 8 2 3 8 9 7 4 6 3 5 2 0 1 3 5 9 8 2 7 1 0 4 6 7 8 4 6 0 9 3 5 1 2 4 3 0 1 7 2 8 9 6 5 5 0 6 2 8 1 7 3 9 4 --------------------- 0 1 2 3 4 5 6 7 8 9 7 8 1 4 9 0 5 2 3 6 8 0 3 5 7 2 4 6 9 1 6 3 7 9 5 4 0 8 1 2 4 6 8 0 2 1 9 3 7 5 1 4 0 6 8 7 2 9 5 3 2 5 9 7 6 3 1 0 4 8 3 9 4 2 1 6 8 5 0 7 9 2 5 1 3 8 7 4 6 0 5 7 6 8 0 9 3 1 2 4 sq1 0 1 2 3 4 5 6 7 8 9 7 8 1 5 9 0 4 2 3 6 8 0 3 4 7 2 5 6 9 1 6 3 7 9 5 4 0 8 1 2 4 6 8 0 2 1 9 3 7 5 1 5 0 6 8 7 2 9 4 3 2 4 9 7 6 3 1 0 5 8 3 9 4 2 1 6 8 5 0 7 9 2 5 1 3 8 7 4 6 0 5 7 6 8 0 9 3 1 2 4 sq2 0 1 2 3 4 5 6 7 8 9 3 6 7 4 9 0 5 8 1 2 8 0 3 5 7 2 4 6 9 1 7 8 1 9 5 4 0 2 6 3 4 2 6 0 8 7 9 1 3 5 6 4 0 7 2 1 3 9 5 8 1 5 9 8 6 3 2 0 4 7 2 9 4 1 3 8 7 5 0 6 9 3 5 2 1 6 8 4 7 0 5 7 8 6 0 9 1 3 2 4 sq3 0 1 2 3 4 5 6 7 8 9 3 6 7 5 9 0 4 8 1 2 8 0 3 4 7 2 5 6 9 1 7 8 1 9 5 4 0 2 6 3 4 2 6 0 8 7 9 1 3 5 6 5 0 7 2 1 3 9 4 8 1 4 9 8 6 3 2 0 5 7 2 9 4 1 3 8 7 5 0 6 9 3 5 2 1 6 8 4 7 0 5 7 8 6 0 9 1 3 2 4 sq4 Square: 0 1 2 3 4 5 6 7 8 9 1 2 3 0 5 4 9 6 7 8 3 9 4 7 8 1 2 5 0 6 2 5 9 6 1 8 3 0 4 7 6 4 7 8 9 0 1 2 5 3 8 7 5 9 6 3 0 4 2 1 5 0 8 2 3 6 7 1 9 4 9 3 1 4 2 7 5 8 6 0 7 8 6 5 0 9 4 3 1 2 4 6 0 1 7 2 8 9 3 5 Основные ДЛК этих четвёрок (квадраты Square) являются симметричными ДЛК. Как уже отмечала, от симметричных ДЛК в основном находятся двушки, редко четвёрки, известны также шестёрки и восьмёрки. Двушки и четвёрки всегда имеют парные (феномен парности мне до сих пор не понятен). Парные решения находятся как раз при обработке решений программой Белышева Канонизатор ЛК по ДЛК. Выше показаны парные четвёрки. |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Выкладываю текущий вариант БД (по состоянию на 6 июля 2017 г.) https://progger.info/files/DB_99907.rar В архиве БД в двух форматах КФ ОДЛК и описание (файл readme.txt). БД содержит 99907 уникальных КФ ОДЛК. Более интересна БД во втором формате КФ ОДЛК (сильно нормализованные). В этой БД известны минимальная и максимальная КФ ОДЛК, то есть начало и конец. Это очень хорошо! Остаётся найти всё, что между :) В БД первого формата КФ ОДЛК (нормализованные) известна минимальная КФ ОДЛК, но не известна максимальная КФ ОДЛК. Ну, текущая максимальная КФ, конечно, имеется в БД, однако не доказано, что она является глобальным максимумом. Хотя БД первого формата КФ ОДЛК тоже имеет свои преимущества. Например, в ней удобнее работать с интервалами. PS. Решения, найденные в BOINC-проекте в июле, в БД пока не вошли. |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
И ещё порция решений получена сегодня от помощника. У него в работе два алгоритма: метод интервалов и поиск от симметричных ДЛК. Метод интервалов дал 4 уникальные однушки, 8 уникальных КФ. Выше я немного рассказывала о методе интервалов. Сейчас у нас этот метод применяется к КФ ОДЛК первого формата. От симметричных ДЛК при первичной обработке получено 25 уникальных КФ. Вторичная обработка дала 51 уникальную КФ. Всего от решений помощника получено 84 уникальные КФ! Ещё один пример того, насколько хорошо размножаются решения от симметричных ДЛК. Вместе с моими решениями мы вышли за 100000 КФ; имеем на данный момент в БД 100003 уникальные КФ ОДЛК. Решения за июль с BOINC-проекта пока не обрабатывала, опять буду обрабатывать сразу за весь месяц. Хотя... если будет запущен алгоритм поиска от симметричных ДЛК, то буду обрабатывать решения, полученные в этом алгоритме, сразу. Для этих решений очень важна вторичная обработка! |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Progger с огромным интересом слежу за запуском Приложения odlksym. Пока не комментирую, жду вашего сообщения :) |
Send message Joined: 15 May 17 Posts: 88 Credit: 1,971,970 RAC: 8 |
Progger Да, запуск несколько затянулся - из-за большого количества доступных заданий для odlk3 никто не забирал задания для odlksym. Что ещё более странно - я у себя поставил, что обрабатывать задания только для odlksym, но мне задания так и не пришли. Возможно есть какая-то проблема в раздаче заданий - я с этим пока разбираюсь. |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Поскольку поиск решений от симметричных ДЛК запущен, останавливаю свою ветвь данного эксперимента. Последнее найденное мной решение (двушка): 0 1 2 3 4 5 6 7 8 9 1 2 0 4 3 6 5 9 7 8 3 5 8 0 7 2 9 1 4 6 2 8 9 5 6 3 4 0 1 7 5 3 7 9 1 8 0 2 6 4 9 7 6 8 5 4 1 3 2 0 8 6 5 2 0 9 7 4 3 1 7 4 3 1 9 0 8 6 5 2 4 0 1 6 2 7 3 8 9 5 6 9 4 7 8 1 2 5 0 3 Последний проверенный симметричный ДЛК: 0 1 2 3 4 5 6 7 8 9 1 2 0 4 3 6 5 9 7 8 3 5 8 0 7 2 9 1 4 6 5 9 6 7 1 8 2 3 0 4 8 7 9 5 6 3 4 0 2 1 4 3 1 2 0 9 7 8 6 5 9 6 7 8 5 4 1 2 3 0 2 0 5 6 8 1 3 4 9 7 7 4 3 1 9 0 8 6 5 2 6 8 4 9 2 7 0 5 1 3 Я выполняла проверку симметричных ДЛК в лексикографическом порядке, в последнее время - только КФ. Использовала генератор симметричных ДЛК Harry White. В самом начале эксперимента использовала свой генератор, в программе были ошибки - неявные. Проверка шла, а ошибки были обнаружены позже. Перепроверять не стала пройденный интервал. Таким образом, в самом начале массива решений у меня есть пропущенные решения. Надеюсь, что эти пропуски будут ликвидированы в BOINC-проекте. Как уже отметила, всего в данном эксперименте было найдено мной и помощниками 1672 симметричные КФ ОДЛК. Вторая ветвь этого эксперимента работает пока у помощника. В понедельник, возможно, остановим и эту ветвь. В этой ветви работает другой генератор симметричных ДЛК Harry White - не в лексикографическом порядке. |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Сравним статистику по некоторым показателям в трёх BOINC-проектах, а также с предыдущими данными за 4 июля, см. сообщение https://boinc.progger.info/odlk/forum_thread.php?id=1&postid=113#113 1. BOINC-проект Gerasim@Home https://boincstats.com/ru/stats/64/project/detail Средняя производительность вычислений с плавающей точкой (операций в секунду) 3,707.0 GigaFLOPS / 3.707 TeraFLOPS Участников 3,379 Активных участников 603 (17.85%) Хостов 379 Активных хостов 256 (67.55%) Команд 289 Активные команды 83 (28.72%) 2. BOINC-проект Stop@home https://boincstats.com/ru/stats/173/project/detail Средняя производительность вычислений с плавающей точкой (операций в секунду) 1,631.6 GigaFLOPS / 1.632 TeraFLOPS Участников 433 Активных участников 218 (50.35%) Хостов 1,118 Активных хостов 667 (59.66%) Команд 91 Активные команды 59 (64.84%) 3. BOINC-проект odlk https://boincstats.com/ru/stats/177/project/detail Средняя производительность вычислений с плавающей точкой (операций в секунду) 1,905.0 GigaFLOPS / 1.905 TeraFLOPS Участников 211 Активных участников 183 (86.73%) Хостов 732 Активных хостов 620 (84.70%) Команд 46 Активные команды 44 (95.65%) |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
На данный момент в нашей БД имеется 100624 КФ ОДЛК (пока не включены решения от odlk3 за июль). Посчитала группы пар ОДЛК:
тройка - 1 четвёрки - 169 шестёрки - 6 восьмёрки - 2
|
Send message Joined: 18 May 17 Posts: 24 Credit: 167,678 RAC: 0 |
Кол-во известных КФ ОДЛК превысило 200 000 4 восьмерок 6 шестерок 218 четверок 3031 двушек остальные однушки |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Текущий вариант БД по состоянию на 3 августа 2017 г. (154595 уникальных КФ ОДЛК) выложен здесь https://progger.info/files/DB_154595.rar Как и раньше, в архиве три файла: 1. БД КФ ОДЛК первого формата – DB_154595_F1.txt; 2. БД КФ ОДЛК второго формата – DB_154595_F2.txt; 3. краткое описание БД – readme.txt За 2,5 месяца в проекте найдено более 100000 уникальных КФ ОДЛК. Отличный результат! My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Кол-во известных КФ ОДЛК превысило 200 000 Пожалуй, это требует пояснения. В альтернативной БД, составляемой на форуме boinc.ru, содержатся результаты, найденные 1. в ручном проекте citerra; 2. в BOINC-проекте Gerasim@Home см. http://forum.boinc.ru/default.aspx?g=posts&t=2008#post86752 3. в данном BOINC-проекте; 4. часть результатов из моего ручного проекта (насколько помню, 246 уникальных КФ ОДЛК). BOINC-проект Gerasim@Home действует с 14 марта с. г. (судя по стартовому сообщению указанной темы). Кстати, отмечу, что результаты этого BOINC-проекта закрыты. Судя по количеству КФ ОДЛК в альтернативной БД ("превысило 200000") за всё время в BOINC-проекте Gerasim@Home найдено примерно 50000 уникальных КФ ОДЛК. Из этих результатов в нашей БД содержится только 5865 уникальных КФ ОДЛК 2. BOINC project Gerasim@Home (5865 CF) Эти результаты были включены мной в БД в самом начале действия проекта Gerasim@Home, когда результаты выкладывались на форуме boinc.ru. Затем результаты BOINC-проекта Gerasim@Home были закрыты; их предлагалось брать из альтернативной БД, то есть результаты проекта из альтернативной БД надо выуживать (отфильтровывать). Это я не стала делать, естественно. А почему бы авторам BOINC-проекта Gerasim@Home не открыть результаты, получаемые в проекте? Если результаты нашего BOINC-проекта включаются в альтернативную БД, было бы совершенно справедливо открыть для нашей БД результаты BOINC-проекта Gerasim@Home. P.S. В приведённом перечне групп пар ОДЛК пропущена тройка - 1. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Вот, к примеру, последнее сообщение из указанной темы о поиске КФ ОДЛК в BOINC-проекте Gerasim@Home http://forum.boinc.ru/default.aspx?g=posts&m=88546#post88546 2-3 августа Где можно взять результаты BOINC-проекта Gerasim@Home, о которых здесь сообщается? Или хотя бы посмотреть на них :) Ссылку на результаты нельзя ли получить? Для сравнения - в нашем проекте за 1-2 августа найдено 3605 уникальных КФ ОДЛК (3597 КФ - в первичной обработке, 8 КФ - во вторичной обработке), 7 уникальных двушек. Все результаты открыты! Для всех! Смотрите здесь https://boinc.progger.info/odlk_results/odlk3/ My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
И за 3 августа обработала результаты (пока в алгоритме odlksym нет решений, обрабатываю решения алгоритма odlk3). Найдено 1494 уникальные КФ ОДЛК - первичная обработка, 4 уникальные двушки. Вторичная обработка не дала уникальных КФ ОДЛК. И в нашей БД 159696 уникальных КФ ОДЛК. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Память мне пока не изменяет :) Вот нашла сообщение citerra о включении в альтернативную БД 246 КФ ОДЛК из моего ручного проекта: И в заключение список https://yadi.sk/d/2qQ5B7dS3GYEgD http://forum.boinc.ru/default.aspx?g=posts&m=87193#post87193 Сообщалось это 2 апреля с. г. Всего в альтернативной БД было в тот момент 44940 КФ ОДЛК. BOINC-проект Gerasim@Home уже действовал. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Сравним статистику по некоторым показателям в трёх BOINC-проектах, а также с предыдущими данными за 21 июля, см. сообщение https://boinc.progger.info/odlk/forum_thread.php?id=1&postid=171#171 1. BOINC-проект Gerasim@Home https://boincstats.com/ru/stats/64/project/detail 21 июля Средняя производительность вычислений с плавающей точкой (операций в секунду) 3,707.0 GigaFLOPS / 3.707 TeraFLOPS Участников 3,379 Активных участников 603 (17.85%) Хостов 379 Активных хостов 256 (67.55%) Команд 289 Активные команды 83 (28.72%) сегодня Средняя производительность вычислений с плавающей точкой (операций в секунду) 3,705.0 GigaFLOPS / 3.705 TeraFLOPS Участников 3,433 Активных участников 597 (17.39%) Хостов 383 Активных хостов 245 (63.97%) Команд 290 Активные команды 80 (27.59%) 2. BOINC-проект Stop@home https://boincstats.com/ru/stats/173/project/detail 21 июля Средняя производительность вычислений с плавающей точкой (операций в секунду) 1,631.6 GigaFLOPS / 1.632 TeraFLOPS Участников 433 Активных участников 218 (50.35%) Хостов 1,118 Активных хостов 667 (59.66%) Команд 91 Активные команды 59 (64.84%) сегодня Средняя производительность вычислений с плавающей точкой (операций в секунду) 1,389.3 GigaFLOPS / 1.389 TeraFLOPS Участников 443 Активных участников 210 (47.40%) Хостов 953 Активных хостов 613 (64.32%) Команд 92 Активные команды 59 (64.13%) 3. BOINC-проект ODLK https://boincstats.com/ru/stats/177/project/detail 21 июля Средняя производительность вычислений с плавающей точкой (операций в секунду) 1,905.0 GigaFLOPS / 1.905 TeraFLOPS Участников 211 Активных участников 183 (86.73%) Хостов 732 Активных хостов 620 (84.70%) Команд 46 Активные команды 44 (95.65%) сегодня Средняя производительность вычислений с плавающей точкой (операций в секунду) 2,198.5 GigaFLOPS / 2.199 TeraFLOPS Участников 250 Активных участников 202 (80.80%) Хостов 801 Активных хостов 566 (70.66%) Команд 54 Активные команды 47 (87.04%) Для сравнения статистика результатов, найденных в проекте Gerasim@Home и в проекте ODLK за первые 11 дней августа 1. BOINC-проект Gerasim@Home 1 августа Найдено 647 новых. 2-3 августа Найдено 1553 новых. 4 августа Найдено 1005 новых. 5 августа Найдено 875 новых. 6 августа Найдено 765 новых. 7 августа Найдено 1141 новых. 8 августа Найдено 827 новых. 9 августа Найдено 812 новых. 10 августа Найдено 807 новых. 10 августа Найдено 627 новых. Последние результаты, видимо, за 11 августа. Опечатка. Статистика с форума boinc.ru, посты http://forum.boinc.ru/default.aspx?g=posts&m=88533#post88533 - http://forum.boinc.ru/default.aspx?g=posts&m=88642#post88642 2. BOINC-проект ODLK по алгоритму odlk3 1-2.08.17 3597 8 3.08.17 1494 0 4.08.17 1473 2 5.08.17 1717 8 6.08.17 (проект не действовал из-за сбоя) 7.08.17 2031 4 8.08.17 1484 8 9.08.17 1326 0 10.08.17 1237 2 (3 КФ не уникальные) 11.08.17 1624 2 (3 КФ не уникальные) по алгоритму odlksym (обрабатывались только уникальные решения) 8.08.17 2 2 10.08.17 14 11 11.08.17 31 12 Примечание: результаты в третьей колонке получены вторичной обработкой результатов, найденных в проекте. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Ещё немного статистики - активные участники в нашем BOINC-проекте https://boincstats.com/ru/stats/177/project/detail/user Уважаемые участники! Оставайтесь с нами. Мы вам рады. У нас очень много работы. Приглашайте к нам своих друзей, знакомых, коллег. Спасибо вам за участие. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Новости проекта Gerasim@Home Я обновил версию расчетного приложения и добавил ~100 тыс. WU'шек эксперимента e43, целью которого является попытка генерации исходных квадратов отталкиваясь от 67 канонических комбинаций (линеек) сильно нормализованных ДЛК. В ближайшее время будет анализироваться первая линейка (1032674598), дальше по мере необходимости будут добавлены WU'шки для других линеек. Цель данного эксперимента — посмотреть, насколько выход КФ ОДЛК будет зависеть от выбранной линейки. Итак, замечательная теория А. Белышева о СН ДЛК реализована ещё в одном BOINC-проекте. Напомню; в нашем BOINC-проекте находятся в проверке три линейки: №№ 62, 63, 65. Эти линейки хороши тем, что в них все СН ДЛК являются КФ. Пока эти линейки стабильно дают решения без снижения количества. В моём ручном проекте проверяются ещё 4 линейки (три линейки проверяю я и одну линейку - помощник). У меня в проверке линейки №№ 13, 14, 17, которые дают маленькие КФ ОДЛК - в начале БД. Помощник проверяет линейку №66, в этой линейке большие КФ - в конце БД. В линейке №66 тоже все СН ДЛК являются КФ. Логично предположить, что линейки со стопроцентным содержанием КФ (таких линеек по теории Белышева 9 штук) будут давать больше решений, нежели те линейки, в которых не все СН ДЛК являются КФ. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
27 апреля с. г. я выполнила мини-исследование о распределении решений по линейкам. В тот момент в БД моего ручного проекта было всего 44173 КФ ОДЛК, а наш BOINC-проект ещё не был запущен. Результаты мини-исследования опубликованы здесь http://mathhelpplanet.com/viewtopic.php?p=300412#p300412 Копирую результаты 1032674598 - 187 1032674895 - 698 1032675498 – 89 1032678945 - 457 1032678954 - 429 1032684957 - 1613 1032684975 - 418 1032685947 - 379 1032685974 - 744 1032687495 - 272 1032689475 - 445 1032689574 - 396 1034268957 - 369 1034268975 - 813 1034275698 - 19 1034275896 - 599 1034278956 - 748 1034278965 - 382 1034625897 - 530 1034628597 – 596 1034628957 - 736 1034682975 - 337 1034685927 - 626 1034687925 - 714 1034687952 - 359 1034728956 - 722 1034728965 - 344 1034785926 - 737 1034785962 - 715 1034875926 – 818 1034875962 - 683 1034895627 - 419 1034895672 - 445 1037685924 - 348 1037685942 - 323 1037892645 - 46 1037892654 - 77 1204635978 - 36 1204637958 - 526 1204678935 – 351 1204785936 - 753 1204785963 - 354 1204789365 - 941 1204789563 - 800 1204798536 - 810 1204798653 - 844 1230678954 - 901 1230679458 - 757 1234075968 - 381 1234078956 – 183 1234095678 - 84 1234608975 - 362 1234675908 - 288 1234689507 - 854 1237685904 - 697 1237695408 - 675 1032675894 - 1218 1034628975 - 1592 1034678925 - 1500 1034678952 – 1499 1034685972 - 1239 1034689527 - 1666 1034689572 - 1695 1034869527 - 801 1204678953 - 1514 1230675948 - 1478 1234698057 – 742 В первой колонке определяющая диагональ линейки (по порядку номеров линеек), во второй колонке – количество решений в данной линейке. Линейки №№ 62, 63, 65 были выбраны для BOINC-проекта не случайно, выбор основывался на приведённых в исследовании результатах. В линейке №66, которая сейчас проверяется в ручном проекте, тоже довольно большое количество решений – 1478. Ну, и оставшиеся 5 линеек со стопроцентным содержанием КФ (№№ 57 – 61) имеют тоже большие количества решений: 1032675894 - 1218 1034628975 - 1592 1034678925 - 1500 1034678952 – 1499 1034685972 – 1239 Всё подтверждает тезис о том, что линейки со стопроцентным содержанием КФ имеют шансы иметь больше решений, нежели другие линейки. Интересно бы повторить это исследование для текущей БД КФ ОДЛК. Progger планы на ближайшее будущее такие :) 1. Включить проверку шести оставшихся линеек со стопроцентным содержанием КФ; при этом линейку №66 интересно проверять назад, так как она даёт большие КФ ОДЛК в конце БД; это сейчас выполняется в ручном проекте. 2. Включить проверку четырёх линеек (№№ 13, 14, 17, 18), дающих маленькие КФ ОДЛК, которые выстраивают начало БД. Это я сейчас выполняю (до линейки №18 пока не добралась, три линейки проверяю). Ну, о далеко идущих планах пока не буду писать :) My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Нашему BOINC-проекту ODLK 3 месяца! За это время сделано немало. Реализованы два алгоритма: для СН ДЛК и для симметричных ДЛК. Успешно решена задача автоматической генерации заданий в обоих алгоритмах. Результаты постоянно записываются в файлы результатов; их можно всегда посмотреть, а также обработать и проанализировать (кто желает). Статистика результатов регулярно выкладывается на форуме проекта. Раз в месяц выкладывается текущий вариант БД. Созданы расчётные модули для нескольких систем (об этом подробно может рассказать Progger). На момент старта нашего BOINC-проекта в БД (ручного проекта) было 44642 уникальные КФ ОДЛК см. http://mathhelpplanet.com/viewtopic.php?p=303366#p303366 В данный момент в нашей БД содержится 182630 уникальных КФ ОДЛК. На долю продолжающего действовать ручного проекта приходится примерно 500 КФ ОДЛК (за последние 3 месяца). Таким образом, в BOINC-проекте ODLK найдено за 3 месяца 137488 уникальных КФ ОДЛК. Это отличный результат! Мы хотим и дальше активно развиваться. Может быть, добавим новый алгоритм. Желательно добавить в алгоритм odlk3 новые линейки, хотя бы ещё 3 штучки. Надо подумать об автоматической обработке результатов, особенно вторичной, ибо она занимает очень много времени при обработке вручную. Задача не только в том, чтобы найти новые КФ ОДЛК для нашей БД, но и (что более важно!), в том, чтобы анализировать полученные результаты. Я очень надеюсь, что главный теоретик проекта А. Белышев не дремлет. И мы можем увидеть ещё одну гениальную теорию о ДЛК 10-го порядка от А. Белышева. Дорогие наши участники! Пожалуйста, сообщите нам ваши вопросы, замечания, предложения. Всегда готовы их рассмотреть. Было предложение о значках. Я думаю, что это реализовать технически не сложно. Progger что скажете? А дизайн значка… кто готов разработать красивый дизайн? Пожалуйста, представьте на рассмотрение красивый значок :) Progger хорошо бы активировать опцию «Пользователь дня». Можно? У нас уже очень много замечательных пользователей! My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
Send message Joined: 6 Apr 17 Posts: 14245 Credit: 0 RAC: 0 |
Хочу представить тех, кто трудится в данном BOINC-проекте ODLK. Администратор и разработчик проекта - Progger (Россия) Теоретик и программист проекта - А. Белышев (Россия) Программист проекта - Harry White (Канада) Научный руководитель проекта - Natalia Makarova (Россия) А также наши уважаемые участники из 42 стран мира! Смотрите их здесь https://boinc.progger.info/odlk/top_users.php My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
©2024 (C) Progger