Принципиально новый алгоритм PADLS

Message boards : Science : Принципиально новый алгоритм PADLS
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4319 - Posted: 14 Aug 2019, 9:22:17 UTC - in response to Message 4318.  
Last modified: 14 Aug 2019, 9:23:19 UTC

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

Я предполагала, что вы получили 20518 "чистых" КФ ОДЛК, уникальных в рамках эксперимента, то есть уже без дубликатов.
Но похоже, это совсем не так.
ID: 4319 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4320 - Posted: 14 Aug 2019, 9:25:51 UTC - in response to Message 4318.  

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

Только один вопрос: вот эти 20518 квадратов - это найденные скриптом zamyk.bat КФ ОДЛК?
ID: 4320 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Demis

Send message
Joined: 11 Jul 17
Posts: 172
Credit: 4,258,474
RAC: 897
Message 4321 - Posted: 14 Aug 2019, 9:53:34 UTC - in response to Message 4320.  

Да.
В лог файл, при работе zamyk.sh , выдается такое:
run: type_count (started on 2019-06-11 16:14:30)
Found mariage QF:
count[1] = 6
или такое:
run: type_count (started on 2019-06-11 17:14:27)
Found mariage QF:
count[1] = 16
Вот эти 6 + 16 и все остальные, просуммированы по всему логу для всех вариантов count[*] и эта сумма составляет 20518.
ID: 4321 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4322 - Posted: 14 Aug 2019, 10:03:56 UTC - in response to Message 4321.  
Last modified: 14 Aug 2019, 10:06:05 UTC

Теперь понятно.
Вы делаете Замыкание для каждой порции (от каждого WUs).
Вообще-то, это не рационально.
Можно сделать Замыкание для всех результатов в конце эксперимента, тем более что их не так уж и много.
А в порции результатов от одного WUs их совсем мало (6, 16...)

Однако, странно всё-таки работает программа ortogon.
Вы подали ей на вход 20518 КФ ОДЛК. Правильно?
Среди них есть дубликаты, программа их отбросила и оставила только оригинальные КФ ОДЛК, коих 10205.
Но... ОДЛК она нашла только 10158.
Это странно. Ведь на входе все ОДЛК.

Checking DLS10 for marriage (ODLS)

Entered DLS: 10205
Found ODLS: 10158
Time works: 21.8047 sec
ID: 4322 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Demis

Send message
Joined: 11 Jul 17
Posts: 172
Credit: 4,258,474
RAC: 897
Message 4323 - Posted: 14 Aug 2019, 10:25:12 UTC - in response to Message 4322.  
Last modified: 14 Aug 2019, 10:30:08 UTC

Теперь понятно.
Вы делаете Замыкание для каждой порции (от каждого WUs).
Вообще-то, это не рационально.
Учитывая, что zamyk.sh расходует от 1-ой до 4-ех секунд машинного времени было принято решение оставить как есть.

Можно сделать Замыкание для всех результатов в конце эксперимента, тем более что их не так уж и много.
А в порции результатов от одного WUs их совсем мало (6, 16...)

Однако, странно всё-таки работает программа ortogon.
Вы подали ей на вход 20518 КФ ОДЛК. Правильно?
Правильно.

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


Checking DLS10 for marriage (ODLS)

Entered DLS: 10205
Found ODLS: 10158
Time works: 21.8047 sec
На тех-же данных:
./kanonizator_dlk_1.03
Канонизатор ДЛК10

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

Программа завершена . . .
ID: 4323 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4324 - Posted: 14 Aug 2019, 11:29:19 UTC - in response to Message 4323.  

Думаю что на входе есть квадраты не имеющие ортогональных со-квадратов. И их 10205 - 10158 = 47. Но, возможно, есть и другое объяснение...

Но ведь вы говорите, что подали на вход 20518 КФ ОДЛК.
Как же они не имеют ортогональных соквадратов, если они ОДЛК?

