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

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

Уведомление

Icon
Error

40 Страницы«<383940
Опции
К последнему сообщению К первому непрочитанному
Offline citerra  
#781 Оставлено : 30 января 2019 г. 12:06:55(UTC)
citerra


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
В свое время обратил внимание почему так медленно пополняется минимальная группа ( приложение odlkmin ). Времени не было, так и не стал разбираться, тем более вместо описания был туманный набор фраз.
Читаю соответствующий топик.
Цитата:
На данный момент минимальная группа содержит 481 КФ ОДЛК. Почти полтысячи!
За май в этом Приложении найдено 7883 уникальные КФ ОДЛК.
и обалдеваю. Для поиска минимальных надо искать ( и находить ) кучу квадратов вне минимальной группы. Конечно так и не понял. Видимо для альтернативно одаренных.
Но всё хорошо, прекрасная маркиза,
всё хорошо:
Цитата:
Замечательно работает Приложение odlkmin@home!
Минимальная группа формируется так, как и было задумано.

Если сначала было так задумано, то я недооценивал деда макара. Да здесь никудышный метод интервалов имеет большое преимущество.
Маразм. И он был с самого начала. Вот думаю - знакомиться дальше или остановиться.
Или заходить, когда делать нечего - тип поржать.
Offline whitefox  
#782 Оставлено : 30 января 2019 г. 17:16:38(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Представляю пару утилит: Именатор_ЛК и Деименатор_ЛК.

Файл readme.txt

Вложение(я):
namer_ls.zip (189kb) загружен 17 раз(а).
Offline citerra  
#783 Оставлено : 31 января 2019 г. 8:30:46(UTC)
citerra


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Ученой проекта ODLK снова пришла ( гениальная ) мысль. Чего два проекта пыхтят.
Цитата:
Надо 67 мощных групп вычислителей, чтобы имелась мощная техника в группе (кластеры, суперкомпьютеры).
Каждая группа берёт одну линейку и обрабатывает её методом интервалов до полной кондиции.
Цитата:
Собственно, в проектах ODLK и ODLK1 тоже используется метод интервалов - в несколько иной реализации.

Осталось найти 67 добровольцев и запрячь их. Ау! Кто готов?
Offline citerra  
#784 Оставлено : 1 февраля 2019 г. 8:57:27(UTC)
citerra


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
2019 январь


Код:

Gerasim 456
ODLK     88
ODLK1   382

( в тыс.)

Найдено групп
Gerasim
более 1100 двушек
4 трешки
2 четверки

ODLK
164 двушки
трешка

ODLK1
785 двушек
трешка

Всего сейчас 8 645 078

Отредактировано пользователем 3 февраля 2019 г. 8:08:01(UTC)  | Причина: Не указана

Offline whitefox  
#785 Оставлено : 13 февраля 2019 г. 17:33:59(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
По просьбам трудящихся. smile

Выкладываю список имён всех существенно различных ЛК с симметрией (27,27,27). Всего таких ЛК 143264. Разыменуйте и запустите программу klpmd (или сразу скрипт kanon_new.bat) для получения марьяжных ДЛК.
Вложение(я):
lk_27_27_27.zip (2,168kb) загружен 7 раз(а).
Offline whitefox  
#786 Оставлено : 14 февраля 2019 г. 14:47:27(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Выкладываю программу (с исходниками) с помощью которой был получен вчерашний список. Прогресс выводится каждые пять секунд в виде двух чисел. Первое — объём выполненной работы, второе — число найденных ЛК. Поиск завершается когда объём работы достигает значения 91680192, что заняло 460 секунд.

Также прилагаю архив с 47 марьяжными ДЛК с симметрией (27,27,27), все единицы. Их замыкание содержит 48 единиц (прилагается).

Отредактировано пользователем 15 февраля 2019 г. 13:04:49(UTC)  | Причина: Не указана

Вложение(я):
generator_lk_27_27_27.zip (42kb) загружен 6 раз(а).
odlk_27_27_27.zip (7kb) загружен 6 раз(а).
Offline whitefox  
#787 Оставлено : 18 февраля 2019 г. 14:45:38(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Перечислим ЛК с симметрией (28,28,28).

В качестве стандартного представителя этой симметрии возьмём атоморфизм:

Код:
** 0231567894 0231567894 0312945678


