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

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

Уведомление

Icon
Error

117 Страницы«<115116117
Опции
К последнему сообщению К первому непрочитанному
Offline whitefox  
#2321 Оставлено : 11 октября 2018 г. 10:51:13(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Автор: evatutin Перейти к цитате
Если я правильно помню, есть теорема, которая не позволяет получить ОДЛК от квадрата из подквадратов 5х5, а в окрестностях они есть 199

Да, это следует из теоремы Manna (Холл, Комбинаторика, Теорема 13.2.3).

Offline whitefox  
#2322 Оставлено : 12 октября 2018 г. 10:40:45(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Автор: evatutin Перейти к цитате
В рамках эксперимента e82 в проекте за прошедшую неделю была исследована окрестность симметрии (1,41) со структурой циклов X={1,1,1,1,1,1,1,1,1,1} и Y={5,5}. Оказалось, что в чистом виде данная симметрия не существует (либо если и есть, то мало и нам не попалось), однако окрестности с числом симметричных ячеек M=60 и M=70 дают много симметричных в одной плоскости повторных комбинаторных структур (двушки, четверки и восьмерки). У меня есть подозрение, что эта близость объясняется тем, что квадрат можно сложить из 5 блоков по 2 элемента, а можно — из 2 блоков по 5 (маленькие, но по 2; большие, но по 5, прямо как у А. Райкина smile ). Интересно было бы выслушать мнение начальника транспортного цеха whitefox'а по данной проблеме... Если я правильно помню, есть теорема, которая не позволяет получить ОДЛК от квадрата из подквадратов 5х5, а в окрестностях они есть 199

Пояснение. Записью (X,Y) evatutin обозначает симметрию (X,Y,Y), что вполне допустимо так как из 46 кодов возможных симметрий у 45 — второе число равно третьему. Исключение — симметрии (31,41,42).

В качестве стандартного представления симметрии (1,41,41) возьмём автоморфизм:

Код:
** 0123456789 1234067895 4012395678


Соответствующая блочная структура будет состоять из четырёх блоков размера 5x5, например ЛК:

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


будет иметь БС:

Код:
0 0 0 0 0 1 1 1 1 1
0 0 0 0 0 1 1 1 1 1
0 0 0 0 0 1 1 1 1 1
0 0 0 0 0 1 1 1 1 1
0 0 0 0 0 1 1 1 1 1
1 1 1 1 1 0 0 0 0 0
1 1 1 1 1 0 0 0 0 0
1 1 1 1 1 0 0 0 0 0
1 1 1 1 1 0 0 0 0 0
1 1 1 1 1 0 0 0 0 0


Другими словами, всякий ЛК с симметрией (1,41,41) будет иметь латинский подквадрат размера 5x5. По теореме Манна, из последнего следует, что всякий ЛК с симметрией (1,41,41) не имеет ортогональных соквадратов.

Из эвристических соображений можно предположить, что все ЛК с симметрией (1,41,41) также обладают и симметрией (1,31,31). Это почти доказанный факт, и он объясняет большое число ЛК с симметрией (1,31,31) в окрестности ЛК с симметрией (1,41,41).
thanks 1 пользователь поблагодарил whitefox за этот пост.
evatutin оставлено 12.10.2018(UTC)
Offline Mazay  
#2323 Оставлено : 20 октября 2018 г. 11:51:22(UTC)
Mazay


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

Группы: Member
Зарегистрирован: 11.01.2016(UTC)
Сообщений: 12
Российская Федерация
Откуда: Калининград

Поблагодарили: 1 раз в 1 постах
Здравствуйте!

Участвую в Вашем проекте с тех пор, как узнал о существовании boinc. У меня есть несколько машин под управлением Win XP (ну, уж на что лицензия была...) на базе процессоров Core Q6600 и Xeon E5450. Обратил внимание, что эти машины довольно давно не получают заданий от Gerasim (версия boinc поддерживается в актуальном состоянии). Подскажите, пожалуйста, это я что-то не так делаю или проект уже не поддерживает x86 архитектуру?

Спасибо!
Offline zlodeck  
#2324 Оставлено : 20 октября 2018 г. 13:07:34(UTC)
zlodeck


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

Группы: Member
Зарегистрирован: 03.06.2012(UTC)
Сообщений: 206
Откуда: Замкадье

Сказал(а) «Спасибо»: 24 раз
Поблагодарили: 97 раз в 57 постах
Автор: Mazay Перейти к цитате
Здравствуйте!

