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

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

Уведомление

Icon
Error

105 Страницы«<103104105
Опции
К последнему сообщению К первому непрочитанному
Offline evatutin  
#2081 Оставлено : 18 сентября 2017 г. 17:43:59(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 931 раз
Поблагодарили: 1508 раз в 735 постах
В проект добавлено 400 тыс. WU'шек перспективной на наш взгляд первой линейки № 1 и 100 тыс. WU'шек линейки № 44 с целью исследования ее свойств.

PS. Кранчер Mumps [MM] подтянул мощности (и мне кажется продолжает подтягивать 199), производительность проекта поднялась с 1,3 до 3,7 TFLOP/s, его RAC в настоящий момент составляет более 400 тыс. CS, что вывод его на первое место среди юзеров, респект! buba

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline whitefox  
#2082 Оставлено : 18 сентября 2017 г. 17:49:43(UTC)
whitefox


Статус: Интересующийся

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

Сказал(а) «Спасибо»: 26 раз
Поблагодарили: 96 раз в 54 постах
Автор: evatutin Перейти к цитате
песочные часы — это лишь один из типов подобного разбиения, у меня есть подозрение, что его можно улучшить
В соседней теме вы уже писали о "Х-схемах", это и есть улучшение СПЧ. Причём совпадающее с СНДЛК.

Offline evatutin  
#2083 Оставлено : 18 сентября 2017 г. 18:52:15(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 931 раз
Поблагодарили: 1508 раз в 735 постах
Автор: whitefox Перейти к цитате
В соседней теме вы уже писали о "Х-схемах", это и есть улучшение СПЧ. Причём совпадающее с СНДЛК.


Это по сути перепроверка ваших идей в понятном мне изложении. А СПЧ (Совет по Правам Человека? smile ) — это подклассы, которые предложил veinamond. Мне кажется так...

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline whitefox  
#2084 Оставлено : 19 сентября 2017 г. 10:42:04(UTC)
whitefox


Статус: Интересующийся

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

Сказал(а) «Спасибо»: 26 раз
Поблагодарили: 96 раз в 54 постах
Автор: evatutin Перейти к цитате
Автор: whitefox Перейти к цитате
Изложу попозже, сейчас недосуг.


Излагайте, очень интересно angry



Рассмотрим произвольную перестановку чётного порядка N, например, 8903461752. Симметрично расположенные элементы (то есть элементы в позициях i и (N-1 - i) для всех i = 0 ... N-1) составят N/2 неупорядоченных пар, в нашем примере {0,7}, {1,3}, {2,8}, {4,6}, {5,9}. Определяющим свойством вертикально симметричного ДЛК порядка N является то, что все его строки имеют один и тот же набор неупорядоченных пар симметрично расположенных элементов. Аналогично, определяющим свойством горизонтально симметричного ДЛК является то, что все его столбцы имеют один и тот же набор неупорядоченных пар симметрично расположенных элементов. Симметричным ДЛК будет либо вертикально симметричный, либо горизонтально симметричный (либо одновременно и то и другое), в указанном выше смысле, ДЛК.

Все СНДЛК одной линейки имеют одинаковые диагонали. Поэтому, чтобы в данной линейке существовали симметричные ДЛК, необходимо выполнение для диагоналей, указанного определяющего свойства (либо вертикально, либо горизонтально).

Рассмотрим линейку 1 с побочной диагональю 1032674598. Легко убедиться, что диагонали этой линейки вертикально симметричны в указанном смысле (а горизонтально — нет).

Так как, по определению, главная диагональ любой линейки нормализована, то необходимое условие существования вертикально симметричных СНДЛК превращается в требование равенства длин всех циклов побочной диагонали, рассматриваемой как перестановка, двум. Например, для линейки 1 имеем: 1032674598 = (01)(23)(46)(57)(89), критерий удовлетворён. Аналогично, для существования горизонтально симметричных СНДЛК необходимо, чтобы все циклы перевёрнутой (читаемой сзади наперёд) побочной диагонали имели длину два. Например, для линейки 1 имеем: 8954762301 = (08)(19)(256)(347), критерий не удовлетворяется.

