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

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

Уведомление

Icon
Error

19 Страницы«<1314151617>»
Опции
К последнему сообщению К первому непрочитанному
Offline evatutin  
#281 Оставлено : 1 апреля 2017 г. 15:08:19(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 912 раз
Поблагодарили: 1465 раз в 717 постах
Автор: AlexA Перейти к цитате
Почему-то, распаковывается. Пишет - неизвестный метод Не получается И как с ней работать?


Оно 7zip'ом запаковано, соответственно надо распаковывать или им же, или последними версиями WinRar'а, более ранние не понимают

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
thanks 1 пользователь поблагодарил evatutin за этот пост.
AlexA оставлено 01.04.2017(UTC)
Offline citerra  
#282 Оставлено : 2 апреля 2017 г. 15:14:41(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Слил в один список из всех известных источников. Всего 44940 КФ ОДЛК.
43 121 однушка
2614 двушек
1 тройка
205 четверок
6 шестерок
4 восьмерки
Громадная часть от SODLS, которые нашел whitefox ( 30502 КФ ОДЛК ).
После обработки их получено еще более 2000 ( канонизатор ) и 5 (перестановки ).
От Боинк проекта Gerasim 3130. Здесь прекрасно то, что новые сотни КФ появляются каждый день.
На фоне этих глыб мои находки мелки, но всё же дают прибавку.
И в заключение список https://yadi.sk/d/2qQ5B7dS3GYEgD
от которого получился еще небольшой довесок в 246 КФ

В заключение подарок от народных умельцев
UserPostedImage
Квадраты в массы!!!


Сейчас займусь увеличением выхлопа в случайном поиске. Идея заключается в анализе под- и над- поддиагонали главной диагонали ( может быть и второй ). И негодные по фильтру не проверять на ортогональность.
Цель повысить вдвое, а если найдется хороший фильтр, то и втрое.Лучше в пять, но это мечты, мечты...
Опасность в том, что если выбрать крутой фильтр, то среди отклоненных будет много отклоненных ОДЛК.
Но если останется 10% кандидатов, то можно и половину пропускать.
Баланс уже можно в ходе настройки установить.
Пока отсеиваю 20-25%. Выигрыш будет в 20%. Мало.

Отредактировано пользователем 2 апреля 2017 г. 22:52:05(UTC)  | Причина: Не указана

Вложение(я):
kf44940.rar (1,854kb) загружен 7 раз(а).
thanks 2 пользователей поблагодарили citerra за этот пост.
evatutin оставлено 02.04.2017(UTC), whitefox оставлено 03.04.2017(UTC)
Offline evatutin  
#283 Оставлено : 2 апреля 2017 г. 16:32:26(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 912 раз
Поблагодарили: 1465 раз в 717 постах
Когда пошел разговор про SODLS, у меня появилось подозрение, что транспонирование — не единственное преобразование, с помощью которого можно получать парный ортогональный ДЛК. Как минимум еще можно делать:
* вращение на +90 градусов (по часовой);
* вращение на -90 градусов (против);
* вращение на 180 градусов;
* симметричное отражение (по вертикали или горизонтали).
Сразу скажу, что вращение на 180 градусов ОДЛК не дает, мешают диагонали. А вот остальные дают, но... Для симметричных отражений решения для N=8 нет Не получается (есть для N=1, N=5 и N=7, старше не проверял). Для вращений по и против часовой число таких вращательных SODLS оказывается равным 768 (проверяется наивной реализацией полного перебора за 24 и 32 часа в 1 поток соответственно). Используя канонизатор whitefox'а построил КФ'ы, их оказалось 6.

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

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

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

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

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

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


Интересно то, что все эти КФы есть в списке whitefox'а для транспонированных SODLS, но в нем есть еще 2, которых здесь нет... Т.е. интуитивно получается, что эти преобразования в некоторых случаях эквивалентны с позиции получаемой КФ, но не всегда. Видимо с их помощью мы попадаем на разные элементы одного и того же класса ОДЛК. Хотелось бы услышать комментарий whitefox'а по этому поводу...

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


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

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

