Ну вот, выполнение пакетного файла закончилось

. . . . . 
91439
182891
275029
366514
458197
549876
642278
734306
826100
917325
Найдено КФ ЛК: 124975
Время работы : 56.316 сек

Для выхода нажмите любую клавишу . . .
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 124975


Найдено марьяжных ДЛК: 2 они записаны в файл output.txt
Время работы в сек   : 5429.53

Для выхода нажмите любую клавишу . . .

Время - чуть больше 1,5 часов.
Найдено два решения. Вынимаю их из файла output.txt

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

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

Ещё не проверила решения.

В каждой порции ЛК (одно выполнение пакетного файла) решения стабильно находятся, хотя и не очень много.
За рабочий день я выполняю пакетный файл раз 7 - 8, то есть обрабатываю 7 - 8 миллионов ассоциативных ЛК, обладающих симметрией (4,31,31). Это, разумеется, мизер. Но больше мой ПК не может обработать.

Итак, наглядно показала процесс выполнения индивидуального задания.
У кого Windows, можете попробовать.

Для получения своего индивидуального задания и ПО надо написать мне.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Показанные решения оказались двушками да ещё и уникальными для нашей БД!

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

Жду солидных групп пар ОДЛК - четвёрочек и выше. Двушек в этом эксперименте много.
Троек не жду, потому что тройки вообще среди "симметричных" решений большая редкость. Как я уже отмечала, из 58 троек, имеющихся на данный момент в нашей БД, только одна "симметричная" - тройка Белышева.

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

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Уважаемые наши участники!

Ещё раз предлагаю всем попробовать индивидуальное задание.
Demis уже запустил выполнение своего индивидульного задания.
Смотрите тему
https://boinc.progger.info/odlk/forum_thread.php?id=87

У Demis были проблемы с компиляцией исходных кодов под Юникс.
Он справился с этими проблемами.

Если у вас система Windows, не будет никаких проблем.
Все три программы, задействованные в данном эксперименте, сделаны для Windows.
Для выполнения задания вы получаете стартовый ЛК вашей ветви и все три исполняемые программы.
Всё замечательно работает в Windows. Выше я показала пример.

Если у вас многоядерный процессор, вы можете взять несколько заданий - ветвей. Каждую ветвь можно запустить на обработку отдельно, если процессор многоядерный.
Например, у меня только 2 ядра, и я могу свободно обрабатывать одновременно две ветви в данном эксперименте.

Попробуйте! Это же интересно.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Мы с Demis продолжаем эксперимент по поиску решений с симметрией (4,31,31).
Demis нашёл в этом эксперименте первую в нашей БД пятёрку (группу из пяти пар ОДЛК)

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

Найдено много и других "симметричных" решений, в частности, четвёрок.

В настоящее время данный эксперимент выполняется ещё и по схеме Белышева.
Это очень эффективная схема, имеющая перед моей схемой преимущество в том, что она не содержит изоморфных ЛК для проверки.
ПО этой схемы выложено Белышевым здесь
http://forum.boinc.ru/default.aspx?g=posts&m=91313#post91313

По этой ссылке вы найдёте программу генерации ЛК для проверки.
Программа проверки ЛК та же, что и в моей схеме - family_mar.exe (в моей схеме программа генерации ЛК другая).
Эта программа тоже принадлежит Белышеву и была выложена на форуме boinc.ru

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

От ручного проекта подарок в БД КФ ОДЛК в честь Дня Рождения проекта ODLK1

67879 unique CF ODLS
https://cloud.mail.ru/public/EAbb/fmt9Pg1RV

©2018 (C) Natalia Makarova & Demis & ice00
©2018 (C) Progger & Stefano Tognon (ice00)

Solutions found from May 1 to November 4, 2018
In the manual project worked:
Natalia Makarova
Demis
ice00

Только вчера я подарила часть БД ручного проекта в общую БД, это 67879 уникальных КФ ОДЛК.
Начала набирать ещё КФ ОДЛК в ручном проекте, причём сейчас я без помощников работаю.
На данный момент в БД ручного проекта прибыло 221 уникальных КФ ОДЛК, и стало 68100 КФ.

В эксперименте с псевдоассоциативными ДЛК сегодня найдена уникальная тройка

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

Это 76-ая тройка в нашей общей БД.
Эксперимент с псевдоассоциативнми ДЛК продолжается!

Мощно даёт решения новый эксперимент - мультисимметрия.
При этом найдены четыре однушки с оригинальными симметриями.
Всего в БД ручного проекта найдено 13586 "симметричных" решений

Определитель симметрий

