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

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

Уведомление

Icon
Error

38 Страницы«<363738
Опции
К последнему сообщению К первому непрочитанному
Offline whitefox  
#741 Оставлено : 14 ноября 2018 г. 17:05:57(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Статистика по семействам ЛК_8_31_31:

Код:
Число семейств                 : 116848
Собственных семейств           : 116842
Всего КФ ЛК_8_31_31            : 930813254
Из них
ЛК_1_31_31                     : 0
ЛК_2_31_31                     : 69848
ЛК_4_31_31                     : 0
Всего ранее проверенных        : 69848
С кратной симметрией (8,31,31) : 44746
Средняя мощность семейства     : 7966
Максимальная мощность семейства: 16384


Шесть семейств суть псевдосемейства:

Код:
BBCJDIQBN
BBCJDIQEN
EBBHJWHHF
HCEUJWFFG
HCEUJWFGF
HCLAAFTTK

То есть данным супершаблонам не соответствует ни один суперкласс БС.

Подобно симметрии (2,31,31), симметрия (8,31,31) не совместна с симметриями (1,31,31) и (4,31,31).

В настоящий момент известно 2929 марьяжных ДЛК с симметрией (8,31,31). Было высказано предположение, что других подобных ДЛК не существует. Тотальная проверка даст точный ответ.
Вложение(я):
stat_8_31_31.zip (389kb) загружен 27 раз(а).
Offline whitefox  
#742 Оставлено : 19 ноября 2018 г. 17:17:15(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Тотальная проверка ЛК с симметрией 8_31_31 завершилась. Было найдено 3809 марьяжных ДЛК, в том числе 19 двоек. В замыкание входят 7688 ДЛК, в том числе 43 двойки.
Вложение(я):
mar_dlk_8_31_31.zip (440kb) загружен 26 раз(а).
zamyk_8_31_31.zip (879kb) загружен 27 раз(а).
Online citerra  
#743 Оставлено : 20 ноября 2018 г. 9:35:09(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Закончилась полная проверка очередной 4й симметрии (8,31,31)
Ситуация с симметриями
Квадратов с симметрией (1,31,31) найдено: 948
Квадратов с симметрией (2,31,31) найдено: 1008
Квадратов с симметрией (4,31,31) найдено: 19589*
Квадратов с симметрией (8,8,8) найдено: 16
Квадратов с симметрией (8,31,31) найдено: 3784
Квадратов с симметрией (16,16,16) найдено: 143
Квадратов с симметрией (16,31,31) найдено: 2350
Квадратов с симметрией (21,21,21) найдено: 1
Квадратов с симметрией (21,36,36) найдено: 1
Квадратов с симметрией (27,27,27) найдено: 24
Квадратов с симметрией (41,41,41) найдено: 1
Квадратов с симметрией (41,42,42) найдено: 1

Upd
Квадратов с симметрией (4,31,31) найдено: 19650

Отредактировано пользователем 24 ноября 2018 г. 16:05:58(UTC)  | Причина: уточнение

thanks 2 пользователей поблагодарили citerra за этот пост.
evatutin оставлено 20.11.2018(UTC), whitefox оставлено 20.11.2018(UTC)
Offline evatutin  
#744 Оставлено : 20 ноября 2018 г. 11:28:30(UTC)
evatutin


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

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

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

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

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


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Автор: citerra Перейти к цитате
Закончилась полная проверка очередной 4й симметрии (8,31,31)
Ситуация с симметриями
Квадратов с симметрией (1,31,31) найдено: 948
Квадратов с симметрией (2,31,31) найдено: 1008
Квадратов с симметрией (4,31,31) найдено: 19589
Квадратов с симметрией (8,8,8) найдено: 16
Квадратов с симметрией (8,31,31) найдено: 3784
Квадратов с симметрией (16,16,16) найдено: 143
Квадратов с симметрией (16,31,31) найдено: 2350
Квадратов с симметрией (21,21,21) найдено: 1
Квадратов с симметрией (21,36,36) найдено: 1
Квадратов с симметрией (27,27,27) найдено: 24
Квадратов с симметрией (41,41,41) найдено: 1
Квадратов с симметрией (41,42,42) найдено: 1



