Message boards :
Science :
БД КФ ОДЛК 9-го порядка
Message board moderation
Previous · 1 . . . 26 · 27 · 28 · 29 · 30 · 31 · 32 . . . 34 · Next
Author | Message |
---|---|
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Наконец-то! После нескольких дней пустоты найдена уникальная однушка в линейке 10 0 2 5 8 6 3 7 4 1 4 1 3 7 5 2 8 0 6 8 6 2 4 7 0 3 1 5 5 4 6 3 2 7 1 8 0 1 8 0 2 4 6 5 3 7 3 7 1 6 8 5 0 2 4 7 3 8 0 1 4 6 5 2 6 5 4 1 0 8 2 7 3 2 0 7 5 3 1 4 6 8 Зацепилась-таки, а куда же деваться из сети тотальной проверки! Ни одна рыбка не выскочит :) Ну вот и мы с черепашкой добавили в БД 2 КФ ОДЛК. Скромный вклад, но он тоже важен. И ешё найдена уникальная однушка! 0 2 5 8 6 3 7 4 1 4 1 6 2 7 8 5 0 3 7 6 2 1 8 0 3 5 4 5 8 4 3 2 7 0 1 6 6 0 3 5 4 1 8 2 7 3 4 7 6 1 5 2 8 0 1 7 8 4 0 2 6 3 5 8 5 1 0 3 6 4 7 2 2 3 0 7 5 4 1 6 8 Ещё 2 КФ ОДЛК добавили в БД. Сегодня нам с черепашкой везёт. Ах да, сегодня восересенье, мой день :) Я в воскресенье родилась. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
А вот и мощные результаты пришли от помощника, из линеек 12, 15, 16. Обработала все вместе, получилось 441 уникальных КФ ОДЛК. Отлично! Наша БД содержит теперь 65572 КФ ОДЛК. Линеечки хорошо продвигаются, в линейке 12 завершено 12 групп, в линейке 15 - 14 групп, в линейке 16 - 12 групп ( в каждой линейке 20 групп в расчёте). В двух линейках просчитались "хвосты", что очень хорошо. Сейчас посмотрю, как подросли эти линейки, а также - что досталось нашей с черепашкой линейке 10 рикошетом. Линейка 12 There are 3965 squares in the rule 12 долг: 4298 - 3965 = 333 КФ ОДЛК Линейка 15 There are 2273 squares in the rule 15 долг: 2686 - 2273 = 413 КФ ОДЛК Линейка 16 There are 1604 squares in the rule 16 долг: 1856 - 1604 = 252 КФ ОДЛК Наша линеечка 10 There are 1050 squares in the rule 10 долг: 1536 - 1050 = 486 КФ ОДЛК My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Наша линеечка 10 подросла на 2 КФ ОДЛК. Под занавес 77-й группы нашлась однушка, покажу её полностью 0 2 5 8 6 3 7 4 1 8 1 3 2 7 4 5 0 6 1 4 2 7 0 6 3 8 5 6 8 1 3 2 7 4 5 0 5 6 7 0 4 8 2 1 3 7 3 0 6 1 5 8 2 4 4 0 8 1 5 2 6 3 7 3 5 6 4 8 1 0 7 2 2 7 4 5 3 0 1 6 8 0 5 3 2 6 4 7 8 1 6 1 5 4 7 8 3 2 0 4 8 2 6 1 7 0 3 5 8 0 7 3 5 6 1 4 2 2 6 0 5 4 3 8 1 7 3 2 1 7 8 5 4 0 6 7 4 8 0 2 1 6 5 3 1 3 6 8 0 2 5 7 4 5 7 4 1 3 0 2 6 8 Это первое решений в 77-й группе, может, и последнее. Готовимся к переходу в 78-ю группу. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
А у помощника всё чудесно! Новые результаты из линеек 12, 15, 16 дали 242 уникальных КФ ОДЛК. Наша БД выросла до 65816 КФ ОДЛК. Сейчас посмотрю, как подросли линеечки, а также сколько рикошетом досталось нашей с черепашкой линейке 10. Отчёт Линейка 12 There are 4012 squares in the rule 12 +47 КФ ОДЛК Долг: 4298 - 4012 = 286 КФ ОДЛК Линейка 15 There are 2313 squares in the rule 15 +40 КФ ОДЛК Долг: 2686 - 2313 = 373 КФ ОДЛК Линейка 16 There are 1667 squares in the rule 16 +63 КФ ОДЛК Долг: 1856 - 1667 = 189 КФ ОДЛК Наша с черепашкой линейка 10 получила рикошетом всего 2 КФ ОДЛК, а 2 КФ ОДЛК черепашка нашла. There are 1054 squares in the rule 10 Долг: 1536 - 1054 = 482 КФ ОДЛК К сожалению, молчит XAVER. Написать ему что ли? Не случилось ли у него чего? :( Молчит ice00; ну, у него точно ничего не случилось :) Мы недавно с ним генерировали задания для проекта ODLK1. Так что, сильно подозреваю, что он бросил считать в этом проекте. И линейка 9 у нас повисла. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
У меня отличная новость! Прибыли решения от XAVER из линейки 13. Эта линейка оправдывает свой номер - чёртова дюжина :) XAVER пишет, что считается очень долго. Понимаю. Это вторая по сложности линейка, после линейки 7. В линейке на данный момент завершено 5 групп из 10. Найдено 965 уникальных КФ ОДЛК. Отличный результат! Наша БД выросла до 66781 КФ ОДЛК. Линейка 13 подросла хорошо There are 10170 squares in the rule 13 Долг: 11363 - 10170 = 1193 Нашей с черепашкой линейке 10 досталось рикошетом 16 КФ ОДЛК There are 1070 squares in the rule 10 Долг: 1536 - 1070 = 466 Очень рада, что у XAVER всё в порядке. Мы продолжаем вычисления в проекте! Команда у нас замечательная. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Цитата Экспресс-статистика по линейкам (не включены в статистику завершённые линейки 3, 5, 14) Это было на 1 марта т. г. Сейчас обновлю экспресс-статистику. Готово! There are 1606 squares in the rule 1 (1655) There are 338 squares in the rule 2 (825) There are 3825 squares in the rule 4 (4403) There are 1027 squares in the rule 6 (1352) There are 23940 squares in the rule 7 (24517) There are 1737 squares in the rule 8 (2866) There are 1895 squares in the rule 9 (2445) There are 1070 squares in the rule 10 (1536) There are 4280 squares in the rule 11 (5422) There are 4015 squares in the rule 12 (4298) There are 10170 squares in the rule 13 (11363) There are 2323 squares in the rule 15 (2686) There are 1672 squares in the rule 16 (1856) There are 440 squares in the rule 17 (912) There are 1402 squares in the rule 18 (1555) There are 789 squares in the rule 19 (1234) There are 2065 squares in the rule 20 (2195) В скобках по-прежнему указано конечное количество КФ ОДЛК в линейке согласно данным BOINC-проектов. Только две линейки не получили добавление: 1 и 20. Эти линейки уже хорошо укомплектованы, кандидаты на самозавершающиеся линейки :) Итак, состояние в проекте на сегодня завершены линейки 3, 5, 14; считаются линейки: 10, 12, 13, 15, 16; линейки 6, 7 считаются у Demis по мере возможности; судьба линейки 9 неизвестна (ice00 ничего не сообщает). Линейки, которые считаются (кроме линейки 10), просчитаны более чем наполовину. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Ах, ах, у нас с черепашкой уникальная однушечка в линейке 10, покажу её полностью 0 2 5 8 6 4 7 3 1 6 1 3 5 7 8 4 0 2 5 4 2 0 1 6 3 8 7 8 6 1 3 2 7 0 4 5 7 8 6 1 4 3 5 2 0 4 0 7 6 8 5 2 1 3 3 7 8 2 0 1 6 5 4 1 5 0 4 3 2 8 7 6 2 3 4 7 5 0 1 6 8 0 5 3 6 2 7 4 8 1 3 1 0 4 6 8 5 2 7 6 8 2 5 7 1 0 3 4 4 2 7 3 1 6 8 5 0 8 7 5 0 4 2 1 6 3 2 0 1 7 8 5 3 4 6 7 4 8 1 5 3 6 0 2 1 3 6 8 0 4 2 7 5 5 6 4 2 3 0 7 1 8 Тоже пригодится. Черепашка продолжает трудиться в ОДЛК9. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
И ещё одна уникальная однушечка найдена черепашкой в линейке 10 0 2 5 8 6 4 7 3 1 6 1 7 5 8 2 4 0 3 5 4 2 1 0 8 3 6 7 8 0 1 3 2 7 5 4 6 3 6 0 7 4 1 2 8 5 4 8 3 6 7 5 1 2 0 7 3 8 2 5 0 6 1 4 1 5 4 0 3 6 8 7 2 2 7 6 4 1 3 0 5 8 0 5 3 8 6 2 7 4 1 4 1 6 0 5 8 3 2 7 8 4 2 6 1 7 0 3 5 2 0 1 3 7 6 8 5 4 7 8 0 1 4 3 5 6 2 3 2 4 7 0 5 1 8 6 1 7 8 5 2 4 6 0 3 6 3 5 2 8 1 4 7 0 5 6 7 4 3 0 2 1 8 Кап-кап-кап... :) My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Прибыли результаты от помощника из линеек 12, 15, 16. Отличные результаты! Найдено 251 уникальных КФ ОДЛК. Наша БД превысила 67 тысяч и содержит на данный момент 67036 КФ ОДЛК. В линейке 12 завершено 15 групп, в линейке 15 - 14 групп, в линейке 16 - 16 групп. В каждой линейке в расчётах было 20 групп. Это говорит о том, что во всех линейках проверено примерно 2/3 всего объёма. Да, эти три линейки довольно вязкие, в отличие, скажем, от линеек 3, 5 и 14, которые были проверены достаточно быстро. Возможно, это связано с плотностью КФ среди СН ДЛК. В линейках 7 и 13, к примеру, эта плотность очень высокая, поэтому они и проверяются о-ч-е-н-ь долго и имеют самое большое количество решений. Сейчас посмотрю, как подросли линейки. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Прибыли результаты от помощника из линеек 12, 15, 16. Отличные результаты! Найдено 251 уникальных КФ ОДЛК. Наша БД превысила 67 тысяч и содержит на данный момент 67036 КФ ОДЛК. В линейке 12 завершено 15 групп, в линейке 15 - 14 групп, в линейке 16 - 16 групп. В каждой линейке в расчётах было 20 групп. Это говорит о том, что во всех линейках проверено примерно 2/3 всего объёма. Да, эти три линейки довольно вязкие, в отличие, скажем, от линеек 3, 5 и 14, которые были проверены достаточно быстро. Возможно, это связано с плотностью КФ среди СН ДЛК. В линейках 7 и 13, к примеру, эта плотность очень высокая, поэтому они и проверяются о-ч-е-н-ь долго и имеют самое большое количество решений. Сейчас посмотрю, как подросли линейки. Вот Линейка 10 (рикошетом получила; ну, и мы с черепашкой нашли 4 КФ) There are 1077 squares in the rule 10 +7 КФ ОДЛК Долг: 1536 - 1077 = 459 Линейка 12 There are 4060 squares in the rule 12 +45 КФ ОДЛК Долг: 4298 - 4060 = 238 КФ ОДЛК Линейка 15 There are 2378 squares in the rule 15 + 55 КФ ОДЛК Долг: 2686 - 2378 = 308 Линейка 16 There are 1731 squares in the rule 16 +59 КФ ОДЛК Долг: 1856 - 1731 = 125 My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
О-о-о! Черепашка нашла уникальную двушку [DLK(2):1] 0 2 5 8 7 6 4 3 1 4 1 6 7 3 8 5 0 2 1 8 2 5 0 4 3 6 7 8 4 0 3 6 7 1 2 5 6 0 7 1 4 2 8 5 3 7 3 1 6 2 5 0 8 4 5 7 8 2 1 3 6 4 0 3 5 4 0 8 1 2 7 6 2 6 3 4 5 0 7 1 8 3 КФ ОДЛК добавилось в БД от линейки 10. Ура! My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
У черепашки с утречка две уникальные однушки! [DLK(1):1] 0 2 5 8 7 6 4 3 1 5 1 3 4 8 2 7 0 6 4 6 2 7 0 8 3 1 5 6 8 0 3 5 7 1 4 2 1 0 6 5 4 3 2 8 7 3 4 7 6 1 5 8 2 0 7 3 8 0 2 1 6 5 4 8 5 1 2 6 4 0 7 3 2 7 4 1 3 0 5 6 8 [DLK(1):2] 0 2 5 8 7 6 4 3 1 5 1 3 4 8 2 7 0 6 8 4 2 1 5 0 3 6 7 1 8 6 3 0 7 2 4 5 6 3 0 7 4 1 8 5 2 4 7 1 6 2 5 0 8 3 7 0 8 5 1 3 6 2 4 3 5 4 2 6 8 1 7 0 2 6 7 0 3 4 5 1 8 Рядышком однушечки и не найдены были раньше. Плюс 4 КФ ОДЛК в БД добавилось от линейки 10. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Прибыли решения от Demis из линеек 6 и 7. Всего получено 277 уникальных КФ ОДЛК. Наша БД содержит на данный момент 67320 КФ ОДЛК. Линейки подросли так: линейка 6 There are 1088 squares in the rule 6 долг: 1352 - 1088 = 264 линейка 7 There are 24078 squares in the rule 7 долг: 24517 - 24078 = 439 My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Прибыли новые решения от помощника из линеек 12, 15, 16. Отличные решения! Всего найдено 219 уникальных КФ ОДЛК. Наша БД КФ ОДЛК 9-го порядка содержит на данный момент 67541 КФ ОДЛК. Линейки подросли так линейка 12 There are 4122 squares in the rule 12 +62 долг: 4298 - 4122 = 176 линейка 15 There are 2436 squares in the rule 15 +58 долг: 2686 - 2436 = 250 линейка 16 There are 1756 squares in the rule 16 +25 долг: 1856 - 1756 = 100 Нашей с черепашкой линейке 10 тоже кое-что досталось рикошетом There are 1091 squares in the rule 10 долг: 1536 - 1091 = 445 Всё замечательно! Мы продолжаем. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
А черепашка нашла новую однушечку в конце 81-й группы в линейке 10. Ура! 0 2 6 4 3 8 7 5 1 7 1 5 8 6 3 4 0 2 8 4 2 5 7 6 3 1 0 1 6 0 3 2 7 5 8 4 6 8 7 1 4 2 0 3 5 4 7 1 6 0 5 8 2 3 5 3 8 2 1 0 6 4 7 3 5 4 0 8 1 2 7 6 2 0 3 7 5 4 1 6 8 И наш вклад в БД: 2 уникальные КФ ОДЛК. Тоже годятся :) My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Мы с черепашкой только что перешли в 83-ю группу линейки 10. И почти в начале группы первая уникальная однушечка 0 2 6 4 5 8 7 3 1 3 1 4 5 6 2 8 0 7 1 4 2 7 8 6 3 5 0 8 6 5 3 0 7 4 1 2 5 0 7 2 4 3 1 8 6 4 8 1 6 7 5 0 2 3 7 3 8 0 2 1 6 4 5 6 5 3 8 1 0 2 7 4 2 7 0 1 3 4 5 6 8 Две КФ ОДЛК добавляем в БД, черепашка рада даже такому скромному вкладу :) Она продолжает усердно трудиться; пока для поиска ОДЛК9 используется одно ядро, потому что много других работ. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
А у черепашки ещё находка в линейке 10, новая однушечка 0 2 6 4 5 8 7 3 1 5 1 7 8 2 3 4 0 6 6 0 2 7 8 4 3 1 5 4 8 5 3 1 7 0 6 2 3 6 1 5 4 0 2 8 7 1 3 4 6 7 5 8 2 0 7 4 8 1 0 2 6 5 3 8 5 0 2 3 6 1 7 4 2 7 3 0 6 1 5 4 8 И 2 КФ ОДЛК добавлено в БД. Ура! Черепашка ликует :) My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
- У-р-р-р-а-а-а! - кричит черепашка. Новая однушка найдена 0 2 6 4 5 8 7 3 1 6 1 3 7 8 2 5 0 4 5 7 2 8 1 0 3 4 6 4 8 1 3 2 7 0 6 5 1 3 5 0 4 6 2 8 7 8 4 7 6 0 5 1 2 3 7 0 8 5 3 4 6 1 2 3 5 4 2 6 1 8 7 0 2 6 0 1 7 3 4 5 8 И 2 КФ ОДЛК добавлены в БД. 2+2+2+2 уже восемь. Х-о-р-о-ш-о! Эх, черепашке ещё бы пару ядер. А мне бы ВЦ! :) Ой, какие здесь квадратики маленькие, прямо игрушечные :) Сейчас вот ломаю голову над ДЛК 13-го порядка, это побольше уже квадратики. Полным перебором их не возьмёшь! Ну, разве что пару BOINC-проектов подключить или поболее :) Господин Ватутин писал: Andrew, for this moment I can't confirm result of Natalia, it may be correct, but also it may be wrong. IMHO for this moment 338 (or 338+10) value is lower bound only (a(13)>=338 for semi-cyclic). I suspect that Brute Force based approach will help. Of course with series of optimizations (nested loops, bit arithmetic, the principle of minimum possibilities and variation of the order of filling the square based on it, etc.) as we used during complete enumeration of DLS of order 9 (see https://cs.uwaterloo.ca/journals/JIS/VOL23/Zaikin/zaikin3.pdf). https://oeis.org/history?seq=A338620&start=10 То есть если со всеми оптимизациями, которые команда НАС-РАТЬ изобрела, можно и подход грубой силы применить для поиска всех пандиагональных ДЛК 13-го порядка. Так что, есть надежда на грубую силу. Ждём-с. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
Прибыли решения от помощника из линеек 12, 15 и 16. Линейки отдают последние квадратики. Всего в новой порции 129 уникальных КФ ОДЛК. Наша БД на данный момент содержит 67668 КФ ОДЛК. Все отлично! В обработке осталось по 4-5 групп в каждой линейке (из 20 первоначальных групп). И в оставшихся группах уже просчитано много. Сейчас посмотрю, как подросли линейки. Вот: линейка 12 There are 4155 squares in the rule 12 +33 долг: 4298 - 4155 = 143 КФ ОДЛК линейка 15 There are 2463 squares in the rule 15 +27 долг: 2686 - 2463 = 223 КФ ОДЛК линейка 16 There are 1768 squares in the rule 16 +12 долг: 1856 - 1768 = 88 КФ ОДЛК Нашей с черепашкой линейке 10 ничего в этот раз не досталось рикошетом. My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 13820 Credit: 0 RAC: 0 |
А у черепашки новая однушечка в линейке 10 0 2 6 4 5 8 7 3 1 6 1 7 5 8 3 2 0 4 1 6 2 7 0 4 3 8 5 4 8 5 3 6 7 1 2 0 5 0 3 2 4 1 8 6 7 8 7 4 6 3 5 0 1 2 7 4 8 1 2 0 6 5 3 3 5 0 8 1 2 4 7 6 2 3 1 0 7 6 5 4 8 И 2 КФ ОДЛК добавлены в БД. Наша линеечка подросла так There are 1097 squares in the rule 10 долг: 1536 - 1097 = 439 КФ ОДЛК My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
©2024 (C) Progger