Введено ЛК                 : 68100
Из них симметричных        : 13586

Найдено различных симметрий: 7
Время работы               : 4.633 сек

Список симметрий

(1,1,1)
(1,31,31)
(2,31,31)
(4,31,31)
(8,31,31)
(16,16,16)
(16,31,31)

Плюс ещё четыре оригинальные симметрии, которые здесь не выведены:

(8,42,42)+
(1,41,41)+
(1,42,42)+
(1,30,30)+

Такие решения (с кодами симметрии, имеющими плюс) программа Белышева "Определитель симметрий" не выводит, но она на них намекает :)
Только по намёкам я эти симметрии и увидела.
Как я понимаю, такие симметрии (коды которых имеют плюс) не являются "чистыми симметриями" по терминологии Белышева.

Вчера эксперимент с псевдоассоциативными ДЛК порадовал уникальной четвёрочкой

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

Эта четвёрка полновесная, даёт 5 уникальных КФ ОДЛК; симметриями не обладает, поэтому и полновесная.

439-ая четвёрка в нашей БД КФ ОДЛК.
Солидные группы пар ОДЛК (выше двушки) я продолжаю считать в общей БД - от BOINC-проектов ODLK и ODLK1 и от моего ручного проекта.

А есть ли новые четвёрки в BOINC-проекте ODLK1 за период с 1 сентября с. г., я не знаю, так как обработку результатов с BOINC-проектов прекратила.
Результаты в BOINC-проекте ODLK бегло проверяю за месяц (скриптом Белышева zamyk.bat); в этом проекте результатов мало и они быстро обрабатываются.
В проекте ODLK новых солидных групп пар ОДЛК не найдено за указанный период.
Вы можете сами посмотреть результаты в этом проекте.
Вы можете даже и обработать результаты с этого проекта скриптом Белышева zamyk.bat, о чём я писала тут
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=54

А это 440-ая четвёрка в нашей БД

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

Об этой четвёрке рассказано тут
https://boinc.progger.info/odlk/forum_thread.php?id=81&postid=2642#2642

Эксперимент с псевдоассоциативными ДЛК порадовал уникальной троечкой

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

Это 77-ая тройка в нашей БД.

Через месяц будет ровно год, как я начала эксперимент с псевдоассоциативными ДЛК на своём ПК.
Было сделано 4 различных генератора для псевдоассоциативных ДЛК.
Все псевдоассоциативные ДЛК от самого первого генератора полностью проверены не были.
Попадали с Demis в большие зоны изоморфизмов и пропускали эти зоны.
В следующих генераторах я старалась делать как можно меньше пропусков, но они всё равно были.
Сейчас работает четвёртый генератор, две ветви.

Уникальные решения продолжают идти в эксперименте! Это же почти год!!
Правда, солидные группы пар ОДЛК (выше двушки) встречаются сейчас редко, но всё-таки встречаются.
Однако и однушки с двушками в БД совсем не лишние.

Эксперимент продолжается!

Цитата

Представляю ещё одну интереснейшую конфигурацию, порождаемую найденной Demis в эксперименте с псевдоассоциативными ДЛК четвёркой



В этой группе 10 пар ОДЛК, среди них три четвёрки и три двушки, причём две четвёрки-близняшки.

Красивая конфигурация!
Сейчас посмотрела, как с ней расправился скрипт Белышева zamyk.bat. В два счёта расправился :)
Здесь хвост протокола работы скрипта.

. . . . . . 
=================================================
Канонизатор ЛК10

Введено ЛК   : 8
Найдено КФ ЛК: 8
Время работы : 0.031 сек

Поиск всех КФ марьяжных ДЛК для ЛК

Введено ЛК: 8

Проверено ДЛК           : 2668
Найдено КФ марьяжных ДЛК: 8
Время работы в сек      : 1.124

Найдено марьяжных КФ:
count[1] = 2
count[2] = 3
count[4] = 3
Всего: 8
Найдено соквадратов: 20
КФ соквадратов: 8

В конце протокола видим всю конфигурацию: две однушки, три двушки, три четвёрки, 8 уникальных ОДЛК, все они показаны на иллюстрации.
А ввела я в программу всего один ДЛК (квадрат F на иллюстрации)! И вот такую красивую конфигурацию он породил. И богатую - сразу три четвёрки!

Общими усилиями моего ручного проекта и BOINC-проектов ODLK и ODLK1 найдены следующие группы пар ОДЛК выше двушки:

тройка - 82
четвёрка - 442
пятёрка - 1
шестёрка - 9
семёрка - 1
восьмёрка -10
девятка - 0
десятка - 2