В этой табличке приведено число существенно различных д-марьжных ЛК с соответствующими симметриями. Чтобы получить из д-марьжных ЛК соответствующие им марьжные ДЛК, обработайте их скриптом kanon_new.bat из архива Канонизатор_ЛК_по_ДЛК.
Online citerra  
#746 Оставлено : 21 ноября 2018 г. 10:09:50(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Я уже обработал файл zamyk_8_31_31.zip ( и предыдущие тоже ).
Эдуард говорит, что в Герасим уже встроено замыкание.
Похоже, что так.

На очереди (16,31,31)?
Offline whitefox  
#747 Оставлено : 21 ноября 2018 г. 16:29:25(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Автор: citerra Перейти к цитате
На очереди (16,31,31)?


Да. smile
Offline whitefox  
#748 Оставлено : 24 ноября 2018 г. 15:33:24(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
В программе перечисления семейств ЛК_4_31_31 был баг из-за которого 30 семейств были пропущены. В этих семействах содержится ровно 400000 ЛК. Из них д-марьяжных — два, соответствующих марьяжных ДЛК тоже два. Таким образом, число существенно различных д-марьяжных ЛК с симметрией (4,31,31) равно 19589, а соответствующих им марьяжных ДЛК — 19650.

Соответствующие изменения внесены в программы generator_lk_4_31_31 и get_stat_4_31_31, старые версии ругались на новые имена.
Online citerra  
#749 Оставлено : 26 ноября 2018 г. 13:51:31(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Список симметрий, для которых неясно, существуют ли ЛК
(11,11,11)
(11,34,34)
(15,15,15)
(17,36,36)
(19,34,34)
(22,37,37)
(31,31,31)
(31,42,42)
(32,36,36)
(34,34,34)
(36,36,36)
(37,37,37)
(42,42,42)
Online citerra  
#750 Оставлено : 26 ноября 2018 г. 14:43:09(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Проект ODLK1@Home похоже два месяца назад прошел пик производительности.
И сейчас мощности стабильно подают. Падает как кол-во участников, так и мощности лидеров.
Похожая картина в ODLK@Home. Но здесь не так однозначно.
К тому же в обоих проектах прекращена обработка результатов и они работают в холостую.
Чем ситуация закончится, зависит от капризов "ученого проекта", которая занята лишь своими поисками.
Лебедь, рак и щука.
Иногда катит бочку на whitefox, за то, что до неё не доходит теория о симметриях.
Что не мешает "развивать" теорию whitefox-а, вводя новые термины и вкладывая свой смысл.
"Мы пахали"

Upd.
Что находится в выходном файле standart.txt, который использует программа get_standart ?
Стандарты? Фигушки. У деда макара стандартами обзываются нечто другое - ОДКЛ обладающие симметрией.
Вот такие макароны.

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

Online citerra  
#751 Оставлено : 3 декабря 2018 г. 14:23:36(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Количество КФ ODLK превысило 7 000 0000
Offline whitefox  
#752 Оставлено : 5 декабря 2018 г. 11:39:08(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Ранее была представлена утилита sos_operate выполняющая операции над множествами квадратов. Утилита sol_operate делает тоже самое над множествами строк.

Файл readme.txt


В архиве есть пример использования — файлы input_1.txt, input_2.txt и output.txt.

Утилита будет полезна при выполнении операций над множествами имён ДЛК или, например, над множествами однострочных представлений ЛК.

Замечание. Если требуется только упорядочить исходное множество и очистить его от дублей, то достаточно объединить исходный файл с пустым файлом с помощью утилиты sol_operate (sos_operate).
Вложение(я):
sol_operate.zip (20kb) загружен 10 раз(а).
Online citerra  
#753 Оставлено : 5 декабря 2018 г. 12:00:26(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Ввел общий список кф одлк - получилось 1 335 660 разных строк.
справка 10!=3 628 800
Где остальные?
Offline whitefox  
#754 Оставлено : 5 декабря 2018 г. 12:26:05(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Автор: citerra Перейти к цитате
Ввел общий список кф одлк - получилось 1 335 660 разных строк.
справка 10!=3 628 800
Где остальные?


Дело в том, что допустимы не все 10! перестановок. Для КФ первого формата это все беспорядки (перестановки не имеющие фиксированных элементов) плюс тождественная перестановка. Для КФ второго формата это все перестановки ровно с одним фиксированным элементом (возможно, что и не все они).
Online citerra  
#755 Оставлено : 5 декабря 2018 г. 13:36:19(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Автор: whitefox Перейти к цитате
Автор: citerra Перейти к цитате
Ввел общий список кф одлк - получилось 1 335 660 разных строк.
справка 10!=3 628 800
Где остальные?