ЛК со стандартным представлением симметрии (28,28,28) имеет следующую структуру:

Код:
0 A B
C D E
F G H


1) В левом верхнем углу стоит 0;
2) блок A 1x3 (и блок C 3x1) — циклический сдвиг строки 123;
3) блок B 1x6 (и блок F 6x1) — циклический сдвиг строки 456789;
4) блок D 3x3: одна его прямая ломанная диагональ имеет вид 000, а две другие — циклические сдвиги строки 123;
5) блок E 3x6 (и блок G 6x3) — все три прямые ломанные диагонали суть циклические сдвиги строки 456789;
6) блок H 6x6: одна его прямая ломанная диагональ имеет вид 000000, три — циклические сдвиги строки 123123, две — циклические сдвиги строки 456789.

Например:

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

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

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


Рассмотрим совокупность перестановок которые могут быть первой строкой такого ЛК. Всего их 18 и они составляют группу, которую назовём (28,28,28)-группой.

К ЛК со стандартным представлением симметрии (28,28,28) применимы следующие эквивалентные преобразования:
1) произвольная (28,28,28)-перестановка строк;
2) произвольная (28,28,28)-перестановка столбцов;
3) переименование элементов в соответствии с некоторой (28,28,28)-перестановкой;
4) любая из 6 парастрофий.

Всякий ЛК со стандартным предствлением симметрии (28,28,28) можно нормализовать при помощи подходящих эквивалентных преобразований из указанной совокупности. Приведённый выше ЛК можно нормализовать, например, так:

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

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

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


Очевидно, что у всех таких ЛК блок D имеет вид:

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


а блок E (и G) имеет только 12 вариантов. Блок H полностью определяется своей первой строкой, поэтому для перечисления нормализованных ЛК со стандартным представлением симметрии (28,28,28) достаточно для каждого из 144 вариантов выбора блоков E и G перечислить все корректные заполнения первой строки блока H.

Всего нормализованных ЛК со стандартным представлением симметрии (28,28,28) существует 864 из них существенно различных — 38.

Симметрия (28,28,28) подчинена симметриям (27,27,27) и (8,8,8), то есть всякий ЛК с симметрией (28,28,28) также обладает симметрией (27,27,27) и (8,8,8).

Марьяжных ДЛК с симметрией (28,28,28) не существует.

Отредактировано пользователем 18 февраля 2019 г. 15:23:19(UTC)  | Причина: Не указана

Вложение(я):
generator_lk_28_28_28.zip (41kb) загружен 4 раз(а).
lk_28_28_28.zip (2kb) загружен 4 раз(а).
Offline whitefox  
#788 Оставлено : 19 февраля 2019 г. 15:04:11(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Докажем, что симметрия (34,34,34) не существует.

В самом деле, предположим, что ЛК с симметрией (34,34,34) существуют и попробуем их перечислить. В качестве стандартного представителя симметрии (34,34,34) возьмём автоморфизм:

Код:
** 1032567894 1032567894 1032945678


Всякий ЛК со стандартным представлением симметрии (34,34,34) будет иметь следующую структуру:

Код:
A B C
D E F
G H I


1) блок A 2x2 (а также блоки B, D, E): на одной диагонали {0,1}, а на другой {2,3};
2) блок C 2x6 (а также блок F, и блоки 6x2 G, H): обе прямые ломанные диагонали суть циклические сдвиги строки 456789;
3) блок I 6x6: две прямые ломанные диагонали суть циклические сдвиги строки 010101, другие две — циклические сдвиги строки 232323, и последние две — циклические сдвиги строки 456789.

Рассмотрим совокупность перестановок которые могут быть первой строкой ЛК со стандартным представлением симметрии (34,34,34). Всего таких перестановок 48 и они составляют (34,34,34)-группу.

К ЛК со стандартным представлением симметрии (34,34,34) применимы следующие эквивалентные преобразования:
1) произвольная (34,34,34)-перестановка строк;
2) произвольная (34,34,34)-перестановка столбцов;
3) переименование элементов в соответствии с произвольной (34,34,34)-перестановкой;
4) произвольная парастрофия.

Используя допустимые эквивалентные преобразования, всякий ЛК со стандартным представлением симметрии (34,34,34) можно всегда привести к "нормальному" виду:

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