./kanonizator_dlk_1.03
Канонизатор ДЛК10

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

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

А вот тут уже совсем не понятно. У вас среди введённых 10205 ДЛК опять же есть изоморфы, потому что КФ найдено только 10158.

Ладно, оставим.
Квадратов у меня нет, поэтому проверить сейчас ничего не могу, что у вас там за ОДЛК.
Подождём окончания эксперимента.
ID: 4324 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Demis

Send message
Joined: 11 Jul 17
Posts: 172
Credit: 4,258,474
RAC: 897
Message 4348 - Posted: 21 Aug 2019, 7:13:34 UTC

Прошла неделя, состояние на сегодня:
./rule39-get-last.sh
input-new-1519.txt (start on: 2019-08-21 09:14:13)
Общее число найденных квадратов:22779
однушек 22723
двушек 56
ID: 4348 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4349 - Posted: 21 Aug 2019, 7:51:50 UTC - in response to Message 4348.  
Last modified: 21 Aug 2019, 8:08:26 UTC

Demis
спасибо.
В течение недели должны закончить, осталось совсем мало, всего 70 WUs.
ID: 4349 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Demis

Send message
Joined: 11 Jul 17
Posts: 172
Credit: 4,258,474
RAC: 897
Message 4353 - Posted: 21 Aug 2019, 10:37:25 UTC

Случайно обнаружена неприятность.
Найдены еще строки не имеющие решений.
Такое было перед началом эксперимента.
И тогда Вами проводилась корректировка стартовых данных.
Выборка (краткая) по таким строкам:
### next file ###
Have LS: 372930
Found ODLS: 0
End (on: 2019-06-22 15:03:25)
rm input-new-226.txt
End (on: 2019-06-23 08:45:25)
rm input-new-245.txt
### next file ###
Have LS: 570898
Found ODLS: 0
End (on: 2019-06-23 09:37:10)
rm input-new-246.txt
End (on: 2019-06-24 05:22:31)
rm input-new-268.txt
### next file ###
Have LS: 369330
Found ODLS: 0
End (on: 2019-06-24 05:56:02)
rm input-new-269.txt
End (on: 2019-07-06 11:18:54)
rm input-new-532.txt
### next file ###
Have LS: 562056
Found ODLS: 0
End (on: 2019-07-06 12:09:46)
rm input-new-533.txt
End (on: 2019-07-31 15:16:19)
rm input-new-1050.txt
### next file ###
Have LS: 756578
Found ODLS: 0
End (on: 2019-07-31 16:25:21)
rm input-new-1051.txt
End (on: 2019-08-04 17:56:11)
rm input-new-1131.txt
### next file ###
Have LS: 532554
Found ODLS: 0
End (on: 2019-08-04 18:44:47)
rm input-new-1132.txt
End (on: 2019-08-13 12:06:24)
rm input-new-1327.txt
### next file ###
Have LS: 436229
Found ODLS: 0
End (on: 2019-08-13 12:46:03)
rm input-new-1328.txt
End (on: 2019-08-14 02:38:12)
rm input-new-1341.txt
### next file ###
Have LS: 553458
Found ODLS: 0
End (on: 2019-08-14 03:28:16)
rm input-new-1342.txt
End (on: 2019-08-17 17:34:27)
rm input-new-1428.txt
### next file ###
Have LS: 410045
Found ODLS: 0
End (on: 2019-08-17 18:11:37)
rm input-new-1429.txt
End (on: 2019-08-19 17:14:47)
rm input-new-1478.txt
### next file ###
Have LS: 574547
Found ODLS: 0
End (on: 2019-08-19 18:07:08)
rm input-new-1479.txt
Где, к примеру, число "1479" из "input-new-1479.txt" - это номер строки из "стартового" файла.
Информация просто к сведению.
ID: 4353 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4354 - Posted: 21 Aug 2019, 11:11:37 UTC - in response to Message 4353.  
Last modified: 21 Aug 2019, 11:13:29 UTC

