Новый эксперимент в ручном проекте

Message boards : Science : Новый эксперимент в ручном проекте
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · 5 · 6 . . . 10 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5495 - Posted: 24 Apr 2020, 5:32:29 UTC
Last modified: 24 Apr 2020, 5:52:10 UTC

Пока черепашка трудится, я верчу шестерёнки в мозгах, чтобы не заржавели :)
Идея крупнопанельных ЛК пришла от ОДЛК, в которых скачут одни и те же строки. Я писала об этом.
Вот сейчас вернулась к псевдоассоциативным ДЛК. Они ведь тоже могут быть крупнопанельными!
Очень захотелось попробовать для них мой экспресс-генератор.
Вот заготовка

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

Это псевдоассоциативный ДЛК из линейки №38.
Генерацию таких ДЛК я уже неоднократно делала, несколько генераторов у меня было), но! тогда генерация была поэлементной.
А сейчас хочу попробовать генерацию построчную, то есть крупнопанельные псевдоассоциативные ДЛК.
Просто интересно, как это будет работать для псевдоассоциативных ДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5495 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5496 - Posted: 24 Apr 2020, 5:39:44 UTC
Last modified: 25 Apr 2020, 2:08:53 UTC

Ветвь эксперимента PADLS rule 38 выполнялась в проекте TBEG.
Вот посмотрите фото (из "Нашего фотоальбома")



Это Томашу я подарила на память о нашем сотрудничестве :)
Листы из моих рукописей. Фотографировал друг.