Все решения выложены в соответствующих темах о группах пар ОДЛК.

Интересная тенденция наблюдается: гораздо лучше находятся группы из чётного количества пар ОДЛК нежели группы из нечётного количества пар ОДЛК.
Например, троек всего найдено 82, тогда как четвёрок уже 442. Пятёрок и семёрок по одной штучке, а девятки нет совсем пока.
Очень долго тройка была известна всего одна (найдена Белышевым почти три года назад).
И только 9 сентября 2017 г. в BOINC-проекте ODLK была найдена вторая тройка.

Девятку очень жду, где она выпрыгнет - неизвестно. Но должна же быть!
Десятки вот уже найдены, хотя и не так давно, первая найдена мной в апреле с. г. в ручном проекте, вторая найдена Demis тоже в ручном проекте (15 октября с. г.).

И весьма интересный вопрос: существуют ли группы пар ОДЛК, состоящие из более 10 пар ОДЛК?
Имеется в виду, конечно, "чистая" группа пар ОДЛК, то есть один ДЛК и его ортогональные ДЛК.
Итак, существует ли одиннадцатка? Ну и так далее.

Здесь
https://boinc.progger.info/odlk/forum_thread.php?id=72&postid=2784#2784
сегодня выложила все наши восьмёрки вместе.

4 восьмёрки из 10 найдены в BOINC-проекте и 6 восьмёрок найдены в ручном проекте.
Ручной проект даёт намного больше групп пар ОДЛК выше двушки. Особенно это видно по тройкам и четвёркам.
И это притом, что мощности ручного проекта в тысячи раз меньше мощностей BOINC-проекта!

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

Мои поиски человека, могущего помочь в запуске новых экспериментов, не увенчались успехом.
Один участник проекта посоветовал мне обратиться к администратору BOINC-проекта yoyo@home.
Да-а-а... не глупо ли, имея два действующих BOINC-проекта, обращаться за помощью к администратору совсем другого проекта???
Наши администраторы совсем беспомощные?!
Не могут взять готовое ПО и интегрировать его в BOINC-проект?
Абсолютная нелепость!!!

Другой товарищ (уже в реале) посоветовал мне обратиться за помощью к фрилансерам. Даже вывел на сайт FL; зарегистрировалась я там и вывесила свой проект.
Ну, пообщалась с фрилансерами :) Любопытно!
Узнала цену запуска одного Приложения в BOINC-проекте. Цена не очень большая. И можно бы согласиться, но! Дама, с которой почти договорились, работает только по предоплате. Меня такой вариант не устроил.

Уважаемые участники проекта!

Ещё и ещё раз обращаюсь к вам за помощью.
Если у вас есть хоть какой-нибудь сервер, запустите ODLK2.
Пусть это будет проект новых экспериментов!

Экспериментов много, алгоритмы разработаны, ПО тоже.
Ну, осталось-то совсем немного!

PS. У Progger сервер слабенький, но вот работает же! Уже полтора года работает, пашет целину ДЛК :)

Если вы можете хоть чем-то мне помочь, пишите, пожалуйста, ЛС.

Вспоминаю...
Когда запустили проект ODLK1, многие кричали: "Зачем второй проект???!!!"
Говорили, что можно запускать в одном проекте много Приложений.
Да козе понятно, что можно.
Но хотела бы я спросить этих крикунов, как заставить, например, ice00 (администратора проекта ODLK1) запускать новые эксперименты???
Он вот писал мне, что новый сервер заказал для ODLK1. И в декабре должен его получить. И собирается его подключить к проекту ODLK1.
Это, конечно, хорошо. Но без развития проект не интересен! По крайней мере, мне.

Итак, мы с XAVER продолжаем эксперимент с псевдоассоциативными ДЛК, который кратко назван PADLS.
Пока больше никто не присоединился к автономному подпроекту.

XAVER уже обработал 220 WU (WU задаётся одной строкой из 8 чисел).
Последняя порция решений - строки 201-220 - дала 176 уникальных КФ ОДЛК.
Есть одно "симметричное" решение, с симметрией (8,31,31), это стандарт

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

Пока эксперимент PADLS продолжает давать уникальные решения; встречаются и группы пар ОДЛК выше двушки.
Хорошо помогает второй генератор, который я подключила к эксперименту недавно.

XAVER обрабатывает WU гораздо быстрее меня. Мой тихоход пыхтит-пыхтит :)
Но я выполняю параллельно ещё один эксперимент - мультисимметрия.