Сказал(а) «Спасибо»: 23 раз
Поблагодарили: 79 раз в 48 постах
Автор: evatutin Перейти к цитате
Когда пошел разговор про SODLS, у меня появилось подозрение, что транспонирование — не единственное преобразование, с помощью которого можно получать парный ортогональный ДЛК. Как минимум еще можно делать:
* вращение на +90 градусов (по часовой);
* вращение на -90 градусов (против);
* вращение на 180 градусов;
* симметричное отражение (по вертикали или горизонтали).


Да и вообще, сам термин SOLS применительно к конкретным ЛК является оксюмороном, ну не может ЛК быть самоортогональным. Другое дело, если рассматривать отношение ортогональности на главных классах ЛК — два класса ЛК A и B считаются ортогональными если найдётся пара ортогональных ЛК La и Lb таких, что La принадлежит классу A, а Lb принадлежит классу B. И понимать термин SOLS как относящийся к главному классу к которому данный ЛК принадлежит. Тогда ЛК будет SOLS если он ортогонален какому-нибудь своему изоморфу.

Offline whitefox  
#285 Оставлено : 3 апреля 2017 г. 8:58:20(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 23 раз
Поблагодарили: 79 раз в 48 постах
thanks 1 пользователь поблагодарил whitefox за этот пост.
citerra оставлено 03.04.2017(UTC)
Offline citerra  
#286 Оставлено : 4 апреля 2017 г. 8:08:19(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Продолжаю эксперименты по увеличению находок при случайном поиске. Улучшения есть, но не такие заметные, как рассчитывал.
Общее кол-во КФ ОДЛК достигло цифры 45217
Так же найдена 45я КФ ОДЛК
Цитата:
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 0 1 5 6 3 4 8 9 7
3 5 6 9 7 8 1 4 2 0
6 4 9 8 5 0 7 1 3 2
4 6 8 0 2 7 9 3 5 1
9 7 3 6 0 2 8 5 1 4
7 8 4 2 9 1 3 6 0 5
8 3 5 7 1 9 2 0 4 6
5 9 7 1 8 4 0 2 6 3
Offline citerra  
#287 Оставлено : 4 апреля 2017 г. 20:30:20(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Допустил ошибку и все потоки работали без фильтра. Так что обычные 6 КФ получены. Разбираться буду уже завтра. Порадовали добровольцы, от них получено ( в различных экспериментоах ) 50 новых КФ, всего в списке стало 45 520.
Offline citerra  
#288 Оставлено : 6 апреля 2017 г. 7:28:14(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Эксперимент зациклился. Значительного прироста не удалось получить, вернусь к нему позже.
Нашлась 47я КФ ОДЛК. А Общее кол-во перевалило за 46тыс. ( добровольцы и проект Gerasim@Home продолжают радовать ) - 46021
Offline citerra  
#289 Оставлено : 7 апреля 2017 г. 22:33:55(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
На данный момент число КФ ОДЛК достигло 46299, в.ч. двушек 2621
Offline citerra  
#290 Оставлено : 11 апреля 2017 г. 10:12:20(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Уже более 47тыс - 47045 ( 2621 двушек )
Offline citerra  
#291 Оставлено : 12 апреля 2017 г. 8:29:03(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
50я КФ ОДЛК
Цитата:
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 0 1 5 6 3 4 8 9 7
3 5 7 8 2 9 1 0 6 4
7 8 5 6 9 2 3 1 4 0
6 7 8 9 5 4 0 2 1 3
5 6 9 0 8 1 7 4 3 2
9 4 6 7 1 8 2 3 0 5
8 3 4 2 0 7 9 6 5 1
4 9 3 1 7 0 8 5 2 6
Следом и 51я
Всего 47057
Offline citerra  
#292 Оставлено : 14 апреля 2017 г. 21:25:08(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Есть 48 000 КФ ОДЛК
Offline citerra  
#293 Оставлено : 20 апреля 2017 г. 11:33:49(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Положение на текущий момент:
Всего 49 056 КФ ОДЛК
двушек - 2 708
четверок - 213
54 КФ с самого начала