Случайно обнаружена неприятность.
Найдены еще строки не имеющие решений.
Такое было перед началом эксперимента.
И тогда Вами проводилась корректировка стартовых данных.

В начале эксперимента было другое: тогда для некоторых строк совсем не генерировались псевдоассоциативные ДЛК.
И тогда я проводила корректировку строк, так как не все строки были корректны, и они не давали ДЛК.

В приведённых вами сейчас примерах, как я понимаю, от строк ДЛК генерируются

Have LS: 372930
Found ODLS: 0

Ну, а решений может от них и не быть, это нормально.
ID: 4354 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4359 - Posted: 24 Aug 2019, 8:01:27 UTC
Last modified: 24 Aug 2019, 8:10:26 UTC

У-р-р-р-а-а-а!

Demis завершил эксперимент PADLS rule 39.
Результаты превосходные!

Demis
в папке результатов я нашла самый нужный файл out_klpmd.txt
В этом файле нашла 23599 КФ ОДЛК.
Не делала заново Замыкание, потому что вы его уже сделали, как я понимаю.

А теперь проверяю эти КФ ОДЛК на уникальность, уникальных нахожу 23269 КФ ОДЛК. Отлично!
Двушек в папке с результатами присутствует 56 штук. В уникальных результатах их поменьше будет.

Нашлись среди уникальных решений "симметричные" с симметрией (8,31,31)
Поиск чистых симметрий

Введено ЛК: 23269
Введите код симметрии:
all
Квадратов с симметрией (8,31,31) найдено: 2 они записаны в файл symm_8_31_31.txt

Время поиска: 1.482 сек

Это стандарты

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

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

Всё замечательно. Линейка 39 пригодна для эксперимента PADLS TOTAL.
Большое спасибо вам за выполнение этого эксперимента!

Такое пополнение у нас в БД ручного проекта. На данный момент имеем в БД 133745 КФ ОДЛК.
А несколько минут назад было 110476 КФ ОДЛК. Добавились результаты эксперимента (23269 КФ ОДЛК).
ID: 4359 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4360 - Posted: 24 Aug 2019, 8:08:24 UTC
Last modified: 25 Aug 2019, 3:50:07 UTC

Отличная порция решений для постобработки!
Сейчас я её обработаю своими алгоритмами постобработки. Может, ещё добавлю немножко уникальных решений.

Постобработка этой порции решений дала 38 уникальных КФ ОДЛК.
ID: 4360 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4363 - Posted: 25 Aug 2019, 7:56:35 UTC - in response to Message 3867.  
Last modified: 25 Aug 2019, 7:57:54 UTC

Кстати,
цитата
Эксперимент PADLS rule 39 у Demis стартовал

Это было 11 июня т. г.
Всего 2,5 месяца затрачено на эксперимент.
И 23269 уникальных КФ ОДЛК.
Примерно 9307 КФ ОДЛК в месяц!
И это один участник. Умножьте хотя бы на 100 участников. Что вы получили?
Правильно - около миллиона КФ ОДЛК в месяц!
Такова эффективность всех ветвей алгоритма PADLS.
ID: 4363 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 4364 - Posted: 25 Aug 2019, 8:03:15 UTC
Last modified: 25 Aug 2019, 8:06:26 UTC

Предлагаются для индивидуального выполнения другие эксперименты.
Подробнее смотрите здесь
https://boinc.progger.info/odlk/forum_thread.php?id=100&postid=4361#4361

Из принципиально новых алгоритмов, описанных в этой теме, есть ещё PADLS rule 16
https://boinc.progger.info/odlk/forum_thread.php?id=118&postid=3584#3584
Я немного тестировала этот эксперимент. Выше вы найдёте описание тестирования.

Выбирайте эксперимент для себя!
ID: 4364 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3 · 4

Message boards : Science : Принципиально новый алгоритм PADLS


©2024 (C) Progger