Здесь как раз псевдоассоциативные ДЛК из линейки №38 обрабатывались (с двумя генераторами).
На сгенерированный псевдоассоциативный ДЛК посмотрите.
Кстати, на листе написано, что годных для генерации строк в этой ветви эксперимента 3440. Это все возможные варианты первой строки ДЛК.
Эх!.. Какое это было интересное время! Эксперименты выполнялись в BOINC-проекте! Золотое время!
Всё закончилось :(
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5496 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5497 - Posted: 24 Apr 2020, 5:50:37 UTC

Да, так вот, ушла писать экспресс-генератор для крупнопанельных псевдоассоциативных ДЛК по показанной выше заготовке.
Варианты первой строки у меня уже есть, их 3440.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5497 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5500 - Posted: 25 Apr 2020, 6:08:31 UTC
Last modified: 25 Apr 2020, 6:28:46 UTC

Экспресс-генератор для крупнопанельных псевдоассоциативных ДЛК написала.
Офигенно работает!
Вот три последних сгенерированных ДЛК

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

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

Удивительно, что все сгенерированные ДЛК существенно различные (не изоморфные). Это же здорово!
Я уже отмечала выше, что генерация крупнопанельных ЛК выполняется намного быстрее, нежели поэлементная.
Для ДЛК это ещё заметнее, то есть сильно быстрее.

Строили раньше дома из кирпичиков. Помните, да?
А потом кого-то осенило: зачем из кирпичиков, если можно сразу целую стену сделать!
И сделали! Теперь из таких панелей дом в разы быстрее строится.
Вот так и ЛК с ДЛК.

Ну, так для псевдоассоциативных ДЛК в линейке №38 много уже ветвей выполнено, осталась только PADLS TOTAL.
Поэтому надо попробовать крупнопанельные псевдоассоциативные ДЛК в других линейках (у меня там были ещё две линейки, кроме 15, 38 и 51).
Помнится, линейка №39 немного тестировалась Demis.
А вот другая линейка (забыла номер, сейчас гляну) не тестировалась. Надо её пощупать с помощью экспресс-генератора.
Кроме того, есть у меня ещё генератор №4 для псевдоассоциативных ДЛК (во всех линейках).
Этот генератор немного сама тестировала, результаты он даёт.
Его тоже надо попробовать для курупнопанельных ДЛК с экспресс-генератором.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5500 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5502 - Posted: 25 Apr 2020, 7:59:07 UTC
Last modified: 26 Apr 2020, 1:14:38 UTC

Глянула, вторая линейка с псевдоассоциативными ДЛК №16 (с нарушениями ассоциативности в побочной диагонали).
Вот эту линейку я совсем мало тестировала.
Надо попробовать с крупнопанельными ДЛК.
Увлекательный процесс конструирования заготовки для экспресс-генератора!
Сконструировала, сейчас буду писать экспресс-генератор.
Собственно, общая заготовка в линейке №16 вот

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

Для экспресс-генератора надо расставить числа в первом и последнем столбцах. Это я и называю конструированием заготовки. Разумеется, расставить числа надо так, чтобы ДЛК получился.
Ну, и потом определиться, какая псевдоассоциативность будет в генерируемых ДЛК.

PS. Выше я показывала пример заготовки для ДЛК из линейки №38, вот

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

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5502 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5504 - Posted: 26 Apr 2020, 1:22:10 UTC
Last modified: 26 Apr 2020, 1:34:48 UTC

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

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

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

Это о выполненной Demis ветви эксперимента PADLS rule 39.
Вывод сделан из этого эксперимента: линейка 39 годится для эксперимента PADLS TOTAL.

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

1 48
2 2
3 16
4 4
5 4
6 20
7 4
8 4
9 2
10 4
11 4
12 4
13 4
14 2
15 48
16 2
17 2
18 4
19 2
20 2
21 2
22 4
23 2
24 2
25 4
26 2
27 4
28 2
29 2
30 2
31 2
32 4
33 4
34 4
35 4
36 48
37 16
38 48
39 2
40 4
41 2
42 4
43 2
44 2
45 2
46 2
47 2
48 2
49 4
50 10
51 20
52 4
53 4
54 2
55 2
56 2
57 1
58 1
59 1
60 1
61 1
62 1
63 1
64 2
65 1
66 1
67 2

В первой колонке — номер линейки, а во второй — максимальное число изоморфных СНДЛК для каждой КФ. То есть, например, для линеек 1, 15, 36, 38 в среднем только 1 СНДЛК из 48 является КФ, а для линеек 57, 58, 59, 60, 61, 62, 63, 65 и 66 каждый СНДЛК суть КФ.

Цитата Белышева отсюда
http://forum.boinc.ru/default.aspx?g=posts&m=87625#post87625
Хотя теперь это битая ссылка, форум boinc.ru был потерян.

Обратите внимание на соотношение СН ДЛК и КФ в линейках 39 и 51.
Сравните!

Вчера вечером попробовала запустить эксперимент PADLS TOTAL rule 39 на своём ПК.
Сгенерировала 50000 КФ, начиная с минимальной КФ, проверила их программой Белышева family_mar, нашла 2 уникальные КФ ОДЛК.
Всё работает!
И это совершенно аналогично эксперименту PADLS TOTAL rule 51, который выполняется в проекте TBEG, с той только разницей, что в линейке 39 нет острой проблемы с генерацией КФ.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5504 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5506 - Posted: 26 Apr 2020, 4:02:41 UTC
Last modified: 26 Apr 2020, 4:13:08 UTC

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

Сейчас решила попробовать для своего генератора 3 псевдоассоциативных ДЛК
https://boinc.progger.info/odlk/forum_thread.php?id=105

Я его тестировала, выкладывала тест для всех, протестировал XAVER. Решения получены.
В этом генераторе проблема в том, что генерируется очень много псевдоассоциативных ДЛК.
В тесте я ограничила количество генерируемых ДЛК двумя миллионами.
Ну, мне и 2 миллиона ДЛК проверять на марьяжность о-ч-е-н-ь долго.

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



Генератор 3 можно применять ко всем трём линейкам: 15, 38, 51.
На показанной иллюстрации модифицированная побочная диагональ (то есть такой нет ни в одной линейке).
Как видите, здесь имеется 4 полностью ассоциативных строки. Это хорошо для экспресс-генератора.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5506 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5507 - Posted: 26 Apr 2020, 17:15:08 UTC
Last modified: 26 Apr 2020, 17:18:23 UTC

Новые решения от XAVER!

1) эксперимент "крупнопанельные ЛК"
306 различных КФ ОДЛК, которые дали в Замыкании 621 КФ ОДЛК, в том числе 617 уникальных и уникальная двушка.
Это от 50 строк: 901-950.
Показываю уникальную двушку в формате программы Беляева

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

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

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

