Российские распределенные вычисления на платформе BOINC
Форум участников распределённых вычислений.

Добро пожаловать, Гость! Чтобы использовать все возможности Вход или Регистрация.

Уведомление

Icon
Error

37 Страницы«<3334353637>
Опции
К последнему сообщению К первому непрочитанному
Offline citerra  
#681 Оставлено : 20 августа 2018 г. 14:03:18(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Автор: whitefox Перейти к цитате
А сколько всего нашлось марьяжных ДЛК с симметрией (2,31,31)? По вашим данным, раньше их было только 34.
Проблемы у Эдуарда. Когда исправит и все результаты соберет, посчитаем.

Offline whitefox  
#682 Оставлено : 22 августа 2018 г. 18:08:21(UTC)
whitefox


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 08.10.2016(UTC)
Сообщений: 221

Сказал(а) «Спасибо»: 73 раз
Поблагодарили: 179 раз в 113 постах
Всего существует 1008 марьяжных ДЛК, обладающих симметрией (2,31,31). Из них 1002 единицы и 6 двоек. Замыкание этой совокупности с помощью пятикратного применения программы Канонизатор_ЛК_по_ДЛК даёт множество из 2486 КФ марьяжных ДЛК.

Обе совокупности можно посмотреть в прикреплённом архиве.

Для автоматизации выполнения замыкания, в архив программы Канонизатор_ЛК_по_ДЛК помещён скрипт zamyk.bat. Также внесены некоторые косметические изменения в скрипт kanon_new.bat.
Вложение(я):
mar_dlk_2_31_31.zip (200kb) загружен 15 раз(а).
thanks 2 пользователей поблагодарили whitefox за этот пост.
citerra оставлено 23.08.2018(UTC), evatutin оставлено 26.08.2018(UTC)
Offline citerra  
#683 Оставлено : 27 августа 2018 г. 10:07:57(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Сейчас готовится проверка симметрии (4,31,31).
И ситуация такова:
[kanon_new.bat]
Введено ЛК: 2491

...

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


Найдено марьяжных КФ:
count[1] = 193
count[2] = 2268
count[4] = 38
count[6] = 2
count[8] = 2
Всего: 2503
Найдено соквадратов: 4909
КФ соквадратов: 2492

Должно быть интересно.
Offline citerra  
#684 Оставлено : 29 августа 2018 г. 7:39:44(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Собрал остальные эксперименты по Герасиму, свои наработки ( постобработка, карусель, мало, но не пропадать же).

Получилось на данный момент
15382 двушек
88 троек
356 четверок

Всего 15 846 уникальных кф

Незаметно, но неуклонно число найденных КФ ОДЛК в Герасиме приближается к миллиону,
а всех к 5 млн кф одлк.

Offline citerra  
#685 Оставлено : 30 августа 2018 г. 19:24:36(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Посмотрим на первые 20 четвёрок в нашей БД (КФ основных ДЛК в первом формате)
Посмотрим. Между первой и второй четверками есть по крайней мере еще две четверки.
Цитата:
Поразительная плотность! Как много, оказывается, четвёрок в самом начале БД.
Еще сколько потеряли при такой поразительной плотности.
Далее
Цитата:
Здесь четвёрки пореже расположены.
И дырок поболее
Offline whitefox  
#686 Оставлено : 3 сентября 2018 г. 15:21:51(UTC)
whitefox


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 08.10.2016(UTC)
Сообщений: 221

Сказал(а) «Спасибо»: 73 раз
Поблагодарили: 179 раз в 113 постах
Классов эквивалентности БС_4_31_31 существует:

Код:
1) для паттерна 44323  — 127192
2) для паттерна 44323+ — 601291
3) для паттерна 43423  — 727270

Всего:                  1455753


Пример канонического шаблона для одного из классов в паттерне 44323:

Код:
0 0 1 1 2
0 0 1 1 2
1 2 0 3 4
1 2 3 0 4
2 3 0 4 1
2 3 4 0 1
3 1 2 4 0
3 1 4 2 0
4 4 2 3 3
4 4 3 2 3


