Российские распределенные вычисления на платформе 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,387
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
В проект добавлено 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)
Сообщений: 104

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

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


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Автор: 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)
Сообщений: 104

Сказал(а) «Спасибо»: 28 раз
Поблагодарили: 101 раз в 58 постах
Автор: 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)
Сообщений: 104

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


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Автор: 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)
Сообщений: 104

Сказал(а) «Спасибо»: 28 раз
Поблагодарили: 101 раз в 58 постах
Автор: 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,387
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Автор: 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,387
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
В проект добавлены 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)
Offline Vitalii Koshura  
#2090 Оставлено : 1 октября 2017 г. 3:03:34(UTC)
Vitalii Koshura


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

Группы: Member
Зарегистрирован: 24.04.2015(UTC)
Сообщений: 21
Мужчина
Украина
Откуда: Odessa

Сказал «Спасибо»: 13 раз
Поблагодарили: 16 раз в 10 постах
Сервер опять немножечко упал: задание не загружаются, сайт не открывается.
Offline evatutin  
#2091 Оставлено : 4 октября 2017 г. 16:48:46(UTC)
evatutin


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

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

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

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

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
Yura12 оставлено 04.10.2017(UTC)
Offline vasyannyasha  
#2092 Оставлено : 6 октября 2017 г. 16:41:32(UTC)
vasyannyasha


Статус: Новичок

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

Сказал(а) «Спасибо»: 2 раз
Здравствуйте!
А что означает неожиданное окончание задания на половине а то и раньше.
Посмотрел в результатах он недосчитывает до 800к квадратов.
Программа находит что-то или понимает, что ничего уже не найти?

"Метод важнее открытия, так как новый метод может привести к новым, более важным открытиям."
-Лев Ландау
Offline evatutin  
#2093 Оставлено : 7 октября 2017 г. 11:37:28(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Автор: vasyannyasha Перейти к цитате
Здравствуйте!
А что означает неожиданное окончание задания на половине а то и раньше.
Посмотрел в результатах он недосчитывает до 800к квадратов.
Программа находит что-то или понимает, что ничего уже не найти?


Это скорее всего издержки генератора исходных ДЛК. Раньше он работал так: формировался случайный ДЛК (RS), проверялся на ОДЛК (ODLS), потом все повторялось. При такой генерации (RS->ODLS) оказывалось, что примерно половина времени уходит на формирование исходного ДЛК, что дает низкий темп обработки. Теперь делается по другому: сперва строится случайное заполнение части исходного ДЛК (RS), потом полным перебором достраиваются ДЛК, соответствующие начальному заполнению (LBF), а уже для них производится проверка на ОДЛК (ODLS). Так генерация исходных квадратов работает на 2 порядка быстрее построения ОДЛК через трансверсали и не является бутылочным горлышком. Минус такого генератора (RS->LBF->ODLS) вы заметили: для некоторых начальных заполнений число дозаполнений не дотягивает до 800k. Ничего страшного в этом нет, ситуация эта возникает не особо часто, просто у нас одна WU'шка закончится считаться чуть раньше и раньше пойдет следующая, на общее число квадратов, обрабатываемых процессором, например, в час это не сказывается, выход ОДЛК тоже оказывается сопоставим, я проверял 199

PS. Приветствуем на форуме и в проекте buba

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
vasyannyasha оставлено 07.10.2017(UTC)
Offline Disel  
#2094 Оставлено : 8 октября 2017 г. 9:58:54(UTC)
Disel


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

Медали: Донор: За финансовую помощь сайту

Группы: Member, Russia Team Group
Зарегистрирован: 08.07.2013(UTC)
Сообщений: 3,521
Мужчина
Российская Федерация

Сказал «Спасибо»: 475 раз
Поблагодарили: 417 раз в 317 постах
Вопрос на засыпку, хотя мне кажется он становится риторическим. В проекте ODLK приложение для Linux есть, здесь его опять нет. Базу, как я предполагаю, использовали примерно ту же и приложение делали не в Delphi, хотя точно не знаю. За свой хоть и не большой стаж в boinc я не дал этому проекту не одной секунды работы и не получил единственного очка.
Ubuntu Linux 14.04 LTS - 64 bit / Boinc 7.2.42(х64) / Core 2 DUO E6300 1.8 Ггц / GeForce GT-630
Offline evatutin  
#2095 Оставлено : 9 октября 2017 г. 13:53:40(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Автор: Disel Перейти к цитате
Базу, как я предполагаю, использовали примерно ту же и приложение делали не в Delphi, хотя точно не знаю.


Код у нас с Progger'ом совершенно разный, мой код в Delphi как часть spstarter'а, проблемы пока те же самые

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


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Опубликована статья

E. Vatutin, S. Kochemazov, O. Zaikin, Applying volunteer and parallel computing for enumerating diagonal Latin squares of order 9, in: Proc. of The Eleventh International Conference on Parallel Computational Technologies, Vol. 753 of Communications in Computer and Information Science, Springer, 2017, pp. 114–129. DOI: 10.1007/978-3-319-67035-5_9.


kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 2 пользователей поблагодарили evatutin за этот пост.
vk_DiMoH оставлено 09.10.2017(UTC), Yura12 оставлено 09.10.2017(UTC)
Offline evatutin  
#2097 Оставлено : 12 октября 2017 г. 20:37:19(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
В последовательности по симметричным (в одной плоскости) ДЛК внесены правки в соответствии с последними замечаниями whitefox'а и рядом замечаний редакторов OEIS:

A292516
A287649


Последовательности по дважды симметричным ДЛК пока находятся в состоянии подтверждения правок 199

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 2 пользователей поблагодарили evatutin за этот пост.
Nauchnik оставлено 13.10.2017(UTC), vk_DiMoH оставлено 14.10.2017(UTC)
Offline evatutin  
#2098 Оставлено : 14 октября 2017 г. 13:23:13(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
Цитата:
Последовательности по дважды симметричным ДЛК пока находятся в состоянии подтверждения правок 199


Подтверждены правки по дважды симметричным:

https://oeis.org/A287650
https://oeis.org/A292517

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
vk_DiMoH оставлено 15.10.2017(UTC)
Offline evatutin  
#2099 Оставлено : 14 октября 2017 г. 18:31:16(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 936 раз
Поблагодарили: 1528 раз в 750 постах
В проект добавлены 100 тыс. WU'шек для исследования линейки № 61

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

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