Сегодня поменьше в этом эксперименте по сравнению с предыдущим рекордом.
Всё равно отлично! По уникальным решениям супер; из 621 КФ ОДЛК только 4 не уникальные.

2) эксперимент мультисимметрия в формате крупнопанельных ЛК
316 различных КФ ОДЛК, которые дали в Замыкании

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

Здесь коварные повторения. Тройка, четвёрка и большинство двушек повторены.
Уникальных 90 КФ ОДЛК, в том числе две душки.
Показываю уникальные двушки, только основные ДЛК (КФ в первом формате)

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

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

Итого в двух экспериментах получено 707 уникальных КФ ОДЛК, в том числе три двушки.

В эксперименте мультисимметрия обработано 1000 строк из 5800, что составляет 17,24%. Хороший прогресс!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5507 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5508 - Posted: 26 Apr 2020, 17:22:25 UTC
Last modified: 26 Apr 2020, 17:38:57 UTC

Интересное заметила: есть КФ ОДЛК из редких групп (формат 1), это однушечки

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

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

Напомню: группа в первом формате определяется второй строкой.
А помните максимальную КФ ОДЛК в первом формате? Она, кажется, стоит незыблемо :)
Вот она

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

БД КФ ОДЛК сейчас огромная, у меня её даже и нет всей в компьютере.
Но я думаю, что эта максимальная КФ ОДЛК стоит-таки незыблемо!
Кто-то может это опровергнуть?
Новую максимальную КФ ОДЛК в студию! :)

Очень давно мы с AlexA пытались найти новую максимальную КФ ОДЛК.
Долго выполняли этот эксперимент, но так и не удалось текущий максимум превзойти.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5508 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5511 - Posted: 28 Apr 2020, 1:39:04 UTC
Last modified: 28 Apr 2020, 2:01:30 UTC

Цитата
Вчера попробовала сделать генератор для крупнопанельных псевдоассоциативных ДЛК в линейке 16.
Увы, это не получилось. Там проблема в том, что не получаются цельные ассоциативные строки.

Сейчас решила попробовать для своего генератора 3 псевдоассоциативных ДЛК
https://boinc.progger.info/odlk/forum_thread.php?id=105

Я его тестировала, выкладывала тест для всех, протестировал XAVER. Решения получены.
В этом генераторе проблема в том, что генерируется очень много псевдоассоциативных ДЛК.
В тесте я ограничила количество генерируемых ДЛК двумя миллионами.
Ну, мне и 2 миллиона ДЛК проверять на марьяжность о-ч-е-н-ь долго.

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


Экспресс-генератор для крупнопанельных псевдоассоциативных ДЛК (для генератора 3, см. цитату) написала.
Офигенно работает!! Главное - очень быстро.
И теперь нет проблем с большими количествами генерируемых ДЛК.
Вчера попробовала сгенерировать от первых 10 строк, сгенерировалось чуть больше 100000 псевдоассоциативных ДЛК.
Канонизация ДЛК уменьшила чуть-чуть количество ДЛК.
Далее, как всегда, проверка порции КФ ДЛК программой Белышева family_mar.
Решения от данной порции получены!

И я получила новую ветвь эксперимента PADLS rule 51!
Собственно, ветвь давно известная и тестированная, ноу хау тут в применении крупнопанельных ДЛК и экспресс-генератора.
И это позволит мне выполнять данную ветвь эксперимента, чем и займусь.
Для эксперимента мультисимметрия оставляю один поток, второй поток задействую под новый эксперимент.

Черепашка опять ликует:
- У меня новый эксперимент! :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5511 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5512 - Posted: 28 Apr 2020, 1:50:01 UTC
Last modified: 28 Apr 2020, 1:51:50 UTC

Интересный момент: при канонизации канонизатор превращает побочную диагональ ДЛК в правильную, то есть в исходную (до модификации); это побочная диагональ из линейки 51. Хитрый канонизатор, его не обманешь :)
Смотрите на КФ

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