Среди симметричных
1687 двушек
138 четверок

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

Offline citerra  
#294 Оставлено : 22 апреля 2017 г. 7:30:35(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
55я КФ ОДЛК
Цитата:
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 0 1 5 6 3 4 8 9 7
3 5 7 9 8 1 2 0 4 6
7 9 8 0 5 4 3 6 1 2
8 6 4 2 0 7 9 5 3 1
6 7 5 1 9 0 8 4 2 3
9 4 6 8 7 2 1 3 5 0
4 3 9 7 2 8 0 1 6 5
5 8 3 6 1 9 7 2 0 4


Offline whitefox  
#295 Оставлено : 25 апреля 2017 г. 14:23:45(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 23 раз
Поблагодарили: 79 раз в 48 постах
Представляю новую версию Канонизатора ДЛК. Объём работы существенно сократился — вместо проверки 15360 изоморфов теперь достаточно проверить не более 47. Для этого потребовалось изменить определение канонической формы, а точнее, определение нормализованного ДЛК. Будем говорить, что ДЛК сильно нормализован если его главная диагональ имеет вид 0123456789, а побочная один из следующих 67 видов:


Этот список разделён на две части не случайно (но об этом и всей теории в другой раз).

Каноническую форму ДЛК определим как наименьший в лексикографическом порядке сильно нормализованный ДЛК. Оказывается, что любой главный класс ДЛК содержит не более 48 сильно нормализованных ДЛК, а некоторые так и вовсе по одному.
thanks 2 пользователей поблагодарили whitefox за этот пост.
citerra оставлено 25.04.2017(UTC), AlexA оставлено 25.04.2017(UTC)
Offline citerra  
#296 Оставлено : 26 апреля 2017 г. 11:05:22(UTC)
citerra


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

Медали: Первооткрывателю: Результат в проекте SAT@homeДонор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 324 раз
Поблагодарили: 295 раз в 215 постах
Превышен порог 50 000 КФ ОДЛК
Выкладываю список в новом формате
В нем
47054 однушек
2732 двушек
1 тройка
218 четверок
6 шестерок
4 восьмерки
В этом же списке и 58 первых КФ ОДЛК в лексикографическом порядке
Всего 50 015
Вложение(я):
cf50015.rar (2,383kb) загружен 4 раз(а).
thanks 2 пользователей поблагодарили citerra за этот пост.
whitefox оставлено 26.04.2017(UTC), evatutin оставлено 26.04.2017(UTC)
Offline whitefox  
#297 Оставлено : 26 апреля 2017 г. 12:10:29(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 23 раз
Поблагодарили: 79 раз в 48 постах
Обещанная теория. smile

Будем рассматривать ДЛК с нормализованной главой диагональю (впредь, до конца поста, под нормализацией ДЛК будет пониматься нормализация главной диагонали). Зададимся вопросами:
1) какими могут быть побочные диагонали, и
2) как они изменяются при изоморфизме (с последующей нормализацией)?

Для определённости, будем считывать побочную диагональ начиная с правого верхнего угла и далее вниз налево. Из определения ДЛК следует, что побочная диагональ нормализованного ДЛК это:
1) перестановка, так как все её элементы различны;
2) беспорядок (то есть перестановка не сохраняющая на месте ни один элемент), так как в каждой строке ДЛК не может быть двух одинаковых элементов, а соответствующий элемент уже стоит в главной диагонали;
3) двухсторонний беспорядок (то есть беспорядок который при прочтении справа налево тоже будет беспорядком), так как в каждом столбце ДЛК не может быть двух одинаковых элементов, а соответствующий элемент уже стоит в главной диагонали.