Участвую в Вашем проекте с тех пор, как узнал о существовании boinc. У меня есть несколько машин под управлением Win XP (ну, уж на что лицензия была...) на базе процессоров Core Q6600 и Xeon E5450. Обратил внимание, что эти машины довольно давно не получают заданий от Gerasim (версия boinc поддерживается в актуальном состоянии). Подскажите, пожалуйста, это я что-то не так делаю или проект уже не поддерживает x86 архитектуру?

Спасибо!


Не разработчик, но недавно пришлось изучать похожую проблему.

1. Под x86 работать не будет. В списке приложений Герасима стоит "платформа - Windows64".

2. Должны стоять:
-- Visual C++ Redistributable 2010 (x86 и x64),
-- Visual C++ Redistributable 2013 (x86 и x64),
-- Microsoft Net Framework 4.5

3. На x64 системах с ядром WindowsXP работать будет только приложение spstarter. Подробности здесь.
thanks 1 пользователь поблагодарил zlodeck за этот пост.
evatutin оставлено 22.10.2018(UTC)
Offline evatutin  
#2325 Оставлено : 30 октября 2018 г. 21:52:53(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
Вопрос: кто анализировал список SODLS, довольно давно найденных whitefox'ом, на предмет образуемых ими комбинаторных структур?
Ответ: никто!

Восполним этот пробел:

Код:
ONCE (A):1 - 30461, where:
1 CFs - 30461

LINE4 (C):2 - 3, where:
2 CFs - 3

LOOP4 (E):2 - 70, where:
2 CFs - 70


Среди них оказывается есть структуры типа Линия-4. Вроде бы ничего необычного, их нам известно аж 34 КФ, но известные нам структуры образованы 4 КФами, а SODLS — только 2 КФами ввиду наличия симметрии (автоморфизма)! Одним старым-новым подтипом структур в нашем перечне прибыло 199

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline evatutin  
#2326 Оставлено : 5 ноября 2018 г. 15:52:55(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
Выложил полный перечень комбинаторных структур, найденных в проекте, для ДЛК порядка 10.

http://evatutin.narod.ru...n_ls_all_structs_rus.pdf

При описании структуры приводится множество входящих в ее состав ДЛК, множество КФов, соответствия между КФами и ДЛК, инварианты соответствующего графа и способ нахождения. В случае нахождения новых структур список будем пополнять.

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


kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 6 пользователей поблагодарили evatutin за этот пост.
Natalia Nik оставлено 05.11.2018(UTC), citerra оставлено 05.11.2018(UTC), whitefox оставлено 06.11.2018(UTC), hoarfrost оставлено 06.11.2018(UTC), Yura12 оставлено 07.11.2018(UTC), key оставлено 08.11.2018(UTC)
Offline evatutin  
#2327 Оставлено : 7 ноября 2018 г. 16:20:07(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
В ходе разведки окрестностей симметрии (27,27) было найдено два ДЛК, являющихся SODLS (ортогональны относительно отражения от побочной диагонали):

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

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


По автоизору оба обладают двумя симметриями (27,27,27) и дают одно-КФные однушки. Для других исследованных симметрий и их окрестностей такая особенность нехарактерна, тут попалась впервые 199. Найденные КФы повторные, т.к. все SODLS были выбраны ранее в эксперименте whitefox'а.

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
whitefox оставлено 07.11.2018(UTC)
Offline evatutin  
#2328 Оставлено : 8 ноября 2018 г. 0:04:17(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
Автор: evatutin Перейти к цитате
Выложил полный перечень комбинаторных структур, найденных в проекте, для ДЛК порядка 10.

http://evatutin.narod.ru...n_ls_all_structs_rus.pdf


В дополнение к русскому варианту списка находок также выложен его английский вариант: http://evatutin.narod.ru...n_ls_all_structs_eng.pdf

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
key оставлено 08.11.2018(UTC)
Offline evatutin  
#2329 Оставлено : 13 ноября 2018 г. 16:43:37(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
По просьбе whitefox'а в проект (точнее, в подпроект ODLS BS) добавлено ~100 тыс. WU'шек с целью исследования симметрии (8,31) и новый расчетный модуль версии 1.05

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
citerra оставлено 13.11.2018(UTC)
Offline evatutin  
#2330 Оставлено : 13 ноября 2018 г. 22:12:19(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
По результатам конференции в Барнауле опубликована статья

