И на моих ксеоновых ядрах 2,4 тоже быстро считаются(а считаются ли?)
http://gerasim.boinc.ru/...t.aspx?resultid=42128244
CPU/Device time: 2.00 sec
Claimed credit: 0.02
Granted credit: 0.03

Application: "spstarter", version: 276, platform: Windows64, plan_class: cpu.

Логика мне видится тут только одна - по времени и награда)

В проект добавлено 268 тыс. WU'шек с именами *_e44_12_* с целью исследования последней по счету (55)-симметрии. У меня есть сильное подозрение, что ДЛК, соответствующих данной симметрии, нет, а значит и ОДЛК не будет найдено, но на своей машине на подобную проверку у меня уйдет несколько недель, а в проекте мы в этом убедимся за 1-2 дня. WU'шки опять короткие, извиняйте, но это ненадолго

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

В связи с производством технических работ провайдером QWERTY, с 6-го по 18 мая, ожидается, что проект будет работать с перебоями или вовсе недоступен.
Дополнительно, 6-го мая постоянный IP-адрес будет изменён. На какой - пока не известно(пришлют СМС).

В проект добавлена новая версия расчетного модуля (2.7.7) и 100 тыс. WU'шек с именами *e43_1_1xxx_*. Цель небольшого нового эксперимента — попробовать другую стратегию канонизации (до или после?), если она окажется лучше используемой в настоящее время — оставим ее, если нет — будем использовать старую. Предыдущие WU'шки свой актуальности не теряют, все находки ОДЛК идут в общий список, как и ранее

PS.

— Знаете, что нужно делать, чтобы не забеременеть?
— Что?
— Нужно пить чай!
— До того или после того?
— Вместо того!

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

[upd]
В расчетник внесены косметические изменения, связанные с постобработкой результатов на клиенте, версия изменена на 2.7.8

Отредактировано пользователем 11 мая 2018 г. 17:28:10(UTC)  | Причина: Не указана

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

ONCE (A) - 1894
LINE3 (B) - 337
LOOP4 (E) - 27
1TO3 (F) - 12
1TO4 (G) - 11
CROSS (X) - 6

Некоторые из них привожу ниже:

Цикл-4:

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

Трешка (всего найдено 3, до этого за все время поиска было 2, а тут всего за 1 ночь сразу +3!):

0 1 2 3 4 5 6 7 8 9
1 2 3 0 6 9 4 8 5 7
3 0 7 6 8 4 5 1 9 2
9 4 8 5 0 7 2 6 3 1
2 9 5 8 1 0 7 4 6 3
4 7 1 9 3 6 8 5 2 0
5 3 0 4 7 8 9 2 1 6
8 5 6 2 9 1 0 3 7 4
6 8 9 7 2 3 1 0 4 5
7 6 4 1 5 2 3 9 0 8
ХО=26

Четверка:

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 7 9 5 6 8
7 6 3 5 8 9 2 0 1 4
5 8 6 9 0 1 7 4 2 3
4 0 8 6 7 3 1 2 9 5
6 3 9 8 5 4 0 1 7 2
9 5 4 2 1 6 8 3 0 7
3 9 1 7 2 8 5 6 4 0
2 4 7 1 9 0 3 8 5 6
8 7 5 0 6 2 4 9 3 1
ХО=14

Ну и самое интересное, новая структура — крест (см. картинку во вложении):

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

Думаю дальше интересных находок будет не меньше...

Найдена еще одна большая комбинаторная структура, включающая в своем составе ДЛК, которому ортогональны одновременно 10 других ДЛК. Образующий ее квадрат привожу (на рисунке во вложении он соответствует квадрату A):

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



Структура была найдена мной (мне везет, я свои мощности из проекта никуда не выводил ), на всякий случай в качестве подтверждения даю ссылку на WU'шку на сайте проекта: wu_e46_60_19_16_0_74238035. Справедливости ради, структура изоморфна найденной несколькими днями ранее нашими "партнерами" (с) (Макарова et al.), только что-то они кружочков лишних внизу пририсовали себе . И вообще, почему там кружочки нарисованы, я не понимаю, мы же квадраты ищем — должны быть квадраты! Одним словом, правильный рисунок во вложении