PS. Tomas Brada адаптировал эксперимент PADLS к BOINC платформе.
Однако запускать эксперимент негде.
К сожалению, администраторам BOINC-проектов ODLK и ODLK1 новые эксперименты совсем не нужны.

Напоминаю всем: для присоединения к автономному подпроекту напишите мне ЛС, я пришлю вам строки (WU).
Ссылку на скрипт для обработки WU повторю чуть позже.

Пожалуй, продублирую тестовое задание в эксперименте PADLS полностью

I offer a little test.

For the operation of two generators in my experiment "pseudo-associative DLSs" is given a set of 8 numbers.
For example

4 3 7 2 1 9 5 6

Let's call this set - a row.
Each row gives one WU.
The row is written to the file A18.txt.

Unzip the archive and run the gener_check.bat script

1. The first generator ASS_DLK10A.exe (my program) works;
2. The second generator PSEVDOASS_DLK_new.exe (my program) is working;
3. Two sets of DLSs are combined, the program kanonizator_dlk_1.03.exe by Belyshev is used;
4. The DLSs set is check using the program family_mar.exe of Belyshev.

The results will be written to the file output.txt.
Programs works in the Windows system.

On my computer checking one WU is done 3-4 hours.

Please check this test.
If all is well, you can start this experiment.
Rows for WUs I will send on request.

Link
https://cloud.mail.ru/public/FABN/hU8fFevUD

Скачайте архив по ссылке, распакуйте и выполните тест. Тест на обработку одного WU.

Именно с этим тестовым заданием работал Tomas Brada при адаптации эксперимента PADLS к BOINC платформе.

PS. Скрипт работает в системе Windows-64bit.
Насчёт Windows-32bit не знаю, так как у меня 64bit.

Эти выполняемые мной эксперименты сегодня



Слева сверху - эксперимент мультисимметрия, второй генератор; слева снизу - тот же эксперимент, первый генератор;
справа сверху - эксперимент PADLS; справа снизу - метод интервалов, проверяется линейка №2.

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

Программы справа ещё работают. Проверка интервала близка к завершению

. . . . . . 
СНДЛК: 8795000 КФ: 8795000 время: 32941 сек
СНДЛК: 8796000 КФ: 8796000 время: 32943 сек
СНДЛК: 8797000 КФ: 8797000 время: 32945 сек
СНДЛК: 8798000 КФ: 8798000 время: 32947 сек
СНДЛК: 8799000 КФ: 8799000 время: 32949 сек
СНДЛК: 8800000 КФ: 8800000 время: 32951 сек
СНДЛК: 8801000 КФ: 8801000 время: 32953 сек
СНДЛК: 8802000 КФ: 8802000 время: 32955 сек
СНДЛК: 8803000 КФ: 8803000 время: 32958 сек
. . . . . . 

Решений пока не найдено в этом интервале.

В эксперименте PADLS тоже дело идёт к концу, WU "тяжёлый" попался для моего компьютера, вот с самого утра проверяется.
И то сказать: больше полумиллиона КФ псевдоассоциативных ДЛК!

Однако XAVER хорошо справляется с этими "тяжёлыми" WU; он берёт 50 WU и за 4 суток их все обрабатывает.

Предлагаются всем

1. Эксперимент PADLS;
2. Эксперимент метод интервалов.

Смотрите тему о методе интервалов
https://boinc.progger.info/odlk/forum_thread.php?id=29

Все программы в данных экспериментах работают стабильно, всё много раз тестировано, никаких подводных камней пока не обнаружено.

Подключайтесь!

Преимущество автономного подпроекта в том, что не надо загружать BOINC.
Для эксперимента PADLS WU получите от меня в виде коротких строк (из 8 чисел).
Скрипт скачаете.
Дальше обрабатываете WU в любом удобном для вас режиме.

В эксперименте метод интервалов всё ещё проще.

Вот и завершилась проверка порции ДЛК в эксперименте PADLS

Имя входного файла ИСТОЧНИК (без расширения):Имя входного файла ВЫЧИТАЕМОЕ
расширения):output.txt
Всего 573655 квадратов (вход) в output.txt
prov.txt
Всего 443644 квадратов (вход) в prov.txt
Уникальных 573492 квадратов (выход).
Для продолжения нажмите любую клавишу . . .
prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 573492

Найдено марьяжных ДЛК: 38 они записаны в файл output.txt
Время работы в сек   : 50699.2

Для выхода нажмите любую клавишу . . .

14 часов!
Если бы работали только две программы, время работы каждой было бы в 2 раза меньше. Всё логично: в процессоре всего 2 ядра.