Поэтому я и говорю, что получилась ветвь эксперимента PADLS rule 51.
В этой ветви получилось 3439 строк (WU). Вполне реально выполнить эксперимент даже на одном ПК с таким экспресс-генератором.
Сразу от 10 строк генерирую и - очень быстро! И ДЛК получается не так много - не миллионы. И среди них мало изоморфных.
Всё просто замечательно!

После этой ветви применю экспресс-генератор к линейкам 15 и 38.
Это, конечно, не скоро будет, 3439 строк для черепашки тоже много. Но она у меня очень старательная :)

Господам больше не предлагаю взять веточку. Тщетно!!!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5512 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5513 - Posted: 28 Apr 2020, 1:58:39 UTC
Last modified: 28 Apr 2020, 2:09:59 UTC

Очевидно, что эта ветвь относится к эксперименту PADLS TOTAL rule 51, выполняемому в проекте TBEG.
И вот вам вторая идея, как избежать больших проблем с генерацией КФ в этом эксперименте.
Но... как я понимаю, мои идеи нужны администратору проекта TBEG, как рыбке зонтик, или как в бане пассатижи (С).
Он и сам с усам :)
Ну, я и не навязываю свои идеи. Может быть, его идеи "как это улучшить" намного эффективнее.
Дай Бог!

Вспоминается мудрое изречение: "Учитель, воспитай ученика, чтоб было у кого потом учиться".
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5513 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5514 - Posted: 28 Apr 2020, 6:12:20 UTC
Last modified: 28 Apr 2020, 6:13:40 UTC

Цитата
Заготовку для экспресс-генератора крупнопанельных ДЛК возьму прямо отсюда


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

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

А вот как работает канонизатор ДЛК с порцией сгенерированных ДЛК

Канонизатор ДЛК10

Загружена хеш-таблица
Время загрузки:         0.046 сек
Введено ДЛК:            100431
Время загрузки:         2.2 сек
Найдено КФ:             99908
Время поиска:           0.546 сек
КФ записаны в файл:     output.txt
Время записи:           0.156 сек
Общее время работы:     2.948 сек

Как видим, содержание изоморфных ДЛК в порции не очень велико. Это хорошо, нам выгодно.

Дальше покажу интересные иллюстрации.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5514 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5516 - Posted: 28 Apr 2020, 7:59:25 UTC
Last modified: 30 Apr 2020, 1:17:48 UTC

Итак, встречайте - псевдоассоциативные ДЛК в линейке 51, сгенерированные тремя различными генераторами



Для генераторов 1 и 2 это, наверное, было показано ранее; во всяком случае, у меня в архиве есть эти иллюстрации.
Для генератора 3 иллюстрацию сделала сейчас.

Смотрим, сравниваем. Что видим?
В псевдоассоциативном ДЛК от генератора 1 восемь полностью ассоциативных строк.
Степень ассоциативности максимальная.
В псевдоассоциативном ДЛК от генератора 2 шесть полностью ассоциативных строк.
В псевдоассоциативном ДЛК от генератора 3 только четыре полностью ассоциативные строки.
[Нарушения ассоциативности в белых ячейках.]

Для псевдоассоциативных ДЛК, генерируемых генераторами 1 и 2, эксперимент в линейке 51 был полностью выполнен.
А вот для генератора 3 пока выполнен только небольшой тест.

И всё это, разумеется, ветви эксперимента PADLS TOTAL rule 51, выполняемого в проекте TBEG.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5516 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5522 - Posted: 29 Apr 2020, 4:56:05 UTC
Last modified: 29 Apr 2020, 5:02:48 UTC

Может возникнуть вопрос: почему показанный на иллюстрации псевдоассоциативный ДЛК от генератора 3 не соответствует заготовке

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

Всё очень просто: на иллюстрации показана КФ.
А псевдоассоциативные ДЛК генерируются в точном соответствии с заготовкой, например:

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

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

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

При этом во всех генерируемых псевдоассоциативных (крупнопанельных) ДЛК точно 4 полностью ассоциативные строки.
При канонизации ДЛК это может оказаться и не так. Я нашла такую КФ, в которой это имеет место.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5522 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5525 - Posted: 2 May 2020, 0:47:52 UTC
Last modified: 2 May 2020, 3:26:37 UTC