1 3  0 2  . . . . . .
2 0  3 1  . . . . . .

4 .  . .  . . . . . .
. 5  . .  . . . . . .
6 .  . .  . . . . . .
. 7  . .  . . . . . .
8 .  . .  . . . . . .
. 9  . .  . . . . . .

Для нормального ЛК существует только 12 вариантов заполнения пары блоков C+F (аналогично для пары блоков G+H). Блок I полностью определяется своей первой строкой. То есть для перечисления нормальных ЛК со стандартным представлением симметрии (34,34,34) нужно для каждого из 144 вариантов заполнения блоков C+F и G+H, найти все корректные заполнения первой строки блока I.

Приложенная программа выполняет эту работу, и не находит ни одного нормального ЛК со стандартным представлением симметрии (34,34,34). Что и доказывает несуществование данной симметрии.
Вложение(я):
generator_lk_34_34_34.zip (7kb) загружен 3 раз(а).
Offline citerra  
#789 Оставлено : 19 февраля 2019 г. 16:37:42(UTC)
citerra


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Еще минус одна симметрия
Осталось найти восемь симметрий
(11,34,34)
(17,36,36)
(19,34,34)
(22,37,37)
(32,36,36)
(36,36,36)
(37,37,37)
(42,42,42)




Offline AlexA  
#790 Оставлено : 19 февраля 2019 г. 22:29:03(UTC)
AlexA


Статус: Administration

Медали: Переводчику: За помощь в создании сайта

Группы: Editors, Member, Administration, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 6,112
Мужчина
Российская Федерация
Откуда: "Russia Team"

Сказал «Спасибо»: 1251 раз
Поблагодарили: 1526 раз в 840 постах
Автор: citerra Перейти к цитате
Еще минус одна симметрия
Осталось найти восемь симметрий
(11,34,34)
(17,36,36)
(19,34,34)
(22,37,37)
(32,36,36)
(36,36,36)
(37,37,37)
(42,42,42)



Конечность цели исследования - обнадеживающий довод в пользу её достижимости smile
Offline whitefox  
#791 Оставлено : 20 февраля 2019 г. 14:43:25(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Ранее вводились понятия:

(27,27,27)-группы
(28,28,28)-группы
(34,34,34)-группы

Будем их обозначать 27-группа, 28-группа и 34-группа соответственно. И, вообще, пусть X обозначает номер циклической структуры. Разделим строку 0123456789 на отрезки в соответствии с этой циклической структурой и найдём все строки получающиеся из исходной строки циклическим сдвигом элементов отрезков и перестановкой отрезков одинаковой длины. Например, для X=28 имеем циклическую структуру {1,3,6} и получим следующую совокупность из 18 строк:

Код:
[0][123][456789] = 0123456789
[0][123][567894] = 0123567894
[0][123][678945] = 0123678945
[0][123][789456] = 0123789456
[0][123][894567] = 0123894567
[0][123][945678] = 0123945678

[0][231][456789] = 0231456789
[0][231][567894] = 0231567894
[0][231][678945] = 0231678945
[0][231][789456] = 0231789456
[0][231][894567] = 0231894567
[0][231][945678] = 0231945678

[0][312][456789] = 0312456789
[0][312][567894] = 0312567894
[0][312][678945] = 0312678945
[0][312][789456] = 0312789456
[0][312][894567] = 0312894567
[0][312][945678] = 0312945678


А для X=22 имеем циклическую структуру {1,1,8} и получим следующую совокупность из 16 строк:

Код:
[0][1][23456789] = 0123456789
[0][1][34567892] = 0134567892
[0][1][45678923] = 0145678923
[0][1][56789234] = 0156789234
[0][1][67892345] = 0167892345
[0][1][78923456] = 0178923456
[0][1][89234567] = 0189234567
[0][1][92345678] = 0192345678

[1][0][23456789] = 1023456789
[1][0][34567892] = 1034567892
[1][0][45678923] = 1045678923
[1][0][56789234] = 1056789234
[1][0][67892345] = 1067892345
[1][0][78923456] = 1078923456
[1][0][89234567] = 1089234567
[1][0][92345678] = 1092345678


Полученные строки будем рассматривать как перестановки. Очевидно, что эти перестановки составляют группу, которую будем называть X-группой для соответствующего X.


