ЛК блочной структуры

Message boards : Science : ЛК блочной структуры
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 6 · 7 · 8 · 9 · 10 · 11 · 12 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1659 - Posted: 15 Mar 2018, 9:43:35 UTC

И ещё две двушки найдены от семейства №20

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

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

От первой двушки происходит четвёрка - та же самая!
Эта четвёрка происходит от 4-х двушек, ещё должны быть две двушки, порождающие эту четвёрку.
Но меня интересует другая четвёрка.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1659 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1660 - Posted: 15 Mar 2018, 11:23:18 UTC
Last modified: 15 Mar 2018, 12:08:44 UTC

Хм...
только сейчас увидела программу Белышева family_mar
http://forum.boinc.ru/default.aspx?g=posts&m=90257#post90257

Опробовала на 3-х семействах, все оказались "пустышками". Но... как я понимаю, они, может, и не "пустышки" вообще, а "пустышки" только по не симметричным по Гергели/Брауну решениям. Так как программа только такие ДЛК проверяет.
Что-то список ЛК во всех проверенных семействах не включал самый последний ЛК.
Например, в этом семействе 4418 ЛК, а программа выводит список из 4417 ЛК
. . . . . . . . 
ЛК# 4409: 84
ЛК# 4410: 11
ЛК# 4411: 72
ЛК# 4412: 51
ЛК# 4413: 30
ЛК# 4414: 37
ЛК# 4415: 44
ЛК# 4416: 113
ЛК# 4417: 29

Марьяжных ДЛК нет
Время работы в сек   : 283.328

И так во всех проверенных семействах - на единицу меньше количество ЛК.
Посмотрела начало, вроде нумерация начинается с 1.

Да... и список... А он нужен для чего-то?
Моя прошлая критика на этот счёт мимо.
Ну да, кто критик-то? Сама программы писать не умеет, пишет на допотопном Бейсике, а ещё критикует :)
Но кто скажет, что вывод на экран совершенно не нужной информации на несколько тысяч строк - это есть хорошо???
Если убрать этот вывод, программа наверняка быстрее будет работать.
Представила проверку семейства, содержащего 65536 ЛК, голова заранее закружилась :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1660 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1661 - Posted: 15 Mar 2018, 12:49:09 UTC
Last modified: 15 Mar 2018, 12:51:00 UTC

Ещё два "малоимущих" семейства проверила по новой программе, решений нет.
Здесь все ЛК на месте
. . . . . . 
ЛК# 4257: 207
ЛК# 4258: 130
ЛК# 4259: 163
ЛК# 4260: 205
ЛК# 4261: 127
ЛК# 4262: 217
ЛК# 4263: 179
ЛК# 4264: 370
ЛК# 4265: 20
ЛК# 4266: 124
ЛК# 4267: 27
ЛК# 4268: 13

Марьяжных ДЛК нет
Время работы в сек   : 196.576

. . . . . . 
ЛК# 4168: 217
ЛК# 4169: 272
ЛК# 4170: 109
ЛК# 4171: 156
ЛК# 4172: 152
ЛК# 4173: 115
ЛК# 4174: 150
ЛК# 4175: 109
ЛК# 4176: 184
ЛК# 4177: 38
ЛК# 4178: 66
ЛК# 4179: 115

Марьяжных ДЛК нет
Время работы в сек   : 225.046

Ну, с игнорированием симметричных по Гергели/Брауну ДЛК проверяется, конечно, быстро.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1661 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1662 - Posted: 15 Mar 2018, 13:21:19 UTC
Last modified: 15 Mar 2018, 13:24:28 UTC

Семейство №20 выдало ещё две двушки:

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

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

От первой двушки происходит четвёрка - другая!

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

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

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

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

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

Уже две четвёрки найдены от этого семейства - через двушки. Но в БД эти четвёрки уже есть. Двушки тоже есть, они симметричные по Гергели/Брауну.
Продолжаю проверку. Проверено 18000 ЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1662 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1664 - Posted: 16 Mar 2018, 3:05:06 UTC
Last modified: 16 Mar 2018, 6:24:40 UTC