Расскажу о прогрессе черепашки.
Она выполняет в данный момент два эксперимента.

1. Эксперимент мультисимметрия в формате крупнопанельных ЛК.
В ветке этого эксперимента имеется 7130 строк, на данный момент обработано 1000 строк, что составляет 14,02%.

2. Эксперимент с псевдоассоциативными (крупнопанельными) ДЛК от генератора 3.
В этой ветви эксперимента 3439 строк, на данный момент обработано 290 строк, что составляет 8,43%.

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

У нас с черепашкой совсем недавно были новая тройка и новая четвёрка в эксперименте мультисимметрия в формате с крупнопанельными ЛК.
У XAVER пока не встретились новые группы пар ОДЛК выше двушки; такие группы встречаются у него в эксперименте мультисимметрия, но повторяются.

В проекте TBEG группы пар ОДЛК выше двушки встречались часто, но… сейчас в этом проекте задания для подпроекта по поиску ОДЛК генерируются – муравей не накушается :)
Так что, там тоже ждать троек и четвёрок бесполезно.
Надежд на то, что администратор развернёт этот подпроект в полную силу - у меня никаких не осталось.
Вот так выполнять эксперимент
22 tot5-m 0 62 59 206 85

это курам на смех!
Общее количество WU в подпроекте (на раздаче) не превышает 121.
И за этими единицами WU компьютеры приходят в BOINC-проект!
В таком темпе подпроект работает уже давно, с тех самых пор, как было объявлено
Because of the global situation, I am disabling distribution of new PADLS tot5 workunits in an attempt to divert the compute attention to Folding@Home.

По-моему моя черепашка обрабатывает больше WU, чем подпроект PADLS TOTAL rule 51 в BOINC-проекте TBEG.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5525 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5533 - Posted: 3 May 2020, 15:15:10 UTC
Last modified: 4 May 2020, 1:00:45 UTC

XAVER порадовал новыми прекрасными результатами!

1. Эксперимент крупнопанельные ЛК.
327 различных КФ ОДЛК, которые дали в Замыкании 659 КФ ОДЛК, в том числе 645 уникальных КФ и одна уникальная двушка.
Это решения от строк 951-1000.
По-прежнему почти все найденные решения уникальные в этом эксперименте, всего 14 решений повторены.

2. Эксперимент мультисимметрия в формате крупнопанельных ЛК.
Обработаны строки 1000-2000, получено 471 различных КФ ОДЛК, которые дали в Замыкании

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

Эх, повторы, повторы... Тройки, восьмёрка и большинство двушек повторены.
Уникальных 169 КФ ОДЛК, в том числе 7 двушек.

Посмотрим на симметрии во всех найденных решениях

Поиск симметрий ЛК10 версия 3.0

Обработано ЛК: 1037
Время работы : 0.078 сек

Введите код симметрии: all

Квадратов с симметрией (4,31,31) найдено: 28 они записаны в файл symm_4_31_31.txt
Квадратов с симметрией (8,31,31) найдено: 2 они записаны в файл symm_8_31_31.txt

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

Ну вот и понятно, что так много повторов: только симметрия (4,31,31) дала 28 повторенных решений, в том числе и восьмёрка.
А вот с симметрией (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 8 7 1 9 4 5 6
3 5 6 7 9 8 0 1 2 4
4 9 7 5 6 0 2 3 1 8
5 7 8 6 3 9 4 2 0 1
6 4 9 0 1 7 8 5 3 2
7 8 4 1 0 2 3 9 6 5
8 0 5 9 2 4 1 6 7 3
9 6 1 2 8 3 5 0 4 7

Позже покажу саму двушку.

Итого в сегодняшней порции у XAVER 814 уникальных решений, в том числе 8 двушек.
Замечательно!
Прогресс в этом эксперименте 34,48%.

Моя черепашка тоже трудится не покладая лапок :)
У неё тоже два эксперимента.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5533 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5534 - Posted: 3 May 2020, 15:22:47 UTC
Last modified: 3 May 2020, 15:23:17 UTC