Всего двухсторонних беспорядков 10-го порядка имеется 440192. Это и есть исчерпывающий ответ на первый вопрос.

Перейдём ко второму вопросу. Для начала рассмотрим влияние на побочную диагональ М-преобразований с последующей нормализацией. Пусть d обозначает побочную диагональ, а m произвольную М-перестановку (перестановку с условием: m(9 - i) = 9 - m(i)). В результате применения к нормализованному ДЛК М-преобразования, соответствующего М-перестановке m, с последующей нормализацией, побочная диагональ d перейдёт в m'dm, где m' означает перестановку обратную к перестановке m.

d -> m'dm

Другими словами, при М-преобразовании нормализованного ДЛК с последующей нормализацией, побочная диагональ переходит в сопряжённую с ней по М-группе. Что позволяет нам выбрать в каждом классе сопряжённых по М-группе двухсторонних беспорядков по одному представителю и ограничиться рассмотрением только нормализованных ДЛК с побочной диагональю равной одному из этих представителей.

Всего классов сопряженных по М-группе двухсторонних беспорядков имеется 156:
В приведённом списке для каждого класса указана его мощность (count) и представитель (kf). В качестве представителя был выбран наименьший в лексикографическом порядке элемент.

Для произвольного двухстороннего беспорядка p обозначим через C(p) номер его класса сопряжения по М-группе (определённый по указанному выше списку).

М-преобразования не изменяют ролей строк-столбцов и главной-побочной диагоналей. Помимо них нужно рассмотреть преобразования меняющие местами строки-столбцы и/или главную-побочную диагонали. Возьмём, например, транспонирование (меняет местами строки-столбцы, но роли диагоналей сохраняются), вертикальную симметрию (меняет роли диагоналей, но роли строк-столбцов сохраняются) и их всевозможные произведения (что даст группу симметрий квадрата из 8 элементов, но из которых только 4 различных с точностью до поворота на 180 градусов, так как последний является М-преобразованием).

При транспонировании побочная диагональ d переписывается в обратном порядке, например, 1284639075 переходит в 5709364821. Что эквивалентно умножению справа (для определённости, умножение перестановок выполняем справа налево, то есть ab(i) = a(b(i)) для перестановок a b и допустимых i) на М-перестановку g = 9876543210.

d -> dg

При вертикальной симметрии с последующей нормализацией побочная диагональ d переходит в обратную ей перестановку d'.

d -> d'

При совместном применении транспонирования и вертикальной симметрии совершенно не важно в каком порядке они выполняются, так как (dg)' и d'g сопряжены по М-группе ввиду g' = g и (dg)' = g'd', то есть C((dg)' ) = C(d'g).

Для каждого из 156 представителей p определим четыре числа: C(p), C(p' ), C(pg) и C((pg)' ). Пусть A обозначает наименьшее из этих четырёх чисел, и пусть a обозначает представителя класса A. Каждому из 156 классов поставим в соответствие упорядоченную четвёрку <C(a),C(a' ),C(ag),C((ag)' )>. Всего имеется 67 различных четвёрок, причём 56 из них вырождаются в пары (у них первые два числа равны, также как и последние два). Вот полный список (вначале пары):
Собственно говоря, вчерашний список содержит представителей классов, идущих первыми в каждом кортеже.

Отмечу, что все классы, принадлежащие одному кортежу, имеют одинаковую мощность и поэтому не важно какой из них выбрать в качестве представителя всего кортежа — по давней традиции выберем наименьший. smile

Собственно, это и есть ответ на второй вопрос.

Пояснения по алгоритму канонизации ДЛК, опирающемуся на приведённые идеи, дам в следующий раз.

PS Генерация ДЛК сильно ускорится если генерировать только сильно нормализованные ДЛК. Каждый из 67 представителей даст свою линейку ДЛК.