Итак, проблемка с выводом на экран многих тысяч совершенно не нужных строк.
Помню, как bimol написал: "Пусть переделывает!", а Белышев это повторил.
Я бы переделала, тем более, что переделывать тут надо чрезвычайно мало - удалить всего одну строку.
Но я не пишу на С++ и у меня нет компилятора.

Господа!
Вот проблемка.
Скачайте, пожалуйста, по ссылке
http://forum.boinc.ru/default.aspx?g=posts&m=90257#post90257
архив с программой Белышева.
В архиве есть исходники. Смотрим модуль prov_blk_main.cpp

void rabota(const kvadrat& lk){
	static int count;
	trans_dlx::search_trans(lk);
	if((cnt_trans = trans[0].size()) <= 1) return;
	kvadrat tempk[ch_srez - 1];
	const kvadrat* srez[ch_srez] = {&lk, &tempk[0], &tempk[1]};
	for(int i = 0; i < raz; i += por) for(int j = 0; j < por; j++) tempk[0][i + lk[i + j]] = j;
	for(int j = 0; j < por; j++) for(int i = 0; i < por; i++) tempk[1][lk[i * por + j] * por + j] = i;
	trans_dlx::search_symm_trans(srez);
	cout << "ЛК# " << ++count << ": ";
	int sum = 0;
	for(int i = 0; i < ch_srez; i++) sum += kf_trans[i].size();
	cout << sum << endl;
	int count_kf = 0;
	clock_t tb = clock(), te;
	for(int i = 0; i < ch_srez; i++) for(auto q = kf_trans[i].begin(); q != kf_trans[i].end(); q++){
		count_kf++;
		if((te = clock()) - tb > timeout){
			cout << count_kf << endl;
			tb = te;
		}
		find_d_trans(q->second, trans[i]);
		if(trans_dlx::is_mar()) baza_mar.insert(q->first);
	}
}

В этом модуле надо выбросить всего одну строку

cout << "ЛК# " << ++count << ": ";

Как я понимаю, это как раз вывод на экран информации о ЛК, которая совсем не нужна.
Потом перекомпилировать. Должна получиться новая версия программы family_mar.exe

Можно это сделать?
Пожалуйста, помогите. Буду премного благодарна.

PS. Посмотрела внимательнее на текст.
Возможно, эта строка

cout << sum << endl;

тоже имеет отношение к выводу информаци о ЛК.
Не уверена, но, скорее всего, имеет.
sum - это может быть тем самым количеством изоморфных ДЛК, которое соответствует данному ЛК.

Ох! А что выводит эта строка

cout << count_kf << endl;
я совсем не понимаю :(

PS. Кажется, понимаю, что выводит эта строка.
Вот цитата из файла readme.txt (описание программы):
Если КФ много, то каждые пять секунд на консоль будет выводиться прогресс.

Наверное, это строка и выводит прогресс. Не надо и это.
Прогресс можно показывать для каждых 1000 ЛК, то есть вместо:
ЛК #1:
ЛК #2:
ЛК #3:
. . . . .

выводить:
ЛК #1000
ЛК #2000
ЛК #3000
. . . . . .
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1664 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1665 - Posted: 16 Mar 2018, 4:46:59 UTC
Last modified: 16 Mar 2018, 4:56:02 UTC

Семейство №20 продолжает выдавать симметричные по Гергели/Брауну двушки. Ещё две:

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

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

И четвёрка происходит! Но не новая, такая уже была (см. сообщение).
Продолжаю проверку. Проверено 22000 ЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1665 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1666 - Posted: 16 Mar 2018, 4:52:09 UTC
Last modified: 16 Mar 2018, 4:53:47 UTC

Сравните, например, эти две двушки от семейства №20

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

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

Такие вот основные ДЛК двушек, близнецы-братья :) С первого взгляда можно подумать, что совсем одинаковые.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1666 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1667 - Posted: 16 Mar 2018, 5:49:20 UTC