Ватутин Э.И., Кочемазов С.Е., Заикин О.С., Манзюк М.О., Никитина Н.Н., Титов В.С. О свойствах центральной симметрии диагональных латинских квадратов // Высокопроизводительные вычислительные системы и технологии. № 1 (8). 2018. С. 74–78.

В ней описана центральная симметрия в ДЛК, часть ее свойств и некоторые числовые ряды, которые публиковались ранее

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 2 пользователей поблагодарили evatutin за этот пост.
Yura12 оставлено 14.11.2018(UTC), key оставлено 15.11.2018(UTC)
Offline evatutin  
#2331 Оставлено : 18 ноября 2018 г. 19:09:53(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
Результаты эксперимента с симметрией (8,31):

Код:
ONCE (A):1 - 7530, where:
2 CFs - 7530

LINE3 (B):1 - 72, where:
2 CFs - 2
3 CFs - 70

LINE3 (B):2 - 37, 204:1, where:
2 CFs - 2
3 CFs - 35

LOOP4 (E):2 - 4, where:
4 CFs - 4


Новые из них по сравнению с найденными ранее в проекте в ходе анализа окрестностей симметрий:

Код:
ONCE (A):1 - 1736, where:
2 CFs - 1736

LINE3 (B):1 - 2, where:
3 CFs - 2

LINE3 (B):2 - 1, 1736:1, where:
3 CFs - 1

LOOP4 (E):2 - 4, where:
4 CFs - 4


Канонизация новых КФов:

Код:
ONCE (A):1 - 4, where:
2 CFs - 4

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline evatutin  
#2332 Оставлено : 6 декабря 2018 г. 2:09:41(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
Число КФ ОДЛК, найденных в проекте, превысило 2 миллиона 199. В настоящее время продолжает выполняться анализ окрестностей обобщенных симметрий, впереди большая работа...

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline evatutin  
#2333 Оставлено : 6 декабря 2018 г. 13:34:12(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 1025 раз
Поблагодарили: 1833 раз в 888 постах
В проект добавлен подпроект Graph coloring, целью которого является исследование эффективности эвристических методов в задаче раскраски графов общего вида (во вложении пример раскраски графа из N=16 вершин в \xi=4 цвета). Данная задача относится к классу NP и не решается точно для больших N (за исключением частных случаев). Интерес вызывает то, как поведут себя известные эвристические методы на другой задаче. До этого, напомню, их эффективность подробно исследовалась в проекте в задаче поиска кратчайшего пути в графе — интересно будет сопоставить результаты. Первая партия WU'шек с именами *_g_* (эксперимент e128) направлена на исследование эффективности жадных раскрасок — WU'шки короткие, по несколько секунд счета. Далее пойдут более тяжелые итерационные методы и время счета WU'шек увеличится. Кворум 2, дедлайн 7 дней, затраты оперативной памяти пока небольшие, несколько МБ, чекпоинты есть. Расчетный код разработан и продолжает дорабатываться моим студентом — Александром Пшеничных — под моим присмотром. Присоединяйтесь! Present

PS. Все остальные квадратные подпроекты работают, как и работали, в штатном режиме.

PPS. На всякий случай, задача раскраски графов интересна тем, что к ней сводятся многие другие комбинаторные задачи (в том числе связанные с ДЛК/ОДЛК). Соответственно, если научиться решать ее эффективно, другие задачи также могут получить эффективные решения.
Пользователь evatutin прикрепил следующие файлы:
example.png

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 2 пользователей поблагодарили evatutin за этот пост.
Natalia Nik оставлено 06.12.2018(UTC), key оставлено 06.12.2018(UTC)
Offline Natalia Nik  
#2334 Оставлено : 6 декабря 2018 г. 15:30:18(UTC)
Natalia Nik


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch! Роза: Наташе - хозяйке BOINC-горы!Разработчику: Автор проекта RakeSearch!

Группы: Member, Crystal Dream Group
Зарегистрирован: 03.09.2017(UTC)
Сообщений: 35
Женщина
Российская Федерация
Откуда: Петрозаводск

Сказала «Спасибо»: 32 раз
Поблагодарили: 60 раз в 18 постах
Очень ждем приложений для Linux!
thanks 1 пользователь поблагодарил Natalia Nik за этот пост.
Yura12 оставлено 07.12.2018(UTC)
Пользователи, просматривающие эту тему
Guest (2)
117 Страницы«<115116117
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

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