Блин, нашел!!!!!
Сложная правда конфигурация, но красивая.(наверняка есть проще)
В общем, как решал. Сначала 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) Предположил, что можно использовать в качестве всех полей только лишь одно, рассмотренное раньше
Поначалу идея кажется совершенно идиотской, но приглядевшись, все оказалось вполне сносно..
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, за счет встраивая одних полей в другие следуя определенному алгоритму, доказательство длинное может позже выложу. Короче из обычной задачки вылезла целая теорема о Ферзях
Прикольно..
Встречная задачка, возьмем более сложные комбинации 6(6n+2)+2 и 6(6(6n+2)+2)+2, хотя бы для n=1. То есть расположить на доске 50-50 и 302-302,- 50 и 302 ферзя соответственно, ?