Ещё одно семейство проверила по программе Белышева family_mar.
Выбираю "малоимущие" семейства пока.
В проверенном сейчас семействе 10994 ЛК, вывелось программой 10943 ЛК
. . . . . . . . . .
ЛК# 10936: 203
ЛК# 10937: 194
ЛК# 10938: 245
ЛК# 10939: 234
ЛК# 10940: 50
ЛК# 10941: 43
ЛК# 10942: 68
ЛК# 10943: 79

Марьяжных ДЛК нет
Время работы в сек   : 794.871

Кажется, я понимаю, почему так: не все ЛК имеют соответствующие изоморфные ДЛК для проверки.
И опять мимо: не симметричных по Гергели/Брауну решений в этом семействе нет.
Поехали дальше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1667 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1668 - Posted: 16 Mar 2018, 6:17:00 UTC

Ура! Попала!
Семейство BIKVXBE дало уникальную для нашей БД однушку:

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

Теперь в нашей БД имеются решения от 19 семейств БС вида 9х5.
Осталось выловить три семейства БС вида 9х5. А потом останутся семейства БС вида 10х5.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1668 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1669 - Posted: 16 Mar 2018, 8:45:25 UTC
Last modified: 16 Mar 2018, 8:47:57 UTC

11 семейств проверила по программе family_mar, только в одном семействе нашлось решение, однушка.

Листинг проверки семейств БС (продолжение)

№28: DGJQUFSA, 4408 ЛК, «пустышка»
№29: DGJQUFXA, 4408 ЛК, «пустышка»
№30: DHRTXFOC, 4418 ЛК, «пустышка»
№31: HCNETKVR, 4268 ЛК, «пустышка»
№32: HCPQSEVK, 4179 ЛК, «пустышка»
№33: BCKDVQV, 10994 ЛК, «пустышка»
№34: BIKVXBE, 8264 ЛК, есть решение
№35: DHUFWEM, 8512 ЛК, «пустышка»
№36: DIPQTRS, 8320 ЛК, «пустышка»
№37: DKTEWDM, 4388 ЛК, «пустышка»
№38: HCKDVLW, 8320 ЛК, «пустышка»

Ещё раз замечу, что в этом листинге "пустышка" понимается только относительно не симметричных по Гергели/Брауну решений, потому что симметричные по Гергели/Брауну решения в этой программе не ищутся.

Как видите, пока проверяю "малоимущие" семейства, но таких семейств мало, скоро закончатся.
Запускать по этой программе проверку семейства с 65536 ЛК у меня рука не поднимается.

PS. Начало листинга проверки семейств БС смотрите здесь
https://boinc.progger.info/odlk/forum_thread.php?id=41&postid=1651#1651
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1669 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1670 - Posted: 16 Mar 2018, 16:34:17 UTC
Last modified: 17 Mar 2018, 0:41:06 UTC

Ещё несколько "малоимущих" семейств проверила.

Обновлённый листинг проверки БС (продолжение)

№28: DGJQUFSA, 4408 ЛК, «пустышка»
№29: DGJQUFXA, 4408 ЛК, «пустышка»
№30: DHRTXFOC, 4418 ЛК, «пустышка»
№31: HCNETKVR, 4268 ЛК, «пустышка»
№32: HCPQSEVK, 4179 ЛК, «пустышка»
№33: BCKDVQV, 10994 ЛК, «пустышка»
№34: BIKVXBE, 8264 ЛК, есть решение
№35: DHUFWEM, 8512 ЛК, «пустышка»
№36: DIPQTRS, 8320 ЛК, «пустышка»
№37: DKTEWDM, 4388 ЛК, «пустышка»
№38: HCKDVLW, 8320 ЛК, «пустышка»
№39: BCKNVQVE, 11072 ЛК, «пустышка»
№40: BGHQXEUF, 8480 ЛК, «пустышка»
№41: BGQBQTVE, 110272 ЛК, «пустышка»
№42: BGQBRTUF, 11456 ЛК, «пустышка»
№43: BGQBWETR, 11456 ЛК, «пустышка»
№44: BILQXBTA, 8256 ЛК, есть решение
№45: BCFNQSVO, 65536 ЛК, есть решение