Дело в том, что допустимы не все 10! перестановок. Для КФ первого формата это все беспорядки (перестановки не имеющие фиксированных элементов) плюс тождественная перестановка. Для КФ второго формата это все перестановки ровно с одним фиксированным элементом (возможно, что и не все они).
Брал КФ первого формата.
Минимум 0. А какой максимум? Думаю как определить.
Offline whitefox  
#756 Оставлено : 5 декабря 2018 г. 13:47:53(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Для подсчёта, упомянутых выше, чисел выполним следующую программу (это можно сделать и в каком-нибудь онлайн компиляторе C++).

Код:
#include <iostream>
#include <algorithm>

using namespace std;

int main(){
	int perest[10] = {0,1,2,3,4,5,6,7,8,9}, format_1 = 0, format_2 = 0, count;
	do{
		count = 0;
		for(int i = 0; i < 10; i++) if(perest[i] == i) count++;
		switch(count){
			case 0: format_1++; break;
			case 1: format_2++;
		}
	}while(next_permutation(perest, perest + 10));
	cout << "format_1 = " << format_1 + 1 << endl;
	cout << "format_2 = " << format_2 << endl;
	cout << "\nTo exit press Enter . . . ";
	cin.get();
}


Получим следующий ответ:

Код:
format_1 = 1334962
format_2 = 1334960


citerra, у вас даже лишние нашлись. Это какие?
Online citerra  
#757 Оставлено : 5 декабря 2018 г. 15:43:31(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
С первым форматом чуть запутался, иногда вылетают программы, слишком уж большие массивы.
Во втором получилось 575426 различных срок.
Понятно, что значительно меньше:
вариантов на побочной диагонали всего 67.,
для каждой диагонали вариантов первой строки ок 6000.

Отредактировано пользователем 6 декабря 2018 г. 8:23:42(UTC)  | Причина: Не указана

Online citerra  
#758 Оставлено : 7 декабря 2018 г. 12:17:58(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Осталось найти десяток симметрий
(11,34,34)
(17,36,36)
(19,34,34)
(22,37,37)
(31,31,31)
(32,36,36)
(34,34,34)
(36,36,36)
(37,37,37)
(42,42,42)
Offline whitefox  
#759 Оставлено : 11 декабря 2018 г. 16:51:35(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 74 раз
Поблагодарили: 179 раз в 113 постах
Семейств ЛК_16_31_31 нашлось 81674. Из них четыре псевдосемейства:

Код:
CDMJDIBEN
EDBHJWEBH
GJGKEBASO
IGLAAFAUT


и 81670 собственных семейств. Распределение по паттернам следующее:

Паттерн_0: 710
Паттерн_1: 5648
Паттерн_2: 21323
Паттерн_3: 33356
Паттерн_4: 20637
Всего : 81674

В приложенном архиве программа генерации имён этих семейств.

Отредактировано пользователем 12 декабря 2018 г. 17:36:01(UTC)  | Причина: Уточнил число псевдосемейств.

Вложение(я):
gen_family_16_31_31.zip (39kb) загружен 5 раз(а).
Online citerra  
#760 Оставлено : 12 декабря 2018 г. 8:42:45(UTC)
citerra


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

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

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

Сказал(а) «Спасибо»: 501 раз
Поблагодарили: 346 раз в 251 постах
Реплика к https://boinc.progger.info/odlk/...hp?id=15&postid=2791
Цитата:
Когда запустили проект ODLK1, многие кричали: "Зачем второй проект???!!!"
Говорили, что можно запускать в одном проекте много Приложений.
Да козе понятно, что можно.

Вот даже козе понятно, и ежиком, а до Макаровой не доходит.
Что проще - добавить подпроект к работающему проекту или разворачивать новой.
Но одного провального проекта мало. Перед этим сообщением уже речь идет еще об одном - ODLK2.
И что делать юзеру. Гнаться уже за тремя зайцами? Показывая посредственные результаты в каждом.

Пользователи, просматривающие эту тему
Guest
38 Страницы«<363738
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

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