PS. Двушки в новом эксперименте находятся десятками в день (если не сотнями), циклы-4, трешки и четверки по нескольку штук в день, я их пока не считаю, по завершению эксперимента подведем итоги поиска

Отредактировано пользователем 14 мая 2018 г. 12:45:56(UTC)  | Причина: Не указана

На некоторых машинах WU'шки сыпятся с ошибками из-за отсутствия в системе пары DLL'ок (msvp100.dll и msvr100.dll) . Лечится копированием недостающего в System32 и SysWOW64

Найдена еще одна новая комбинаторная структура — пятерка (1:5)! Даже не одна, а целых две:

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



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



WU'шка: wu_e46_60_14_931_0_85879558, найдена на моей машине, в ней обе пятерки

Обе находки очень близки по Хэммингу

Отредактировано пользователем 15 мая 2018 г. 20:26:39(UTC)  | Причина: Не указана

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



Название структуры дается в текстовом виде (например, "LINE3 (B)" ), дальше через двоеточие — степень вершины, а через тире — число соответствующих КФов. Например, на данный момент список КФов включает в своем составе 10420 "концов" от структур типа LINE3 (B) и 7695 их "центров".

Отредактировано пользователем 5 июня 2018 г. 13:48:20(UTC)  | Причина: Не указана

В OEIS есть последовательность A266177, которая представляет собой число "пустышек" (квадратов без ортогональной пары) среди ЛК. Для ДЛК аналогичные цифры в OEIS не представлены, восполняем этот пробел.

0, 0, 0, 0, 4, 128, 170 944, 7 446 955 776 — число нормализованных ДЛК без ОДЛК порядка N от 1 до 8 (X1)
0, 0, 0, 0, 480, 92 160, 861 557 760, 300 261 256 888 320 — число ДЛК без ОДЛК порядка N от 1 до 8 (X2)

1, 0, 0, 2, 4, 0, 256, 632 064 — число нормализованных ДЛК с ОДЛК (хотя бы с одним ОДЛК) порядка N от 1 до 8 (Y1)
1, 0, 0, 48, 480, 0, 1 290 240, 25 484 820 480 — число ДЛК с ОДЛК (хотя бы с одним ОДЛК) порядка N от 1 до 8 (Y2)

Все 4 последовательности новые, в OEIS не представлены, будем добавлять. Соответствующая публикацию подана на наше "Распознавание".

Несложно заметить, что:

X1 + Y1 = A274171 (общее число нормализованных ДЛК)
X2 + Y2 = A274806 (общее число ДЛК)

т.к. квадрат либо имеет хотя бы один ортогональный квадрат, либо нет (по сути это два не пересекающихся множества).

Для размерности N=8 расчет в 1 поток с темпом ~4200 ДЛК/с длился 20,5 суток на Core i7 4770. Под конец расчета машина была в полурабочем состоянии (uptime почти полтора месяца) и очень просила перезагрузки, не запускались новые процессы, не открывались новые вкладки в браузерах и пр., однако все нормально досчиталось! Подобные расчеты в будущем лучше выполнять в проекте, для него указанный объем вычислений — семечки. Было бы здорово, если бы кто-то проверил полученные мной цифры...

PS. Ну и в заключении о тонкостях перевода... Пустышка по русски <=> bachelor по английски. В то же самое время bachelor по английски <=> бакалавр по русски. С учетом транзитивности отношения эквивалентности <=> получаем, что бакалавр <=> пустышка, тут есть над чем подумать, болванский процесс в действии

[upd]
https://oeis.org/draft/A305568
https://oeis.org/draft/A305569
https://oeis.org/draft/A305570
https://oeis.org/draft/A305571

Отредактировано пользователем 5 июня 2018 г. 18:11:56(UTC)  | Причина: Не указана