Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
| Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
|
Страница 350 из 421 |
[ Сообщений: 4210 ] | На страницу Пред. 1 ... 347, 348, 349, 350, 351, 352, 353 ... 421 След. |
|
| Автор | Сообщение | |
|---|---|---|
| Nataly-Mak |
|
|
|
Эксперимент с "симметричными" ДЛК моя ветвь дала две скромные уникальные двушечки ▼
Каждая двушка дала 2 уникальные КФ. И парные двушки имеются, тоже по 2 уникальные КФ дали. Все 8 уникальных КФ от обеих двушек: ▼
Итоги: 44072 уникальные КФ в БД не "пустышек" (плюс четыре двушки). Пока моя ветвь эксперимента исправно даёт решения; правда, изоморфные уже проскакивают. Перед этими двушками были две не уникальные двушки. Ну, от этого изоморфизма никуда не деться. Ведь каждый ДЛК может иметь 15360 изоморфов; если он имеет ОДЛК, то и все его изоморфы тоже имеют ОДЛК. |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Вот этот интервал 3-го уровня сложности
0 1 2 3 4 5 6 7 8 9 находится в проверке у помощника с 6 февраля с.г. Проверяется тотально. Интересно: в интервал вставились две КФ; значит, есть в интервале НТ, которые не "пустышки". Вот они: ▼
Проверка интервала ещё не завершена. При проверке по НТ вот эти два решения и нашлись бы. Все остальные решения, КФ которых ушли в другие интервалы, будут потеряны при проверке по НТ. Они найдутся при проверке по НТ соответствующих интервалов (куда ушли их КФ). Последний раз редактировалось Nataly-Mak 23 апр 2017, 07:58, всего редактировалось 1 раз. |
||
| Вернуться к началу | ||
| bimol |
|
|
|
Nataly-Mak писал(а): Ведь каждый ДЛК может иметь 15360 изоморфов; Чаще всего двушка имеет 7680 изоморфов |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
На форуме dxdy.ru сейчас прочитала
Цитата: Перебор объектов, если он закончился предъявлением конкретного объекта, является конструктивным доказательством. У нас есть пример попытки такого доказательства. Мы хотим доказать, что существует другая максимальная КФ ДЛК не "пустышка" помимо текущей максимальной КФ ДЛК не "пустышки". И для получения этого доказательства выполняем в эксперименте #1 перебор объектов. Вроде бы само собой понятно: если мы найдём эту новую максимальную КФ, выполняя перебор, тем самым докажем, что она существует. А вот как быть в том случае, если мы не найдём эту новую максимальную КФ ДЛК не "пустышку"? Выполнить полный перебор объектов нам не удастся (на это потребуется много лет). Как доказать существование этой максимальной КФ? |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Эксперимент #1 (первая часть) выполняю я. Нашлась уникальная однушка 0 1 2 3 4 5 6 7 8 9 Смотрим на КФ ДЛК этой однушки: ▼
Обе они в ядре БД! Итоги: 44074 уникальные КФ в БД не "пустышек" (плюс однушка). По-прежнему не попадаются SODLS. Почти нет двушек. |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Эксперимент с "симметричными" ДЛК (моя ветвь) уникальная четвёрка ▼
Четвёрка дала 3 уникальные КФ, парная четвёрка тоже дала 3 уникальные КФ, всего 6 уникальных КФ: ▼
Итоги: 44080 уникальных КФ в БД не "пустышек" (плюс две четвёрки). |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Новые решения от помощника приехали.
Начну с решений в эксперименте #1 (вторая и третья части). Найдено три однушки и все три уникальные ▼
Каждая однушка дала 2 уникальные КФ (опять не self). И как всегда все 6 КФ в ядре БД! Вот они: ▼
Эксперимент #1 выдал уникальные решения во всех трёх частях: и у меня, и у помощника. Пока решения появляются регулярно во всех трёх частях. Итоги: 44086 уникальных КФ в БД не "пустышек" (плюс три однушки). Это очень ценные однушки: находим их на целине и отправляем в ядро БД. |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Решение в эксперименте с "симметричными" ДЛК от помощника - уникальная двушка
▼
Парная двушка имеется, 4 КФ обеих двушек ▼
Итоги: 44090 уникальных КФ в БД не "пустышек". В эксперименте с "симметричными" ДЛК пока тоже все три ветви работают хорошо: уникальные решения дают. Эх, а если бы все 1100 ветвей запустить (от всех стартовых "симметричных" ДЛК, которые мне Harry прислал).Вот было бы здорово! Я предлагала Ватутину (автору эксперимента в BOINC-проекте Gerasim@Home) запустить эти ветви. Он подпроект по поиску решений от "симметричных" ДЛК запустил, но "сам с усам". Впрочем, он с Harry тоже переписывается; может быть, Harry и ему послал эти 1100 стартовых "симметричных" ДЛК (?). Я пока использовала только один стартовый "симметричный" ДЛК из списка Harry, самый первый 0 1 2 3 4 5 6 7 8 9 В двух других ветвях использовала в качестве стартовых свои "симметричные" ДЛК (когда выполняла эксперимент со своим генератором "симметричных" ДЛК). |
||
| Вернуться к началу | ||
| Nataly-Mak |
|
|
|
Приехали решения от помощника, м-н-о-о-о-г-о
Из интервалов 3-го уровня и из ветви эксперимента с "симметричными" ДЛК. Начну с решений из интервалов 3-го уровня (у него их 3 штуки находятся в проверке). Найдено 7 однушек и все они уникальные. Отлично! Каждая однушка дала 2 уникальные КФ (не self). 14 КФ этих однушек ▼
Обработала эти 14 КФ программой whitefox Канонизатор ЛК по ДЛК, нашлись ещё две уникальные однушки (редко бывает для однушек). 4 КФ этих однушек ▼
Итоги: 44108 уникальных КФ в БД не "пустышек" (плюс 9 однушек). Сейчас займусь обработкой решений от "симметричных" ДЛК. Есть и двушки, и четвёрки. |
||
| Вернуться к началу | ||
| bimol |
|
|
|
Nataly-Mak писал(а): Он подпроект по поиску решений от "симметричных" ДЛК запустил, но "сам с усам". Зачем ему доморощенные схема. И метания из стороны в сторону. Они выбирают правильный путь Цитата: интеграцию в проект сплошной проверки для симметричных ОДЛК |
||
| Вернуться к началу | ||
|
На страницу Пред. 1 ... 347, 348, 349, 350, 351, 352, 353 ... 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 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2 |
| Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |