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 ] 

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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