В последнем семействе (№44) нашлась одна однушка:

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

Копилка уникальных решений от семейств БС немножко пополнилась.

PS. Листинг откорректирован, добавлено ещё одно проверенное семейство (№45).
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1670 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1671 - Posted: 16 Mar 2018, 16:37:19 UTC

В семействе №20 проверено 34000 ЛК. Пока не найдено новых решений.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1671 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1672 - Posted: 17 Mar 2018, 0:39:37 UTC

Проверила по программе family_mar золотое семейство JQS.
Да, 488 не симметричных по Гергели/Брауну решений от этого семейства найдено.
Среди этих решений есть одна тройка и 29 двушек. Обработка решений дала 1005 уникальных КФ ОДЛК.
Проверила, все ли решения есть в нашей БД, не потеряли чего. Да, все КФ ОДЛК есть.

Продолжаем дальше искать уникальные не симметричные по Гергели/Брауну решения.
Вчера Demis знакомился с программой family_mar и проверил одно большое семейство - из 65536 ЛК: BCFNQSVO.
Нашлась у него однушка

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

Ещё копилка пополнилась немножко.

Листинг проверки семейств БС выше откорректировала.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1672 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1673 - Posted: 17 Mar 2018, 6:13:46 UTC - in response to Message 1672.  
Last modified: 17 Mar 2018, 6:20:47 UTC

Это цитата
Проверила по программе family_mar золотое семейство JQS.
Да, 488 не симметричных по Гергели/Брауну решений от этого семейства найдено.
Среди этих решений есть одна тройка и 29 двушек. Обработка решений дала 1005 уникальных КФ ОДЛК.

Интересно: обработала эти 1005 уникальных КФ ОДЛК снова программой Канонизатор ЛК по ДЛК и... получила все 3572 уникальные КФ ОДЛК, которые даёт золотое семейство JQS.

А ещё перепроверила по программе family_mar семейство №4.
Это семейство я выше проверяла по полной - весь комплект из 65536 ЛК, хотя не изоморфных среди них только 3418.
Сначала я проверяла случайным поворотом блоков, а потом уже перешла к полной проверке комплекта из 65536 ЛК.
Нашла 10 уникальных КФ ОДЛК для нашей БД, все они дают однушки.
Программа family_mar выдала 11 решений, все они дают однушки. Проверила, всё в порядке, я ничего не пропустила, все решения в нашей БД есть.
Интересно отметить, что данное семейство имеет довольно много не симметричных по Гергели/Брауну решений - аж 11 штук.
От других семейств у меня пока одно-два не симметричных решения находятся, а то и вообще ни одного.
У этого семейства и симметричных по Гергели/Брауну решений много, но все они двушки.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1673 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1674 - Posted: 17 Mar 2018, 7:14:34 UTC
Last modified: 17 Mar 2018, 7:15:03 UTC

Семейство №20 выдало ещё две двушки:

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

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

И четвёрка, как всегда, порождается одной из этих двушек, но не новая.
Продолжаю проверку, немного осталось, проверено 44000 ЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1674 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1675 - Posted: 17 Mar 2018, 10:10:32 UTC
Last modified: 17 Mar 2018, 10:14:56 UTC

Уф! Наконец-то! После целого ряда "пустышек" семейство HCLNXEWG дало уникальную однушку

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

Ещё чуть прибавилось в копилке уникальных решений от семейств БС.

Обновлённый листинг проверки БС (продолжение)

