2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Ферзи, не бьющие друг друга
Сообщение28.05.2011, 21:46 


01/10/10

2116
Израиль (племянница БизиБивера)
Легко расставить 2012 ладей на доске $2012\times 2012$ так, чтобы они не били друг дружку и чтобы хотя бы в одном из угловых квадратов $1006\times 1006$ ладей не было совсем.
А можно ли так расставить 2012 ферзей?

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение29.05.2011, 08:33 


02/09/10
76
Я не смог. :-)

(Оффтоп)

Например, свободный квадрат - левый нижний. Тогда:
1. Свободен и правый верхний (иначе не хватит свободных вертикалей в правом нижнем + горизонталей в левом верхнем).
2. Всего имеется 2011 диагоналей, пересекающих левый верхний и правый нижний.

ПС. Очень симпатичная задача, удивительно, что не встречалась мне раньше...

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение29.05.2011, 12:03 


01/10/10

2116
Израиль (племянница БизиБивера)
staric в сообщении #451419 писал(а):
Я не смог. :-)

(Оффтоп)

Например, свободный квадрат - левый нижний. Тогда:
1. Свободен и правый верхний (иначе не хватит свободных вертикалей в правом нижнем + горизонталей в левом верхнем).
2. Всего имеется 2011 диагоналей, пересекающих левый верхний и правый нижний.

ПС. Очень симпатичная задача, удивительно, что не встречалась мне раньше...

(Оффтоп)

Что ж тут удивительного? Вы же не желаете сказать, что перерешали все существующие задачи.

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение29.05.2011, 18:29 
Аватара пользователя


18/05/09
42
Да, интересненько :-) Наверное есть. Вижу решение для досок 2010х2010( с 2010ф), 2011х2011(с 2011ф), а вот 2012 глуховато пока. Нашел один алгоритмик, но там доски (6n+2)х(6n+2) выпадают... :?

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение02.06.2011, 13:54 
Аватара пользователя


18/05/09
42
Блин, нашел!!!!! :idea: :D Сложная правда конфигурация, но красивая.(наверняка есть проще)

В общем, как решал. Сначала 2012 разложил на простые множители = 4 X 503.
Дальше нашел простое (дальше объясню почему) решение для 503 ферзей на доске 503-503
Изображение
Какой алгоритм,
Если ферзи расположены на расстоянии коня, то они друг друга не тревожат. Так что, общем выбрав для старта клетку с номером (1,2), начинаю прыгать вниз конем
до клетки (251,502), повторяю тоже самое, только с верхней клетки (252,1) - в результате все ферзи каждый на своей вертикали и горизонтали. Теперь разберемся с диагоналями. Диагонали параллельные (1,1)-(503,503), нам не интересны - это просто, каждый ферзь на своей... Что касается (1,503)-(503,1), здесь немного сложнее..
Обозначим за D(i) - диагональ проведенную через i-ю клетку верхней горизонтали, тогда все ферзи на площади (1-1)-(251-503), будут расположены на диагоналях - D(3n+1), где n - целые, положительные. Что касается ферзей на площади (252,1)-(503,503)- то они лежат на диагоналях с индексом кратным трем. Откуда следует, что каждый ферзь лежит на своей диагонали...
Казалось бы так можно поступить и с исходной задачкой, но все не так просто. Для досок (6N+2) - (6N+2), перенесенный ферзь оказывается прямёхонько в точке (3N+1,1) и сразу же ляжет на одну диагональ с другим ферзем. А потому данный алгоритм не подходит для доски 2012= 6х335+2
Что делал дальше?
1) решил задачку для доски 4-4 с 4 ферзями (рис 1.) и решил подобрать такую комбинацию на месте полей(АВСD) каждый размером по 503-503, чтобы ферзи на ней не тревожили друг друга.
преимущество конфигурации - горизонтали, вертикали изначально проверять не надо, остаются только диагонали.
Изображение
2) Предположил, что можно использовать в качестве всех полей только лишь одно, рассмотренное раньше
Поначалу идея кажется совершенно идиотской, но приглядевшись, все оказалось вполне сносно.. :shock:
3)Диагонали AD можно не проверять, все просто - крайняя верхняя занятая диагональ ферзя ((252,1)- поля D) беспрепятственно ковыляет в точку (251,503) - прямо под нижнего ферзя поля А. Остальные диагонали идут в разных направлениях от нее, а значит не пересекаются.
4) Диагонали АВ проверяются сложнее. Рассмотрим поле А
Изображение
Ферзи на площади (1-1)-(251-503), будут расположены на диагоналях - D(3n+1), остальные на D(3n). Посмотрим, как они пересекут поле В
Для этого введем ориентиры точки 0 и 1 - см.рис.выше и проследим направления диагоналей , сначала красные (на площади (252,1)-(503,503) ), потом синие (1-1)-(251-503).
Итак, очевидно, что диагонали через точки ориентиры лягут так
Изображение
середина в середину, угол - в угол... Дальше откладываем сначала красные диагонали
, входящие диагонали имеют индекс 3n-2, тогда как ферзи поля В на промежутке 1-251 имеют индекс диагонали 3N-1, а на 252-503 индекс 3N. Таким образом ферзи (поля В)не имеют общих красных диагоналей. Что касается синих диагоналей, то здесь все просто... Точки вхождения расположены левее точки 1, а индексы 3n (такие же как у второй половины)

В результате все ферзи лежат на своих диагоналях...
Самое забавное, что аналогичным образом можно подобрать любую, заранее выбранную конфигурацию для любой квадратной доски > 3-3, за счет встраивая одних полей в другие следуя определенному алгоритму, доказательство длинное может позже выложу. Короче из обычной задачки вылезла целая теорема о Ферзях :lol: Прикольно..

Встречная задачка, возьмем более сложные комбинации 6(6n+2)+2 и 6(6(6n+2)+2)+2, хотя бы для n=1. То есть расположить на доске 50-50 и 302-302,- 50 и 302 ферзя соответственно, ?

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение02.06.2011, 21:48 


01/10/10

2116
Израиль (племянница БизиБивера)
anermak в сообщении #452988 писал(а):
Блин, нашел!!!!! :idea: :D

Где же тогда ошибка в доказательстве?
http://e-science.ru/forum/index.php?showtopic=31465

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение02.06.2011, 22:53 
Аватара пользователя


18/05/09
42
:D Теперь понятно, что это за угловые квадраты... Те 4, что что меня они по 503-503, в совокупности 1006-1006...в общем решил другую задачку :lol:
Ну ничего страшного, не велика потеря, - только приобрёл :wink: Спасибо!

 Профиль  
                  
 
 Re: Ферзи, не бьющие друг друга
Сообщение02.06.2011, 23:01 


01/10/10

2116
Израиль (племянница БизиБивера)
anermak в сообщении #453297 писал(а):
:D Теперь понятно, что это за угловые квадраты... Те что меня они по 503-503...в общем решил другую задачку :lol:
Ну ничего страшного, не велика потеря, - только приобрёл :wink: Спасибо!

(Оффтоп)

Да не за что :-)

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 8 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: drzewo


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group