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

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

Уведомление

Icon
Error

40 Страницы«<3637383940>
Опции
К последнему сообщению К первому непрочитанному
Offline whitefox  
#741 Оставлено : 19 ноября 2018 г. 17:17:15(UTC)
whitefox


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

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

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


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Закончилась полная проверка очередной 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  
#743 Оставлено : 20 ноября 2018 г. 11:28:30(UTC)
evatutin


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

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

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

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

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


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Автор: 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 из архива Канонизатор_ЛК_по_ДЛК.
Offline citerra  
#745 Оставлено : 21 ноября 2018 г. 10:09:50(UTC)
citerra


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

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

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

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

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


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

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

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


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


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

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

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

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


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Список симметрий, для которых неясно, существуют ли ЛК
(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)
Offline citerra  
#749 Оставлено : 26 ноября 2018 г. 14:43:09(UTC)
citerra


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

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

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

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

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

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

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


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

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

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

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


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

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

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

Файл readme.txt


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

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

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


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

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

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

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


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

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

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


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


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

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

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

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


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


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Для подсчёта, упомянутых выше, чисел выполним следующую программу (это можно сделать и в каком-нибудь онлайн компиляторе 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, у вас даже лишние нашлись. Это какие?
Offline citerra  
#756 Оставлено : 5 декабря 2018 г. 15:43:31(UTC)
citerra


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

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

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

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

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

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


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

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

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

Сказал(а) «Спасибо»: 519 раз
Поблагодарили: 357 раз в 259 постах
Осталось найти десяток симметрий
(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  
#758 Оставлено : 11 декабря 2018 г. 16:51:35(UTC)
whitefox


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

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

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

Код:
CDMJDIBEN
EDBHJWEBH
GJGKEBASO
IGLAAFAUT


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

Паттерн_0: 710
Паттерн_1: 5648
Паттерн_2: 21326
Паттерн_3: 33356
Паттерн_4: 20629
Всего : 81669

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

Отредактировано пользователем 13 декабря 2018 г. 13:36:30(UTC)  | Причина: Исправил баг

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


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

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

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

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

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

Offline whitefox  
#760 Оставлено : 13 декабря 2018 г. 13:39:01(UTC)
whitefox


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

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

Сказал(а) «Спасибо»: 79 раз
Поблагодарили: 185 раз в 118 постах
Исправил баг в программе gen_family_16_31_31, число семейств уменьшилось на пять. Новая версия по старой ссылке.

Выкладываю программу get_stat_16_31_31 для сбора статистики по семействам ЛК_16_31_31. Входом для неё служит файл names.txt с именами семейств. Результат работы записывается в файл stat_16_31_31_<последнее_имя_из_входного_файла>.txt, например, stat_16_31_31_AETXMVMGI.txt. Пример содержимого выходного файла:

Код:
AABCRIDBG 4096 0 0 0 0 0 0
AABCRLJHK 2080 0 0 64 0 64 64
AABCRLOJE 4096 0 0 0 0 0 0
AABCRLOJL 4096 0 0 0 0 0 0
AABCROJDK 1088 0 0 128 0 128 0
AABCRQJBK 2080 0 0 64 0 64 64


Всего 8 колонок:
1) имя семейства
2) мощность
3) число ЛК с симметрией (1,31,31)
4) число ЛК с симметрией (2,31,31)
5) число ЛК с симметрией (4,31,31)
6) число ЛК с симметрией (8,31,31)
6) общее число ЛК с ранее проверенными симметриями
7) число ЛК с кратной симметрией (16,31,31)

По завершении работы на консоль выводится обобщённая статистика. Скорость работы в один поток порядка трёх семейств в секунду. Каждые пять секунд на консоль выводится прогресс.
Вложение(я):
get_stat_16_31_31.zip (77kb) загружен 6 раз(а).
thanks 1 пользователь поблагодарил whitefox за этот пост.
citerra оставлено 13.12.2018(UTC)
Пользователи, просматривающие эту тему
Guest (3)
40 Страницы«<3637383940>
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

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