Ему соответсвует блочная структура:

Код:
0 0 1 1 2 3 2 3 4 4
0 0 1 1 2 3 3 2 4 4
1 2 0 3 4 4 3 0 2 1
1 2 3 0 4 4 0 3 2 1
2 3 0 4 1 1 4 0 3 2
2 3 4 0 1 1 0 4 3 2
3 1 2 4 0 0 4 2 1 3
3 1 4 2 0 0 2 4 1 3
4 4 2 3 3 2 1 1 0 0
4 4 3 2 3 2 1 1 0 0


Которая имеет следующие блоки:

Код:
тип 0
{(0,0),(0,1),(1,0),(1,1),(8,8),(8,9),(9,8),(9,9)}
{(2,2),(2,7),(4,2),(4,7)}
{(3,3),(3,6),(5,3),(5,6)}
{(6,4),(6,5),(7,4),(7,5)}

тип 1
{(0,2),(0,3),(1,2),(1,3),(8,6),(8,7),(9,6),(9,7)}
{(2,0),(2,9),(3,0),(3,9)}
{(4,4),(4,5),(5,4),(5,5)}
{(6,1),(6,8),(7,1),(7,8)}

тип 2
{(0,4),(0,6),(1,4),(1,7),(6,2),(6,7),(7,3),(7,6),(8,2),(8,5),(9,3),(9,5)}
{(2,1),(2,8),(3,1),(3,8)}
{(4,0),(4,9),(5,0),(5,9)}

тип 3
{(0,5),(0,7),(1,5),(1,6),(2,3),(2,6),(3,2),(3,7),(8,3),(8,4),(9,2),(9,4)}
{(4,1),(4,8),(5,1),(5,8)}
{(6,0),(6,9),(7,0),(7,9)}

тип 4
{(0,8),(0,9),(1,8),(1,9),(8,0),(8,1),(9,0),(9,1)}
{(2,4),(2,5),(3,4),(3,5)}
{(4,3),(4,6),(6,3),(6,6)}
{(5,2),(5,7),(7,2),(7,7)}


Всего 18 непересекающихся блоков, принадлежащие пяти непересекающимся типам. Обратите внимание, что в данном примере каждый восьми-клеточный блок состоит из двух интеркалятов, но они составляют единый блок, так как имеют согласованную ориентацию (для сохранения центральной симметрии первых двух строк с двумя последними). Так бывает не всегда.

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

Для приведённой БС базовым ЛК будет:

Код:
0 9 1 8 2 3 7 6 4 5
9 0 8 1 7 6 3 2 5 4
1 2 0 3 4 5 6 9 7 8
8 7 6 0 5 4 9 3 2 1
2 3 9 4 1 8 5 0 6 7
7 6 4 9 8 1 0 5 3 2
3 1 2 5 0 9 4 7 8 6
6 8 5 7 9 0 2 4 1 3
5 4 7 6 3 2 8 1 9 0
4 5 3 2 6 7 1 8 0 9


Изменяя ориентацию блоков данного ЛК, мы перечислим все ЛК, обладающие данной БС. Очевидно, что при изменении ориентации всех блоков одного типа, будет получаться изоморфный ЛК. Поэтому в каждом типе блоков зададим прямую ориентацию для одного из блоков (для определённости — самого большого) а остальные будем варьировать. Всего существует 2^{13}=8192 способов задать ориентацию (для данного примера), то есть существует не более 8192 существенно различных ЛК, обладающих данной БС.

