| Математический форум Math Help Planet http://mathhelpplanet.com/ |
|
| Ортогональные латинские квадраты 10-го порядка http://mathhelpplanet.com/viewtopic.php?f=57&t=46638 |
Страница 66 из 421 |
| Автор: | Nataly-Mak [ 02 мар 2016, 22:05 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Avgust писал(а): Nataly-Mak, эти 13 вариантов все дают ортогональные квадраты? Равное количество? Это канонические формы различных ДЛК (тут и ДЛК группы Брауна, и ДЛК Гергели, и ещё куча всяких ДЛК). Одни из них дают ортогональные ЛК и даже ДЛК, другие дают ортогональные ЛК, а ортогональных ДЛК не дают. Может быть, и такие есть, которые вообще никаких ортогональных соквадратов не дают. Я их все не проверяла на ортогональных соквадратов. Теперь представьте, что нам удалось составить полную БД всех классов ДЛК. Сколько будет Канонических ДЛК в этой БД, пока неизвестно. Может, 1000, а может, 10000, или больше. Но всё равно это будет такое количество, которое реально проверить на наличие ортогональных ДЛК. Как утверждает whitefox, если у канонического представителя нет ортогональных ДЛК, то и все его изоморфы не имеют ортогонаьных ДЛК. Пример: ДЛК Герегли, который не имеет ни одного ортогонального ДЛК. Значит, и каконическая форма для этого ДЛК, и все изоморфы этой канонической формы (а их 10!*15360) тоже не имеют ни одного ортогонального ДЛК. Вроде так, если я правильно поняла. Таким образом, мы быстренько всю БД из КФ проверим по программе svb и решим задачу, которую уже 4 года решают в проекте. Вот только канонические формы пока искать нечем, программы нет нормальной. Есть программа только проверяющая по одному квадратику. Ну, по такой программе миллионы ДЛК не проверишь. |
|
| Автор: | Nataly-Mak [ 02 мар 2016, 22:15 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Avgust писал(а): эти 13 вариантов все дают ортогональные квадраты? Равное количество? Это канонические формы различных ДЛК (тут и ДЛК группы Брауна, и ДЛК Гергели, и ещё куча всяких ДЛК). Одни из них дают ортогональные ЛК и даже ДЛК, другие дают ортогональные ЛК, а ортогональных ДЛК не дают (например каноническая форма для ДЛК Гергели). Может быть, и такие есть, которые вообще никаких ортогональных соквадратов не дают. Я их все не проверяла на ортогональных соквадратов. Но это недолго проверить по программе svb, 13 квадратов-то можно и по одному квадратику проверить. А вот когда их будет несколько тысяч... Теперь представьте, что нам удалось составить полную БД всех классов ДЛК. Сколько будет всех канонических ДЛК в этой БД, пока неизвестно. Может, 1000, а может, 10000, или больше. Но всё равно это будет такое количество, которое реально проверить за приемлемое время на наличие ортогональных ДЛК. Как утверждает whitefox, если у канонического представителя нет ортогональных ДЛК, то и все его изоморфы не имеют ортогональных ДЛК. Пример: ДЛК Герегли, который не имеет ни одного ортогонального ДЛК. Значит, и каноническая форма для этого ДЛК, и все изоморфы этой канонической формы (а их 10!*15360) тоже не имеют ни одного ортогонального ДЛК. Вроде так, если я правильно поняла. Таким образом, мы быстренько всю БД из КФ проверим по программе svb (быстренько - в том случае, если он соблаговолит сделать программу для проверки сразу N ДЛК) и решим задачу, которую уже 4 года решают в проекте. Вот только канонические формы пока искать нечем, программы нет нормальной. Есть программа только проверяющая по одному квадратику. Ну, по такой программе миллионы ДЛК не проверишь, а их действительно многие миллионы. Кстати, и о грядущей проверке всех канонических ДЛК на наличие ортогональных ДЛК по программе svb. Тут та же проблема будет. Эта программа тоже написана для проверки одного заданного ДЛК. И это вечная болезнь многих программистов. Пишут программу, которая выполняет некоторую процедуру для одного объекта. А если вам надо проверить тысячу таких объектов... выполните программу тысячу раз. Каждый раз введите во входной файл проверяемый объект, запустите и выполните программу, посмотрите результаты, скопируйте их из выходного файла, и - всё повторите 1000 раз. Весело, правда? И каждый раз в таких случаях приходится долго упрашивать автора сделать программу сразу для проверки N объектов. Авторы скажут: исходники выложены, делайте такую версию программы, какая вам нужна. А если я не умею делать? Свои программы я делаю так, чтобы они проверяли сразу N квадратов, а не по одному. А чужие программы переделывать не могу. |
|
| Автор: | Nataly-Mak [ 02 мар 2016, 22:35 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Вот иллюстрация к сказанному выше: whitefox писал(а): Nataly-Mak писал(а): Надо проверить их все по вашей программе. Вы хотите прямо в текст программы записывать несколько ДЛК? Как понимаю, в онлайн-компиляторе ввод из файла не предусмотрен. Но его легко прикрутить. Исходник выложен, ограничений на его использование я не устанавливал. Любой желающий может его модифицировать. Думаю это произойдёт скорее, чем я доберусь до нормального компилятора.Вы можете сделать программу так, чтобы она проверяла не по одному квадратику, а сразу все введённые? whitefox Неправильно думаете - это не произойдёт скорее Ну, whitefox сейчас не при компиляторе. А у svb какая причина? Вопрос риторический, отвечать не нужно. P.S. Собственно, вопрос уже был задан: Nataly-Mak писал(а): svb аналогичный вопрос к вам. Все изоморфы в классе М-преобразований для основного ДЛК Брауна (15360) я могу построить по программе whitefox. Вы можете сделать программу, которая проверит их все на наличие ортогональных ДЛК? Ответа я не получила. |
|
| Автор: | Nataly-Mak [ 02 мар 2016, 22:41 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Поэтому БД из КФ у меня на данный момент состоит из 13 КФ. Чёртова дюжина! Конечно, я могу по одному квадратику и ещё квадратов 100 проверить. Но... чокнутая что ли? ![]() Может, миллион проверить по одному квадратику? Тогда точно крыша поедет. |
|
| Автор: | Nataly-Mak [ 02 мар 2016, 23:01 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Выкладываю исходник программы svb LAT03. Язык Паскаль. Может быть, кто-нибудь сможет модифицировать, чтобы программа обрабатывала массив из N квадратов. Да ведь ещё и скомпилировать надо, разумеется. ▼
|
|
| Автор: | Nataly-Mak [ 02 мар 2016, 23:35 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Прошу прощения, запостился дубль. Удалить уже не могу, только сейчас его увидела. Это такая вот правка была
|
|
| Автор: | svb [ 02 мар 2016, 23:38 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Nataly-Mak писал(а): А у svb какая причина? Вопрос риторический, отвечать не нужно. Как и у всех - нехватка времени. Те программы, которые я выкладывал, достаточно сырые и требуют проверки, к тому же, я сейчас занят новой программой, которая далеко не очевидна.Nataly-Mak писал(а): Цитата: svb аналогичный вопрос к вам. Все изоморфы в классе М-преобразований для основного ДЛК Брауна (15360) я могу построить по программе whitefox. Вы можете сделать программу, которая проверит их все на наличие ортогональных ДЛК? Ответа я не получила. |
|
| Автор: | Avgust [ 03 мар 2016, 00:28 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Nataly-Mak По-видимому, анализ может стать успешным только для равноценных ДЛК. Например, которые дают только по 4 ортогональных квадрата. И то - это под вопросом. Все же, мне очень нравятся ДЛК с ассоциативными свойствами: oт них веет какой-то закономерной магией. Думаю, нужно в первую очередь такие поискать в значительном количестве. |
|
| Автор: | svb [ 03 мар 2016, 01:31 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Программа: Lat03a
|
|
| Автор: | Avgust [ 03 мар 2016, 01:55 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
svb Я Max. назначил 0. Сколько вариантов sq даст? Сейчас перевалило за 15 тыс. |
|
| Страница 66 из 421 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|