PPS Ввиду быстроты проверки каноничности сильно нормализованных ДЛК, указанный в PS генератор ДЛК, легко превратить в генератор КФ ДЛК. Который, в свою очередь, можно применить для подсчёта главных классов ДЛК.

Отредактировано пользователем 27 апреля 2017 г. 9:45:05(UTC)  | Причина: Не указана

thanks 3 пользователей поблагодарили whitefox за этот пост.
citerra оставлено 26.04.2017(UTC), AlexA оставлено 26.04.2017(UTC), evatutin оставлено 26.04.2017(UTC)
Offline evatutin  
#298 Оставлено : 26 апреля 2017 г. 14:20:23(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 912 раз
Поблагодарили: 1465 раз в 717 постах
whitefox
1. Как соотносятся классы привычной нам канонизации и предложенные классы? (Строгое соответствие, кто-то в кого-то вложен, пересекаются, ...)
2. Сохраняют ли ДЛК в пределах предложенных классов основные свойства (наличие ОДЛК, число трансверсалей, структура трансверсалей)?

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline whitefox  
#299 Оставлено : 26 апреля 2017 г. 15:39:12(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 23 раз
Поблагодарили: 79 раз в 48 постах
Автор: evatutin Перейти к цитате
whitefox
1. Как соотносятся классы привычной нам канонизации и предложенные классы? (Строгое соответствие, кто-то в кого-то вложен, пересекаются, ...)
2. Сохраняют ли ДЛК в пределах предложенных классов основные свойства (наличие ОДЛК, число трансверсалей, структура трансверсалей)?


1. Соответствие строгое. Это всё те же главные классы ДЛК. Ведь, что такое КФ? Это всего лишь представитель своего класса эквивалентности. Выбрать же представителя можно множеством способов, одни способы могут быть лучше, другие хуже, но при любом способе представляемый класс остаётся одним и тем же. При старом способе в качестве представителя выбирался наименьший в лексикографическом порядке нормализованный ДЛК, при новом — наименьший в лексикографическом порядке сильно нормализованный ДЛК. При старом определении КФ каждый главный класс ДЛК мог иметь до 15360 нормализованных ДЛК и все их нужно было проверить на минимальность. При новом определении КФ каждый главный класс ДЛК может иметь не более 48 сильно нормализованных ДЛК и их проверка на минимальность выполнится значительно быстрее.

2. Сохраняют, так как классы эквивалентности остаются те же самые, изменяются только представители этих классов. Указанные характеристики являются инвариантом класса эквивалентности, то есть не зависят от выбора представителя, так как присущи любому ДЛК, принадлежащему данному классу. Собственно, именно по этому и можно представлять классы эквивалентности через их представителей, без разницы каким способом эти представители выбраны.

Отредактировано пользователем 26 апреля 2017 г. 16:09:37(UTC)  | Причина: Не указана

thanks 2 пользователей поблагодарили whitefox за этот пост.
evatutin оставлено 26.04.2017(UTC), citerra оставлено 27.04.2017(UTC)
Offline evatutin  
#300 Оставлено : 26 апреля 2017 г. 18:29:49(UTC)
evatutin


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

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

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

Сказал(а) «Спасибо»: 912 раз
Поблагодарили: 1465 раз в 717 постах
whitefox
1. В таком случае получается, что сильно нормализованные ДЛК С1 — это подмножество в составе соответствующего главного класса ДЛК С2, так? А остальные С2\С1 просто неинтересны...
2. Как тогда вы предлагаете формировать главные классы? Первая диагональ фиксирована, вторая выбирается из списка выше и все (остальные элементы не заполняем)? Или все же заполняем всеми возможными способами и получаем разные КФы без дублей? Подозреваю, что последний вариант, но хочу уточнить...

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Пользователи, просматривающие эту тему
Guest
19 Страницы«<1314151617>»
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

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