Как и для симметрий (1,31,31) и (2,31,31) на классах эквивалентности БС_4_31_31 существует отношение двойственности. Только теперь двойственный класс БС не всегда определяется однозначно, но вариантов не более 16. Такую группу классов БС, двойственных одному и тому же классу, будем называть суперклассом. Теперь отношение двойственности на суперклассах определяется однозначно. Упорядочим суперклассы, и будем говорить, что меньший из двух двойственных суперклассов определяет семейство ЛК. Будем говорить, что ЛК принадлежит некоторому семейству, если он обладает блочной структурой, принадлежащей соответствующему суперклассу, и не имеет БС, принадлежащей меньшему суперклассу.
thanks 1 пользователь поблагодарил whitefox за этот пост.
citerra оставлено 03.09.2018(UTC)
Offline citerra  
#687 Оставлено : 5 сентября 2018 г. 12:21:26(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Продолжим. На очереди тройки
Если в начале без пропусков, то между двух наибольших еще есть две тройки. И далее много пропусков ( 85, 82,... )
Это и понятно, 69 маловато, чтобы их хватало на всех известные тройки
Offline whitefox  
#688 Оставлено : 6 сентября 2018 г. 15:36:22(UTC)
whitefox


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 08.10.2016(UTC)
Сообщений: 221

Сказал(а) «Спасибо»: 73 раз
Поблагодарили: 179 раз в 113 постах
Семейств ЛК с симметрией (4,31,31) существует 52517. Их канонические шаблоны можно получить с помощью программы gen_family_4_31_31.exe из прикреплённого архива.

Каждое семейство может содержать не более 524288 существенно различных ЛК. Но это максимальная оценка, не уверен, что такие большие семейства вообще существуют. Оценка средней численности — порядка 16000.
Вложение(я):
gen_family_4_31_31.zip (34kb) загружен 8 раз(а).
Offline whitefox  
#689 Оставлено : 10 сентября 2018 г. 17:12:26(UTC)
whitefox


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 08.10.2016(UTC)
Сообщений: 221

Сказал(а) «Спасибо»: 73 раз
Поблагодарили: 179 раз в 113 постах
Присвоим нормализованным шаблонам символические имена так, чтобы шаблоны однозначно восстанавливались по имени. Имя канонического шаблона семейства будем считать именем самого семейства. Имена семейств ЛК с симметрией (4,31,31) можно взять в прикреплённом архиве.

Выкладываю программу genererator_lk_4_31_31.exe для нахождения всех существенно различных ЛК заданного семейства, и скрипт gen_4_31_31.bat для массовой обработки.

Файл readme.txt

Вложение(я):
names_family_4_31_31.zip (144kb) загружен 11 раз(а).
generator_lk_4_31_31.zip (70kb) загружен 11 раз(а).
thanks 1 пользователь поблагодарил whitefox за этот пост.
Demis оставлено 14.09.2018(UTC)
Offline citerra  
#690 Оставлено : 10 сентября 2018 г. 18:39:44(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Взял несколько БС, нашел 2 двушки.
Осталось залить в Герасим.
Offline whitefox  
#691 Оставлено : 11 сентября 2018 г. 11:17:51(UTC)
whitefox


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 08.10.2016(UTC)
Сообщений: 221

Сказал(а) «Спасибо»: 73 раз
Поблагодарили: 179 раз в 113 постах
Выкладываю программу для сбора статистики по семействам ЛК с симметрией (4,31,31).

Запустите скрипт get_stat.bat, который будет читать имена семейств из файла names.txt и записывать результаты в файл stat_4_31_31.txt (и дублировать их на консоль).

Пример вывода:

Код:
AAAAAHHVQ 4160 0 0 0
AAAAAJHQS 8256 0 0 0
AAAAAJSQB 8256 0 0 0
AAAAAJSQH 16384 0 0 0
AAAAAXBQH 16384 0 0 0


В первой колонке — имена семейств.
Во второй — мощности соответствующих семейств.
В третьей — число ЛК с симметрией (1,31,31).
В четвёртой — число ЛК с симметрией (2,31,31).
В пятой — число ЛК с несколькими симметриями (4,31,31).
Вложение(я):
get_stat_4_31_31.zip (50kb) загружен 5 раз(а).
Offline whitefox  
#692 Оставлено : 15 сентября 2018 г. 13:37:14(UTC)
whitefox


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 08.10.2016(UTC)
Сообщений: 221

Сказал(а) «Спасибо»: 73 раз
Поблагодарили: 179 раз в 113 постах
Статистика по ЛК_4_31_31

Код:
Число семейств                         : 52517
Число ЛК                               : 813555354
Максимальная  мощность семейства       : 16640
Средняя мощность семейства             : 15491
Число ЛК с симметрией (1,31,31)        : 28490
Число ЛК с симметрией (2,31,31)        : 0
Число ЛК с кратной симметрией (4,31,31): 120594


Симметрия (4,31,31), как и симметрия (1,31,31), несовместна с симметрией (2,31,31).
thanks 1 пользователь поблагодарил whitefox за этот пост.
Demis оставлено 15.09.2018(UTC)
Offline Demis  
#693 Оставлено : 15 сентября 2018 г. 18:10:23(UTC)
Demis


Статус: Я тут не впервой

Группы: Member
Зарегистрирован: 29.05.2017(UTC)
Сообщений: 45

Сказал(а) «Спасибо»: 9 раз
Поблагодарили: 7 раз в 7 постах
Автор: whitefox Перейти к цитате
Статистика по ЛК_4_31_31

Код:
Число семейств                         : 52517
Число ЛК                               : 813555354
Максимальная  мощность семейства       : 16640
Средняя мощность семейства             : 15491
Число ЛК с симметрией (1,31,31)        : 28490
Число ЛК с симметрией (2,31,31)        : 0
Число ЛК с кратной симметрией (4,31,31): 120594


Симметрия (4,31,31), как и симметрия (1,31,31), несовместна с симметрией (2,31,31).


Т.к. образом получается 813555354 * 212 = 172 473 735 048
Или, по простому, примерно 172Гб, это только чтобы записать эти квадраты на диск.
Будьте внимательны!
Offline citerra  
#694 Оставлено : 15 сентября 2018 г. 18:28:50(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Автор: Demis Перейти к цитате
Т.к. образом получается 813555354 * 212 = 172 473 735 048
Или 813555354 * 102.
А можно генерировать по требованию и вообще тремя мегабайтами обойтись.

Offline citerra  
#695 Оставлено : 15 сентября 2018 г. 20:53:50(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Выборочно пробежался по симметрии 4,31
Нашел 3 четверки, но все повторные
Видимо при разведки нашлось прилично
16 новых двушек.
Надеюсь в проекте будет намного богаче

Отредактировано пользователем 16 сентября 2018 г. 5:44:52(UTC)  | Причина: Не указана

Offline evatutin  
#696 Оставлено : 15 сентября 2018 г. 23:59:56(UTC)
evatutin


Статус: Старожил

Медали: Первооткрывателю: Результат в проекте SAT@homeРазработчику: За организацию проекта Gerasim@home

Группы: Editors, Member
Зарегистрирован: 08.06.2010(UTC)
Сообщений: 3,638
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 1023 раз
Поблагодарили: 1824 раз в 884 постах
Автор: citerra Перейти к цитате
Надеюсь в проекте будет намного юогаче


[Кто-то] спорили на даче, у кого [симметрия богаче], оказалася богаче у самой хозяйки дачи (с) laugh1

Если серьезно, то симметрия почти вся посчитана в Герасиме, ждем немного хвостов, скоро будем публиковать результаты 199

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline Demis  
#697 Оставлено : 17 сентября 2018 г. 11:12:45(UTC)
Demis


Статус: Я тут не впервой

Группы: Member
Зарегистрирован: 29.05.2017(UTC)
Сообщений: 45