№28: DGJQUFSA, 4408 ЛК, «пустышка»
№29: DGJQUFXA, 4408 ЛК, «пустышка»
№30: DHRTXFOC, 4418 ЛК, «пустышка»
№31: HCNETKVR, 4268 ЛК, «пустышка»
№32: HCPQSEVK, 4179 ЛК, «пустышка»
№33: BCKDVQV, 10994 ЛК, «пустышка»
№34: BIKVXBE, 8264 ЛК, есть решение
№35: DHUFWEM, 8512 ЛК, «пустышка»
№36: DIPQTRS, 8320 ЛК, «пустышка»
№37: DKTEWDM, 4388 ЛК, «пустышка»
№38: HCKDVLW, 8320 ЛК, «пустышка»
№39: BCKNVQVE, 11072 ЛК, «пустышка»
№40: BGHQXEUF, 8480 ЛК, «пустышка»
№41: BGQBQTVE, 110272 ЛК, «пустышка»
№42: BGQBRTUF, 11456 ЛК, «пустышка»
№43: BGQBWETR, 11456 ЛК, «пустышка»
№44: BILQXBTA, 8256 ЛК, есть решение
№45: BCFNQSVO, 65536 ЛК, есть решение
№46: BILRWBSA, 8256 ЛК, «пустышка»
№47: BINERTVB, 8356 ЛК, «пустышка»
№48: DBCQSRUN, 8226 ЛК, «пустышка»
№49: DBCQTRVM, 8200 ЛК, «пустышка»
№50: DBCRSQUN, 8446 ЛК, «пустышка»
№51: DBCRTQVM, 8168 ЛК, «пустышка»
№52: DEGBQVWR, 8548 ЛК, «пустышка»
№53: DIRNUFXB, 8292 ЛК, «пустышка»
№54: HCLNXEWG, 16468 ЛК, есть решение

Больше полста семейств проверено, а решений м-а-а-а-л-о.
Действительно, большая часть решений от семейств БС - симметричные по Гергели/Брауну. Соотношение симметричных к не симметричным (из сообщения Белышева): 2749:662. При этом из 662 не симметричных решений 488 происходят от золотого семейства JQS. Следовательно, на остальные семейства приходится всего 174 не симметричных по Гергели/Брауну решения.
Продолжаю проверку "малоимущих" семейств, до 16000 с хвостиком ЛК пока терпимо проверяются.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1675 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1676 - Posted: 17 Mar 2018, 10:39:19 UTC

А от семейства №20 ещё две двушки

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

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

И всё - как всегда: четвёрка порождается, но не новая. Похоже, новых четвёрок уже не будет.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1676 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1677 - Posted: 17 Mar 2018, 13:02:00 UTC

Всё, хватит пока, надоели "пустышки" :)
Последние проверенные семейства программой family_mar

№55: HCNETLUR, 16373 ЛК, «пустышка»
№56: DHREVAWQ, 16470 ЛК, «пустышка»
№57: DHRMVFUC, 16704 ЛК, «пустышка»
№58: DHRMWFUC, 16704 ЛК, «пустышка»
№59: DHQFXOTC, 16704 ЛК, «пустышка»
№60: DHLMXFUA, 16640 ЛК, «пустышка»

Семейство №20 скоро проверится. Итого будет проверено 60 семейств.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1677 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1678 - Posted: 18 Mar 2018, 1:47:37 UTC

Семейство №20 выдало ещё две двушки. Для полноты картины показываю и эти двушки:

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

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

И всё как всегда - четвёрка порождается одной из двушек, но не новая.
Догрызаю это семейство.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1678 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13185
Credit: 0
RAC: 0
Message 1679 - Posted: 18 Mar 2018, 5:09:22 UTC
Last modified: 18 Mar 2018, 5:10:34 UTC

Богато семейство №20 на двушки!
Ещё две:

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

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

И всё как всегда :)
Проверено 57000 ЛК из 65536. Сегодня думаю закончить проверку этого семейства, если ничего не помешает.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1679 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 . . . 6 · 7 · 8 · 9 · 10 · 11 · 12 · Next

Message boards : Science : ЛК блочной структуры


©2024 (C) Progger