Поищем ЛК с симметриями (x,34,34) x in {10,11,18,19,33}

1) Перечислим ЛК с симметрией (10,34,34).


Всего существует 92160 нормальных ЛК со стандартным представлением симметрии (10,34,34), существенно различных из них — 355.

Симметрия (10,34,34) подчинена симметриям (1,31,31) и (10,10,10). 11 ЛК обладают одновременно симметриями (10,34,34) и (33,34,34). Марьяжных ДЛК с симметрией (10,34,34) не существует.


2) Перечислим ЛК с симметрией (11,34,34).


Всего существует 9216 нормальных ЛК со стандартным представлением симметрии (11,34,34), существенно различных из них — 92.

Симметрия (11,34,34) подчинена симметриям (8,31,31) и (10,10,10). Марьяжных ДЛК с симметрией (11,34,34) не существует.


3) Перечислим ЛК с симметрией (18,34,34).


Всего существует 18432 нормальных ЛК со стандартным представлением симметрии (18,34,34), существенно различных из них — 230.

Симметрия (18,34,34) подчинена симметриям (2,31,31) и (10,10,10). Марьяжных ДЛК с симметрией (18,34,34) не существует.


4) Перечислим ЛК с симметрией (19,34,34).


Всего существует 2304 нормальных ЛК со стандартным представлением симметрии (19,34,34), существенно различных из них — 86.

Симметрия (19,34,34) подчинена симметриям (16,31,31) и (10,10,10). Марьяжных ДЛК с симметрией (19,34,34) не существует.


5) Перечислим ЛК с симметрией (33,34,34).


Всего существует 9216 нормальных ЛК со стандартным представлением симметрии (33,34,34), существенно различных из них — 87.

Симметрия (33,34,34) подчинена симметриям (4,31,31) и (10,10,10). Марьяжных ДЛК с симметрией (33,34,34) не существует.


Итак, завершена тотальная проверка ещё одного куста симметрий (x,34,34) x in {10,11,18,19,33}. Оказалось, что все симметрии этого куста подчинены симметриям уже проверенного куста (x,31,31) x in {1,2,4,8,16}, то есть все ЛК этого куста были проверены ранее. Теперь показано, что других ЛК этот куст не содержит. Также оказалось, что все симметрии этого куста подчинены одной симметрии (10,10,10).

Марьяжных ДЛК второй куст симметрий не содержит.
Вложение(я):
generator_lk_x_34_34.zip (197kb) загружен 3 раз(а).
lk_x_34_34.zip (24kb) загружен 3 раз(а).
Offline citerra  
#792 Оставлено : 20 февраля 2019 г. 14:55:39(UTC)
citerra


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Еще минус две симметрии
Неизвестно еще шесть симметрий
(17,36,36)
(22,37,37)
(32,36,36)
(36,36,36)
(37,37,37)
(42,42,42)

или

Код:
(17,36,36)  ---   (32,36,36)  ---   (36,36,36)
                  (22,37,37)  ---   (37,37,37)
                                    (42,42,42)
Offline whitefox  
#793 Оставлено : 21 февраля 2019 г. 15:43:44(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
1) Утверждение. Симметрия (37,37,37) не существует.

Доказательство.


2) Перечислим ЛК с симметрией (22,37,37).

Всего существует 672 нормальных ЛК со стандартным представлением симметрии (22,37,37), существенно различных из них — 26. Симметрия (22,37,37) подчинена симметриям (16,16,16) и (21,21,21). Марьяжных ДЛК с симметрией (22,37,37) не существует.

3) Утверждение. Симметрии (17,36,36) и (32,36,36) не существуют.

Доказательство.


4) Утверждение. Симметрия (36,36,36) не существует.

Доказательство.

Отредактировано пользователем 21 февраля 2019 г. 16:10:34(UTC)  | Причина: Не указана

Вложение(я):
generator_lk_22_37_37.zip (39kb) загружен 4 раз(а).
lk_22_37_37.zip (2kb) загружен 3 раз(а).
Offline citerra  
#794 Оставлено : 21 февраля 2019 г. 17:02:27(UTC)
citerra


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Итак неясна судьба только одной симметрии
(42,42,42)
Пользователи, просматривающие эту тему
Guest (2)
40 Страницы«<383940
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

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