Сказал(а) «Спасибо»: 9 раз
Поблагодарили: 7 раз в 7 постах
Автор: citerra Перейти к цитате
Автор: Demis Перейти к цитате
Т.к. образом получается 813555354 * 212 = 172 473 735 048
Или 813555354 * 102.
А можно генерировать по требованию и вообще тремя мегабайтами обойтись.
Там ключевая фраза "Или, по простому, ".
Думаю понятно, что в моем случае, это может быть и 100 байт или 26 байт на квадрат или иной какой вариант. Разница в два байта (102 против 100) кажется не существенной, но если пересчитать на 1Млн или 100Млн квадратов, то мнение насчет "не существенной" изменится.
Offline citerra  
#698 Оставлено : 17 сентября 2018 г. 11:28:21(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Автор: Demis Перейти к цитате
Автор: citerra Перейти к цитате
Автор: Demis Перейти к цитате
Т.к. образом получается 813555354 * 212 = 172 473 735 048
Или 813555354 * 102.
А можно генерировать по требованию и вообще тремя мегабайтами обойтись.
Там ключевая фраза "Или, по простому, ".
Думаю понятно, что в моем случае, это может быть и 100 байт или 26 байт на квадрат или иной какой вариант. Разница в два байта (102 против 100) кажется не существенной, но если пересчитать на 1Млн или 100Млн квадратов, то мнение насчет "не существенной" изменится.
Да надо никаких гигабайтов. Можно по простому считать и тогда можно обойтись ТРЕМЯ МЕГАбайтами.

Offline Demis  
#699 Оставлено : 17 сентября 2018 г. 12:05:19(UTC)
Demis


Статус: Я тут не впервой

Группы: Member
Зарегистрирован: 29.05.2017(UTC)
Сообщений: 45

Сказал(а) «Спасибо»: 9 раз
Поблагодарили: 7 раз в 7 постах
Автор: citerra Перейти к цитате
Автор: Demis Перейти к цитате
Автор: citerra Перейти к цитате
Автор: Demis Перейти к цитате
Т.к. образом получается 813555354 * 212 = 172 473 735 048
Или 813555354 * 102.
А можно генерировать по требованию и вообще тремя мегабайтами обойтись.
Там ключевая фраза "Или, по простому, ".
Думаю понятно, что в моем случае, это может быть и 100 байт или 26 байт на квадрат или иной какой вариант. Разница в два байта (102 против 100) кажется не существенной, но если пересчитать на 1Млн или 100Млн квадратов, то мнение насчет "не существенной" изменится.
Да надо никаких гигабайтов. Можно по простому считать и тогда можно обойтись ТРЕМЯ МЕГАбайтами.
Можно как угодно.
Речь о том, что человек "считающий по некоей программе", прочитав инструкцию, начнет считать (или генерить), а потом схватится за голову "а где мое свободное место?". Только и всего. Иными словами - попробуйте на минутку забыть все, что Вы знаете про программу(мы) или метод "3-ёх мегабайт", или еще какой метод, и просто выполнить действия по инструкции. Вот тут, точнее после, и возникнет "Ой!".
Offline citerra  
#700 Оставлено : 17 сентября 2018 г. 12:18:27(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 498 раз
Поблагодарили: 344 раз в 250 постах
Автор: Demis Перейти к цитате
Можно как угодно.
Речь о том, что человек "считающий по некоей программе", прочитав инструкцию, начнет считать (или генерить), а потом схватится за голову "а где мое свободное место?". Только и всего. Иными словами - попробуйте на минутку забыть все, что Вы знаете про программу(мы) или метод "3-ёх мегабайт", или еще какой метод, и просто выполнить действия по инструкции. Вот тут, точнее после, и возникнет "Ой!".
А я где такая инструкция?
Если вы про generator_lk_4_31_31.exe, то есть прекрасная программа,
которая написана для нашего случая get_stat_4_31_31.exe
Там такой ситуации в принципе не возникнет
Пользователи, просматривающие эту тему
Guest (4)
37 Страницы«<3334353637>
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

Boinc.ru theme. Boinc.ru
Форум YAF 2.1.1 | YAF © 2003-2018, Yet Another Forum.NET
Страница сгенерирована за 0.223 секунды.