Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
| Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
|
Страница 353 из 421 |
[ Сообщений: 4210 ] | На страницу Пред. 1 ... 350, 351, 352, 353, 354, 355, 356 ... 421 След. |
|
| Автор | Сообщение | |
|---|---|---|
| Nataly-Mak |
|
|
Тут "симметричные" ДЛК выдали скромную уникальную двушечку ▼
Парная двушка, как всегда, имеется. 4 уникальные КФ от обеих двушек ▼
Итоги: 44163 уникальные КФ в БД не "пустышек" (плюс две двушки). Две медовые капельки Пока моя ветвь эксперимента с "симметричными" ДЛК не подводит: уникальные решения регулярно появляются. А в работе ещё две ветви эксперимента у помощников. |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Возвращаюсь к "браунам".
Пропустила 2567 уникальных КФ ещё раз через программу проверки на ОДЛК. И... опять получено 2567 уникальных КФ. Где брать ещё 1005 уникальных КФ? Значит, надо всё-таки другие наборы из 5 инверсированных строк проверять??? А может быть, в нашем с Алексеем эксперименте не все 3572 уникальные КФ получены от "браунов"? Тэк-с, тайм-аут с "браунами". Непонятки. |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Эксперимент с "симметричными" ДЛК (моя ветвь) ещё одна скромная уникальная двушечка ▼
Вместе с парной двушкой имеем 4 уникальные КФ ▼
Итоги: 44167 уникальных КФ в БД не "пустышек" (плюс две двушки). |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
И скромная уникальная двушечка от помощника ("симметричные" ДЛК, третья ветвь)
▼
Вместе с парной двушкой получилось 4 уникальные КФ: ▼
Пока чёртов изоморфизм не влез Итоги: 44171 уникальная КФ в БД не "пустышек" (плюс две двушки). Вот так - по 4 КФ да почаще бы, оно и очень хорошо прибавляется ![]() |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
А ещё от помощника приехала скромная уникальная однушечка (эксперимент #1, вторая ветвь)
▼
Канонизирую и... да, всё как всегда - обе КФ в ядре БД!!! Вот они: ▼
Ах, эта максимальная КФ! Пусть она так и будет максимальной во всей БД. Нам это ну очень выгодно!Итоги: 44173 уникальных КФ в БД не "пустышек" (плюс однушка). Как видим, эксперимент #1 менее прибыльный, нежели эксперимент с "симметричными" ДЛК, зато он более важный. А мы с помощником сегодня добавили в БД 14 уникальных КФ. Это хорошо За количеством не гонимся, важно качество. А качество - что надо! |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
11 марта прошлого года я спрашивала Белышева:
Nataly-Mak писал(а): whitefox скажите, пожалуйста: если вам известен принцип построения КФ ДЛК, можете ли вы строить КФ не по ДЛК, а по этому самому принципу? Или для нахождения КФ ДЛК обязателен сам ДЛК? И никаких КФ без самих ДЛК мы не можем найти? Долго думала над этим вопросом, не доходит ответ, где-то в подсознании бултыхается ![]() Он ответил: Цитата: Моя программа для каждого конкретного ДЛК находит его каноническую форму. Можно написать программу которая будет генерить ДЛК, для каждого вычислять КФ, и выдавать её наружу. Извне это будет выглядеть как то, что вы хотите, но, по сути, будет лишь имитацией. Если и есть метод перечисления только КФ без предварительного перечисления ДЛК, то мне он не известен. Прошло чуть больше года. Теперь Белышев почти знает, как генерировать КФ ДЛК На форуме boinc.ru он пишет: Цитата: PS Генерация ДЛК сильно ускорится если генерировать только сильно нормализованные ДЛК. Каждый из 67 представителей даст свою линейку ДЛК. PPS Ввиду быстроты проверки каноничности сильно нормализованных ДЛК, указанный в PS генератор ДЛК, легко превратить в генератор КФ ДЛК. Который, в свою очередь, можно применить для подсчёта главных классов ДЛК. Мечты сбываются если очень хорошо мечтать.Задача была поставлена, решение почти найдено. Если генерировать сильно нормализованные ДЛК, то не КФ среди них будет ну очень мало и отсеять их можно быстро. Таким образом, Белышев уже говорит о возможности посчитать все главные классы ДЛК или другими словами все КФ ДЛК (каждая КФ представляет класс эквивалентности). |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Чуть дальше в сообщении Белышева перечислены линейки от 67 видов ДЛК (по 67 разным побочным диагоналям) и количество проверок этих линеек на КФ
Цитата: count[0] = 9 9 линеек вообще проверок не требуют (интересно: какие именно - по каким из 67 диагоналей???). То есть, если я правильно понимаю, все сильно нормализованные ДЛК в этих линейках уже будут КФ и ничего не надо проверять для этих ДЛК. Готовый генератор КФ ДЛК!!! |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Я уже перевела текущую БД КФ ДЛК не "пустышек" в новые КФ.
Вот КФ №1 0 2 3 4 5 6 7 8 9 1 Главная диагональ в новых КФ всегда нормализована, то есть это тождественная перестановка 0 1 2 3 4 5 6 7 8 9. А побочные диагонали всех КФ могут иметь один из 67 видов. Вот как сузилось пространство поиска КФ!!! |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
И в том же сообщении (ссылка выше) Белышев пишет:
Цитата: Пояснения по алгоритму канонизации ДЛК, опирающемуся на приведённые идеи, дам в следующий раз. Ещё один шаг - и можно будет писать генератор КФ ДЛК ![]() |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Я начинала с генератора нормализованных ДЛК, у меня было в программе 70 свободных переменных.
И генератор работает сносно. В программе генерации сильно нормализованных ДЛК должно быть по моим подсчётам 61 свободная переменная. Это резко сократит перебор и ускорит работу генератора. Генератор Vovka17 генерирует ДЛК в лексикографическом порядке. Работает довольно быстро, но можно бы и побыстрее, наверное. Ну и КФ этих ДЛК долго получать (по прежней версии канонизатора). |
||
| Вернуться к началу | ||
|
На страницу Пред. 1 ... 350, 351, 352, 353, 354, 355, 356 ... 421 След. | [ Сообщений: 4210 ] |
| Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
|---|---|---|---|---|
| О теме "Отрогональные латинские квадраты 10-го порядка" | 21 |
2646 |
14 июн 2018, 05:28 |
|
|
Ортогональные векторы
в форуме Векторный анализ и Теория поля |
2 |
273 |
02 ноя 2021, 15:04 |
|
| Ортогональные собственные вектора | 0 |
252 |
18 апр 2019, 23:18 |
|
| Ортогональные центральные композиционный план | 2 |
488 |
08 дек 2016, 09:20 |
|
| Ряд Фурье и другие ортогональные разложения | 1 |
515 |
29 апр 2015, 14:47 |
|
|
Обобщенные вещественно ортогональные формы в радиосвязи
в форуме Линейная и Абстрактная алгебра |
2 |
593 |
14 июн 2015, 13:37 |
|
|
Доказать, что ортогональные проекции вершин н-мерного куба
в форуме Геометрия |
13 |
587 |
18 сен 2020, 21:29 |
|
| Квадраты | 20 |
864 |
18 июл 2021, 17:46 |
|
|
Квадраты и степени
в форуме Теория чисел |
1 |
319 |
23 дек 2019, 01:08 |
|
|
Квадраты в окружности
в форуме Начала анализа и Другие разделы школьной математики |
8 |
622 |
20 май 2020, 09:48 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1 |
| Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |