Message boards :
Science :
Статьи о латинских квадратах
Message board moderation
Previous · 1 · 2 · 3 · 4 · Next
Author | Message |
---|---|
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Ссылка E. I. Vatutin, About the number of SODLS of order 10 (in Russian) у меня не действует, потому что сайт на поддерживает мой браузер. Может быть, по этой ссылке можно как-то увидеть все SODLS 10-го порядка. Кстати, Ватутин добавил количество SODLS 10-го порядка в OEIS совсем недавно a(10) from Eduard I. Vatutin, Mar 14 2020 Ну, если он это количество посчитал, значит, и все ДЛК у него имеются. Хотя... ХЗ :) Квадратов довольно много, может, просто посчитал, но квадраты не сохранил (?) Очень плохо, если так. Результат должен быть подтверждён независимым исследователем. А для проверки квадраты-то нужны. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Ох ... (самоцензура; произнесла мысленно) Оказывается Ватутин уже "нашёл" и число главных классов SODLS 10-го порядка!!! Смотрим последовательность https://oeis.org/A329685 A329685 Number of main classes of self-orthogonal diagonal Latin squares of order n. 1, 0, 0, 1, 1, 0, 2, 8, 470, 30534 Однако у Белышева другой результат, он писал на форуме boinc.ru: Написал программу. Было найдено 30534 SODLS, из них существенно различных 30502. То есть, главных классов должно быть 30502, а не 30534. Вот поэтому я и говорю о подтверждении выше означенного результата общего количества нормализованных SODLS 10-го порядка. Где тут правильно с главными классами? У Ватутина или у Белышева? Да, Белышев нашёл 30534 SODLS 10-го порядка, но канонизация этих SODLS дала только 30502 КФ. Это и есть количество главных классов. По Ватутину главных классов 30534; значит, Белышев не все главные классы нашёл??? Скорее всего, Белышев всё правильно нашёл, это Ватутин неправильно "перенашёл". Следует выяснить, как правильно и исправить ошибку в OEIS, если она имеет место. А проверить-то элементарно! Ватутин предоставляет найденные им 30534 существенно различных SODLS 10-го порядка (уж эти-то ДЛК у него точно должны быть); эти ДЛК надо канонизировать и получить правильный результат. Почти уверена, что этот результат будет совпадать с результатом Белышева. Плохо, что в OEIS не требуют прикреплять результаты. Там же есть такая возможность! Сама в OEIS создала десятки последовательностей. Результаты прикрепляются в файле a.file |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Напомню, что Белышев свои результаты выложил на Яндекс.Диск. Здесь 30502 КФ SODLS (то есть как раз главные классы) https://yadi.sk/d/OiKwfw2b3Gan9x А вот здесь 30534 SODLS, найденные им https://yadi.sk/d/l4Fus2cp3GTqe2 Не эти ли 30534 SODLS Ватутин выдал за главные классы??? Проверить очень просто! |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Снова цитата из моей статьи Как я понимаю из последовательности OEIS, для порядка 10 имеется 234,501,120 нормализованных SODLS. Хм... Кажется, я знаю, как Ватутин посчитал общее количество нормализованных SODLS 10-го порядка. Он взял количество главных классов (которое у него равно 30534) и умножил это количество на 15360/2=7680. Теперь осталось доказать, что количество главных классов у Ватутина правильное. А если это не так, и количество главных классов равно 30502 (как у Белышева), тогда и общее количество нормализованных SODLS тоже неправильное. В этом случае общее количество нормализованных SODLS равно 30502*7680=234255360 Ну, и на десерт: я совсем не уверена, что каждый главный класс SODLS 10-го порядка содержит ровно 7680 нормализованных SODLS. Вероятно, Ватутин это доказал, но мне доказательство неведомо. Для SODLS 9-го порядка это точно не так. Каждый класс эквивалентности ДЛК 9-го порядка содержит 1536 ДЛК. Если их все нормализовать (в каждом главном классе), будут ли они все различны (в данном классе)? В каких-то классах - да, будут, но не во всех. Количество главных классов SODLS 9-го порядка равно 470, а общее количество нормализованных SODLS равно 224832. Это число не совпадает с числом 470*768. Сильно подозреваю, что для SODLS 10-го порядка будет так же. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Всё это надо выяснить. Поскольку не могу написать вопрос в OEIS, написала письмо Максу Алексееву (редактору OEIS). Жду ответ. PS. Пока тишина, Макс не ответил. Запостила вопрос и на форуме boinc.ru, поближе к автору последовательности OEIS. Надеюсь, что это поможет уточнить результат и исправить его, если он неправильный. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Наткнулась на просторах Интернета на статью: Beley.pdf Это документ с сайта http://mit.spbau.ru О ВЫЧИСЛИТЕЛЬНОМ ПОИСКЕ КВАЗИОРТОГОНАЛЬНЫХ СИСТЕМ ЛАТИНСКИХ КВАДРАТОВ, БЛИЗКИХ К ОРТОГОНАЛЬНЫМ СИСТЕМАМ Белей Е.Г. Институт математики, экономики и информатики Иркутского государственного университета. Abstract. Работа посвящена исследованию возможностей применения современных алгоритмов вычислительной логики к задачам поиска комбинаторных структур. Конкретно, рассматривается известная открытая комбинаторная задача о существовании тройки попарно ортогональных латинских квадратов 10-го порядка. Предлагается схема поиска такой тройки в форме итеративной процедуры, на каждой итерации которой строятся т.н. квазиортогональные системы. Вводится специальная характеристика близости квазиортогональной системы кортогональной, называемая индексом ортогональности. Искомая ортогональная тройка латинских квадратов порядка 10, если она существует, является квазиортогональной системой с индексом ортогональности 100. В работе построены семейства квазиортогональных систем с индексом ортогональности до 80 включительно. Для этой цели использованы алгоритмы решения задачи о булевой выполнимости (SAT). Нигде не нашла год опубликования этой статьи. Но в списке приведённых статей есть такая статья [30] Zaikin, O., Kochemazov, S., Semenov, A.: SAT-based search for systems of diagonal latin squares in volunteer computing project sat@home // In Proc. of 39th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2016, Opatija, Croatia, May 30 - June 3, 2016 pp. 277–281. Следовательно, исходная статья написана не раньше 2016 г. (по моей логике). Хорошо известные нам псевдотройки в рассматриваемой статье названы квазиортогональными системами. Цитирую В работе построены семейства квазиортогональных систем с индексом ортогональности до 80 включительно. Я нашла псевдотройку с характеристикой ортогональности 82 в 2016-2017 гг. (точно не помню, но это можно посмотреть на форуме Math Help Planet в теме "Ортогональные латинские квадраты 10-го порядка". 14 ноября 2018 г. мной найдена псевдотройка с характеристикой ортогональности 88. Это мой личный рекорд; возможно, что и рекорд российский. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Вот моя рекордная псевдотройка ЛК 10-го порядка с характеристикой ортогональности 88 (1-2,2-76 tr=804) cm=88 sq=2 0 11 22 33 44 55 66 77 88 99 14 20 35 47 59 63 72 86 91 8 29 7 96 50 61 34 85 18 42 73 31 75 67 84 93 10 28 52 9 46 43 68 4 25 82 76 19 90 37 51 56 92 81 69 5 48 30 23 74 17 62 83 58 6 70 97 41 39 15 24 78 36 40 12 27 89 94 1 53 65 87 54 79 98 16 21 3 45 60 32 95 49 13 71 38 2 57 64 26 80 0 11 22 33 44 55 66 77 88 99 13 25 36 41 59 67 78 84 90 2 27 6 93 58 62 31 80 19 45 74 38 73 69 87 95 12 21 56 4 40 46 64 8 29 83 70 15 91 32 57 52 97 85 60 1 43 34 28 79 16 61 82 54 5 76 98 49 30 17 23 75 39 47 14 20 86 92 3 51 68 89 50 71 96 18 24 7 42 63 35 94 48 10 72 37 9 53 65 26 81 Это в формате программы Беляева, с помощью которой я и искала псевдотройки. Здесь мы видим, что исходный ЛК псевдотройки имеет всего два ортогональных соквадрата (sq=2). А алгоритм поиска исходного ЛК - в симметрии (27,27,27). После того, как Белышев описал симметрию (27,27,27), я сразу же увидела, что рекордная псевдотройка с характеристикой ортогональности 91 (мировой рекорд) обладает этой симметрией. Ну, и далее начала проверять все ЛК с данной симметрией. Был получен результат - псевдотройка с характеристикой ортогональности 88. Исходный ЛК данной псевдотройки уникален, то есть он не изоморфен исходному ЛК псевдотройки с характеристикой ортогональности 91. Другой формат псевдотройки с характеристикой ортогональности 88, это тоже формат программы Беляева 1 cm=88 0 2 3 1 8 9 7 5 6 4 6 1 9 2 4 3 5 7 0 8 4 3 2 7 6 5 1 9 8 0 5 8 1 3 2 4 6 0 7 9 1 4 6 9 7 0 3 8 2 5 2 7 5 4 1 8 0 6 9 3 3 5 8 6 0 2 9 1 4 7 7 0 4 8 9 6 2 3 5 1 8 9 0 5 3 7 4 2 1 6 9 6 7 0 5 1 8 4 3 2 0 1 2 3 4 5 6 7 8 9 4 6 0 7 2 1 9 8 5 3 5 8 4 0 7 3 2 1 9 6 6 0 9 5 3 8 1 4 2 7 8 3 6 9 1 7 4 5 0 2 9 7 1 4 5 2 8 3 6 0 7 5 8 2 9 6 3 0 1 4 3 2 7 6 8 0 5 9 4 1 1 4 3 8 6 9 0 2 7 5 2 9 5 1 0 4 7 6 3 8 0 1 2 3 4 5 6 7 8 9 5 7 1 6 3 0 8 9 4 2 6 4 8 2 9 1 0 3 7 5 4 3 5 9 0 7 2 6 1 8 1 8 3 4 7 2 5 0 9 6 2 5 9 1 6 8 3 4 0 7 3 2 6 7 1 4 9 8 5 0 8 9 0 5 2 6 7 1 3 4 9 6 7 0 8 3 4 5 2 1 7 0 4 8 5 9 1 2 6 3 Интересно: все три ЛК псевдотройки обладают симметрией (27,27,27). И не только такая симметрия у этих ЛК! Вот что выдаёт программа поиска симметрий find_symm_3.0 (Белышев) Поиск симметрий ЛК10 версия 3.0 Обработано ЛК: 3 Время работы : 0.015 сек Введите код симметрии: all Квадратов с симметрией (27,27,27) найдено: 3 они записаны в файл symm_27_27_27.txt Квадратов с симметрией (1,1,8)+ найдено: 1 они записаны в файл symm_1_1_8p.txt Квадратов с симметрией (1,27,28)+ найдено: 1 они записаны в файл symm_1_27_28p.txt |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Сейчас бродила в поиске статей о ЛК в Яндексе. Вот что увидела Предлагаю вашему вниманию свою статью «Системы из N попарно ортогональных диагональных латинских квадратов 10-го порядка с полной ортогональностью (N-1) пар». Статья на русском языке, написана в октябре 2016 г. Посмотрела эту тему; кажется, данной статьи здесь нет. Если пропустила, пусть будет ещё раз. Спасибо Яндексу, что проиндексировал статью, вот и мне напомнил :) Итак, смотрите предлагаемую статью. Она написана давно (в 2016 г.), можно сказать, на заре поиска ОДЛК 10-го порядка трансверсальным методом. Ещё не было BOINC-проектов ОДЛК и ODLK1; данные для анализа взяты из наших с Белышевым экспериментов. PS. Проверила ссылку; статья на Яндекс.Диске лежит. Интересно: Информация о файле Полюбопытствовали чуть-чуть (494), скачали - совсем почти никто (20). Весьма малый интерес наблюдаю к данной статье, и не только к данной. Ну, писать-то всё равно надо. Пусть сейчас не читают, может, позже... Кто знает... PS. А, вспомнила... В начале этой темы была ссылка на данную статью в подписи под сообщениями. Потом я убрала эту ссылку (один кранчер пожаловался, что вот захожу, мол, на ваш форум, а у меня начинает что-то загружаться с Яндекс...; разумеется, это не может само начать загружаться, на ссылку надо было кликать. Ну да ладно, всё равно убрала, давно уже). |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Анонсирую свою новую статью "SOLS и SODLS". Скоро завершу написание, выложу. Следите! |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Цитата Всё это надо выяснить. Ничего пока не помогло. Письмо Алексееву написано 8 дней назад. Ни ответа, ни привета! Уточнить результат некому. Сейчас написала письмо администратору OEIS, больше пока ничего не придумала. Если и от администратора не будет ответа, придётся клонироваться в OEIS :) Приведу текст письма администратору OEIS, чтобы не быть голословной Hello, Neil! Проблема пустяковая, но решать никто не хочет: ни автор последовательности Ватутин, ни редактор OEIS Алексеев. Всем как бы до лампочки. Посмотрим, что ответит администратор и ответит ли. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Уф! Наконец-то я её закончила :) Статья писалась со скрипом, не знаю - почему. Может быть, творческий кризис в связи со всеми последними событиями, которые вызвали очень много отрицательных эмоций. Может быть, потому, что тема сложная - анализ эмпирики и классификация на основе этого анализа. Ну, в общем, статья "SOLS и SODLS" здесь https://cloud.mail.ru/public/W9od/3og3hgMzB Архив содержит а) статья SOLS.pdf; б) файл SODLS10plus.txt (33775 КФ ОДЛК); в) программа Белышева denamer.exe Архив небольшой, 1,49 Мб. Уважаемые коллеги и все, кто интересуется данной темой! Прошу прислать мне отзыв о статье. Буду признательна за сообщения о замеченных ошибках. А также сообщите мне, пожалуйста, если вы найдёте контрпример для опровержения моей гипотезы. К Белышеву я понимаю, что приведённая мной классификация SODLS 10-го порядка на основе эмпирических данных несовершенна. Буду очень рада, если вы улучшите эту классификацию, применив мощный теоретический аппарат. Сообщите мне, пожалуйста, если вы сделаете такую классификацию. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Загрузила архив и на Яндекс.Диск https://yadi.sk/d/nvdI6TgBrKv72A Сейчас проверю, как работает. Вроде всё нормально. Пишите мне! |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Вот с утречка и вспомнила :) что забыла в статье написать... Francis Gaspalou писал мне: Please note also that all SODLS of order 4, 5, 7 and 8 are doubly SODLS and it is only for the order 9 that we can make the difference between singly SODLS and doubly SODLS. И кандидат на последовательность в OEIS - для doubly SODLS до порядка 10 включительно, главные классы 1, 0, 0, 1, 1, 0, 2, 8, 88, 0 Напоминаю: все результаты, кроме последнего, получены Francis Gaspalou. Я предложила Francis создать эту последовательность; он не хочет, написал, что не является поклонником OEIS. PS. Здесь, в теме я писала об этом. Ссылка на эту тему в статье указана. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Прочитала статью в формате pdf (писала я её, конечно, в Ворде). Заметила одну орфографическую опечатку, но шут с ней. А это опечатка в ссылках: 30354 SODLS 10-го порядка, найденные А. Белышевым от 121642 SOLS 10-го порядка https://yadi.sk/d/l4Fus2cp3GTqe2 Должно быть 30534, цифры переставила. Несколько огрехов с иллюстрациями: обрезаны, но не критично, всё можно понять. В остальном вроде всё в порядке - на мой авторский взгляд :) Жду ваших замечаний, господа. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Обращение к администратору OEIS возымело действие. Последовательность https://oeis.org/A329685 исправлена Алексеевым. Прикреплён и файл с 30502 КФ SODLS. Только Макс не указал автора этого результата - Белышева. Написала ему просьбу указать автора. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Цитата Хм... Так и...? Что же Ватутин не исправляет связанную последовательность https://oeis.org/A287761? Член а(10) теперь будет равен не 234501120. А там ещё одна связанная последовательность https://oeis.org/A287762 И всю ли цепочку я проследила? Вот же... наплодил Ватутин последовательностей, а работать над исправлением ошибок не желает. Кто-то должен за него это делать. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
В последовательности https://oeis.org/A287761 написано a(i) != A329685(i)*A299784(i)/2 for i=1..9 due to the existence of doubly self-orthogonal diagonal Latin square (DSODLS) and/or generalized symmetries (automorphisms) for some SODLS. Размышляю... Для порядка 10 не существует DSODLS, это верно. А вот это ... and no SODLS of order n=10 have generalized symmetries (automorphisms). (перевожу) ... и никакие SODLS порядка n = 10 не имеют обобщенных симметрий (автоморфизмов). Вообще-то некоторые SODLS 10-го порядка обладают симметрией (27,27,27), как утверждает программа Белышева Поиск симметрий ЛК10 версия 3.0 Обработано ЛК: 30502 Время работы : 2.062 сек Введите код симметрии: all Квадратов с симметрией (27,27,27) найдено: 16 они записаны в файл symm_27_27_27.txt Других обобщённых симметрий не обнаружено у SODLS 10-го порядка. Хотя это очень специфическая симметрия, тем не менее, говорить, что никакие SODLS 10-го порядка не имеют обобщённых симметрий, нельзя. В общем, вопрос о количестве нормализованных SODLS 10-го порядка в каждом главном классе для меня пока остаётся открытым. Я не вижу, откуда следует, что это количество для каждого класса равно 15360/2=7680. Может быть, оно и так. Но мне нужно доказательство этого утверждения. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Взяла первый из списка SODLS, обладающий симметрией (27,27,27) 0 2 3 5 9 4 8 6 7 1 4 1 7 0 3 9 5 8 2 6 7 6 2 9 5 1 3 0 4 8 2 8 1 3 6 7 4 5 9 0 8 0 5 7 4 6 9 3 1 2 9 4 8 6 7 5 2 1 0 3 3 9 4 8 1 0 6 2 5 7 6 5 9 1 2 8 0 7 3 4 1 3 6 4 0 2 7 9 8 5 5 7 0 2 8 3 1 4 6 9 И вот какие автоморфизмы ** 0123456789 0123456789 0123456789 -> (1,1,1) ** 5481392760 9327068154 8540672139 -> (27,27,27) ** 9364108725 4721985360 3768214509 -> (27,27,27) Всё правильно: симметрией обладает, автоморфизмов аж два (не считая тождественного). Главный класс, содержащий показанный SODLS, содержит 15360 различных нормализованных ДЛК и 7680 нормализованных SODLS. Но будет ли так для всех главных классов??? |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Вот ещё одна связанная последовательность OEIS https://oeis.org/A299784 A299784 Maximal size of main class for diagonal Latin squares of order n with first row 1..n. 1, 0, 0, 2, 4, 96, 192, 1536, 1536, 15360 Прежде всего обратите внимание: это максимальный размер главных классов. То есть, в главном классе ДЛК 10-го порядка может быть максимально 15360 изоморфных ДЛК с фиксированной первой строкой (то бишь - нормализованных). Но может быть и меньше, так надо понимать? Ну, вот и я о том же выше писала. Теперь рассмотрим статью E. Vatutin, A. Belyshev, S. Kochemazov, O. Zaikin, N. Nikitina Enumeration of Isotopy Classes of Diagonal Latin Squares of Small Order Using Volunteer Computing Статью смотрю здесь https://link.springer.com/chapter/10.1007%2F978-3-030-05807-4_49 Abstract Перевожу в Гугле: Статья посвящена открытию новых особенностей диагональных латинских квадратов малого порядка. Мы представляем алгоритм, основанный на специальном виде преобразований, который строит каноническую форму заданного диагонального латинского квадрата. Каждая каноническая форма соответствует одному изотопическому классу диагональных латинских квадратов. Алгоритм был реализован и использовался для перечисления изотопических классов диагональных латинских квадратов порядка не более 8. Для порядка 8 вычислительный эксперимент проводился в проекте для добровольных вычислений. Алгоритм также использовался для оценки того, сколько времени потребуется, чтобы перечислить изотопические классы диагональных латинских квадратов порядка 9 в том же вычислительном проекте для добровольцев. Чтобы найти вот эти числа 1, 0, 0, 2, 4, 96, 192, 1536, 1536, 15360 был задействован проект добровольных вычислений. Это круто! Ещё более круто: "открытию новых особенностей диагональных латинских квадратов малого порядка". Это "открытие" было опубликовано в книге Ю. В. Чебракова "Магические квадраты. Теория чисел, Алгебра, Комбинаторный анализ" (С. - Петербург, 1995). "Специальный вид преобразований", который представляют авторы статьи, это так называемые М-преобразования (в терминологии Ю. В. Чебракова). Белышев прекрасно знает, как в самом начале нашего с ним сотрудничества мы (независимо друг от друга) установили, что в каждом классе эквивалентности ДЛК 10-го порядка может быть 15360 изоморфных ДЛК. [Знают об этом и другие авторы статьи, потому что я писала это на форуме boinc.ru. Жалко, что форум сдох, а то цитату бы привела.] Именно отсюда и произошла каноническая форма (КФ) ДЛК. Находится каноническая форма ДЛК очень просто: сначала находим все 15360 изоморфов данного ДЛК, применяя те самые М-преобразования плюс основные преобразования. Затем нормализуем все найденные изоморфы. Наконец, выбираем среди нормализованных изоморфов наименьший ДЛК в лексикографическом порядке. Это и будет КФ данного ДЛК. Белышев реализовал этот алгоритм сразу же, как были определены все изоморфы ДЛК 10-го порядка. Для других порядков всё совершенно аналогично. И для чего же здесь был задействован проект добровольных вычислений? Всё это можно вычислить даже на калькуляторе! И при чём здесь все остальные авторы, кроме Белышева? Они что в этой статье писали? Что вычисляли? У меня нет слов, одни непечатные восклицания. Далее, смотрим на количества 1, 0, 0, 2, 4, 96, 192, 1536, 1536, 15360 a(7) - a(10) сомнений не вызывают, это правильные значения. Для членов a(4) - a(6) у меня большие сомнения в их правильности. Необходимо уточнить и исправить, если эти члены неправильные. Белышеву прежде всего надо озаботиться уточнением этих результатов. Ссылка в последовательности OEIS https://oeis.org/A299784 дана как раз на эту статью, соавтором (точнее: автором!) которой он является. На господина Ватутина в плане уточнения и исправления нет никаких надежд. Он, похоже, ничего исправлять вообще не собирается. Я выше указала две связанные последовательности https://oeis.org/A287761 https://oeis.org/A287762 которые необходимо исправить в связи с уже исправленной ошибкой в последовательности https://oeis.org/A329685. Пока в этих последовательностях никто исправления не начинал вводить. |
Send message Joined: 6 Apr 17 Posts: 14351 Credit: 0 RAC: 0 |
Согласно таблице количества М-преобразований, приведённой в указанной выше книге Ю. В. Чебракова (стр. 67), a(4) - a(6) должны иметь следующие значения a(4)=32 a(5)=32 a(6)=192 В последовательности OEIS https://oeis.org/A299784 имеем a(4)=2 Главный класс ДЛК 4-го порядка может иметь максимально всего два нормализованных изоморфа??? Что-то я сильно сомневаюсь в этом. В книге Ю. В. Чебракова приведены 4 варианта квадрата 4-го порядка, полученные М-преобразованиями. Ну, и умножаем ещё на 8 (основные преобразования). Итого: 32 изоморфа. Завтра проверю для этого ДЛК 4-го порядка 0 1 2 3 3 2 1 0 1 0 3 2 2 3 0 1 Напишу 4 варианта квадратов, полученных М-преобразованиями по Чебракову, потом нормализую, потом применю основные преобразования, снова нормализую. Вдруг после всех этих преобразований останется всего два различных нормализованных ДЛК (???) Проверить надо также значения членов последовательности для порядков 5 и 6. И для порядка 8 засомневалась уже :) У ДЛК 4-го порядка сплошные симметрии, визуально уже вижу, завтра всё распишу подробно. А у ДЛК 8-го порядка не будет таких симметрий? |
©2024 (C) Progger