Таким образом, необходим условием существования в линейке симметричных ДЛК является равенство двум длин всех циклов побочной диагонали или её перевёртыша. Очевидно, что это условие является и достаточным.

Вот циклические разложения побочных диагоналей и их перевёртышей для всех линеек:



Видим, что критерию вертикальной симметричности удовлетворяют только линейки 1 и 6, а критерию горизонтальной симметричности не удовлетворяет ни одна. Из последнего, в частности, следует, что не существует дважды симметричных ДЛК10.
thanks 3 пользователей поблагодарили whitefox за этот пост.
Progger оставлено 19.09.2017(UTC), citerra оставлено 19.09.2017(UTC), evatutin оставлено 19.09.2017(UTC)
Offline whitefox  
#2085 Оставлено : 19 сентября 2017 г. 10:46:07(UTC)
whitefox


Статус: Интересующийся

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

Сказал(а) «Спасибо»: 26 раз
Поблагодарили: 96 раз в 54 постах
evatutin
Хм, почему номера линеек у меня отличаются от ваших?
Offline evatutin  
#2086 Оставлено : 19 сентября 2017 г. 20:21:48(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 931 раз
Поблагодарили: 1508 раз в 735 постах
Автор: whitefox Перейти к цитате
Хм, почему номера линеек у меня отличаются от ваших?


У меня они идут лексикографически, а у вас порядок другой, более хитрый, как мне кажется

Цитата:
Таким образом, необходим условием существования в линейке симметричных ДЛК является равенство двум длин всех циклов побочной диагонали или её перевёртыша. Очевидно, что это условие является и достаточным.


Все гениальное просто! Эту особенность можно и глазом заметить по X-образному заполнению: оно само по себе либо симметрично, либо нет. А остальные недиагональные элементы можно заполнить в общем случае абы как (но по правилам ДЛК), что объясняет наличие в данных линейках и несимметричных ДЛК 199. Одной загадкой стало меньше smile

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline whitefox  
#2087 Оставлено : 20 сентября 2017 г. 13:43:35(UTC)
whitefox


Статус: Интересующийся

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

Сказал(а) «Спасибо»: 26 раз
Поблагодарили: 96 раз в 54 постах
Автор: evatutin Перейти к цитате
Автор: whitefox Перейти к цитате
Хм, почему номера линеек у меня отличаются от ваших?


У меня они идут лексикографически, а у вас порядок другой, более хитрый, как мне кажется


Ага, так и предполагал (моя 6 линейка равна вашей 7), но меня смутила ваша 4-я вместо моей 1-ой, очепятка?

Лексикографический порядок это первое, что приходит в голову. Но дело в том, что множество линеек распадается на два класса различающихся порядком канонизации (о чём писал здесь). В первый класс входит 56 линеек, а во второй 11. Поэтому и был выбран порядок в котором линейки первого класса идут раньше линеек второго и каждый класс упорядочен лексикографически. Это позволяет легко решить вопрос о том какой алгоритм канонизации применять просто сравнив номер линейки с числом 56.
Offline evatutin  
#2088 Оставлено : 20 сентября 2017 г. 23:32:28(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 931 раз
Поблагодарили: 1508 раз в 735 постах
Автор: whitefox Перейти к цитате
Ага, так и предполагал (моя 6 линейка равна вашей 7), но меня смутила ваша 4-я вместо моей 1-ой, очепятка?


У меня так:

1: 1032674598
2: 1032674895
3: 1032675498
4: 1032675894
5: 1032678945
6: 1032678954
7: 1032684957
8: 1032684975
9: 1032685947
10: 1032685974
...

Вроде без опечаток...

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline evatutin  
#2089 Оставлено : 23 сентября 2017 г. 11:34:59(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 931 раз
Поблагодарили: 1508 раз в 735 постах
В проект добавлены WU'шки для исследования линейки № 46. Обработка линейки № 44 практически завершена (не считая хвостов), ничего особенного в ее составе не обнаружено

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
vk_DiMoH оставлено 23.09.2017(UTC)
Пользователи, просматривающие эту тему
Guest (3)
105 Страницы«<103104105
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

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