Есть в сегодняшней порции решения из редких групп КФ ОДЛК (первый формат), из больших, то есть это хвост БД КФ ОДЛК

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

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

Это однушечки.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5534 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5535 - Posted: 3 May 2020, 15:33:26 UTC

Уникальное решение с симметрией (8,31,31) оказалось не двушка, а однушка

DLK(1):
0 3 7 4 5 2 8 9 6 1
9 1 5 0 7 3 4 6 2 8
5 8 2 1 6 9 0 3 7 4
8 9 6 3 0 1 7 4 5 2
1 5 8 2 4 6 3 0 9 7
7 2 3 6 8 5 9 1 4 0
2 7 0 5 9 4 6 8 1 3
6 4 9 8 2 0 1 7 3 5
3 0 4 9 1 7 2 5 8 6
4 6 1 7 3 8 5 2 0 9
mate#1:
4 1 5 2 6 7 3 8 9 0
1 8 3 9 7 0 6 2 4 5
5 0 1 7 4 2 8 3 6 9
9 7 8 5 0 6 2 4 1 3
2 4 7 6 3 5 9 1 0 8
3 2 6 0 1 9 4 5 8 7
0 9 2 8 5 1 7 6 3 4
6 5 9 4 8 3 1 0 7 2
8 6 0 3 9 4 5 7 2 1
7 3 4 1 2 8 0 9 5 6

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5535 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 5536 - Posted: 3 May 2020, 15:52:51 UTC
Last modified: 3 May 2020, 16:04:09 UTC

Ещё и третий эксперимент у нас с черепашкой есть, эпизодически его выполняем.
Выше я писала об этом эксперименте, это полный аналог эксперимента, выполняемого в проекте TBEG, только для линейки 39, то есть PADLS TOTAL rule 39.
Отличный эксперимент!
Была маленькая закавыка: после генерации порции КФ надо было вручную записать в файл start.txt последнюю КФ в сгенерированной порции.
Это мешало полностью автоматизировать процесс.
Вспомнила, что на форуме Math Help Planet мне давали очень хорошую инструкцию, как из файла выудить последний квадрат.
Вот воспользовалась этой инструкцией и сочинила скрипт

@echo off
generator_kf.exe < Y.txt
for /f "usebackq" %%S in (`find /c /v ""^<"output.txt"`) do (set /a NumStr=%%S)
set /a NumStr -= 10
setlocal enabledelayedexpansion
more +!NumStr! < "output.txt" > "start.txt"
copy output.txt input.txt
copy a.txt output.txt
family_mar.exe < Y.txt
copy /b resheniya.txt+output.txt resheniya.txt
pause

Теперь полная автоматизация процесса!
Здесь пока одно выполнение процесса, осталось зациклить.
Всё прекрасно работает.
Программа Белышева generator_kf.exe генерирует порцию КФ, сейчас - в начале линейки - вообще мгновенно генерируются КФ; я генерирую 100000 КФ в одной порции, можно хоть миллион генерировать.
Далее сгенерированные КФ проверяются на ОДЛК программой Белышева family_mar.exe.
Я начала проверку с минимальной КФ в линейке 39.
Понемножку проверяю, в день две-три порции.

Ну, этот эксперимент для нас с черепашкой лет на 10 потянет :)
А всё равно интересно же! :)
Если все BOINC-проекты (коих целых три!) экспериментировать не в состоянии, приходится нам с черепашкой экспериментировать.

PS. Кратко об алгоритме данного эксперимента.
1. Алгоритм основан на теории Белышева о 67 линейках.
2. Алгоритм использует введённое мной понятие псевдоассоциативных ДЛК.
Такие ДЛК имеются в линейках 15, 16, 38, 39, 51.
3. Алгоритм использует более глубокую проверку на ОДЛК с помощью программы Белышева family_mar.

Вот и всё.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5536 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3 · 4 · 5 · 6 . . . 10 · Next

Message boards : Science : Новый эксперимент в ручном проекте


©2024 (C) Progger