ermouth: (ang)
[personal profile] ermouth
Хорошая задачка вот с международной математической олимпиады 2016 (все задачки за все года вот тут).

Задача 6. На плоскости расположено n ⩾ 2 отрезков так, что любые два из них пересекаются по внутренней точке, а никакие три из них не имеют общей точки. Иван выбирает один из концов каждого отрезка и сажает в него лягушку лицом к другому концу этого отрезка. Затем он n − 1 раз хлопает в ладоши.

При каждом хлопке каждая из лягушек немедленно прыгает вперёд в следующую точку пересечения на её отрезке. Лягушки никогда не меняют направления своих прыжков. Иван хочет изначально рассадить лягушек так, чтобы никакие две из них никогда не оказались в одной точке пересечения одновременно.

(a) Докажите, что Иван всегда может добиться желаемого, если n нечётно.
(b) Докажите, что Иван никогда не сможет достичь желаемого, если n чётно.

----

Есчо, справедливо и для построения на 2-сфере (типа Иван – Маленький принц и живёт на маленькой планетке с жабами ггг). Соответственно вместо отрезков – ортодромы дуги геодезических линий (не обязательно кратчайшие).

Date: 2016-08-18 06:47 pm (UTC)
From: [identity profile] morfizm.livejournal.com
У меня есть тривиальный контрпример для (а): Три отрезка, пересекаются в вершинах треугольника (плюс небольшие хвосты). Сажаем лягушек в вершины, Ивану нужно хлопнуть в ладоши 2 раза. После первого хлопка лягушкам уже стопудово не куда прыгать, они жёстко обламываются по правилу "Лягушки никогда не меняют направления своих прыжков". Иван хлопает второй раз, у лягушек случается InvalidOperationException и система крешится.
Edited Date: 2016-08-18 06:47 pm (UTC)

Date: 2016-08-18 06:56 pm (UTC)
From: [identity profile] ermouth.livejournal.com
> Сажаем лягушек в вершины

По условию: «Иван выбирает один из концов каждого отрезка». Лягушки сидят на концах, в вершины треугольника сажать нельзя.

Задачка кста хорошая, мне доставила массу удовольствия ) В рамках времени олимпиады я бы её не решил.

Date: 2016-08-18 10:45 pm (UTC)
From: [identity profile] morfizm.livejournal.com
Хорошая задача, подумаю вечером.

Но я правильно понял, что варианты, когда лягушкам больше некуда прыгать, а хлопки ещё не кончились, мы считаем не валидными и не рассматриваем?

Date: 2016-08-18 10:50 pm (UTC)
From: [identity profile] morfizm.livejournal.com
Короче, вот контрпример для (а):

7 отрезков, у каждого 2 точки пересечения, т.е. как не посади лягушку, она выживет только 3 хлопка. Потом она упрётся в противопложный конец отрезка и на четвёртом хлопке умрёт. А хлопков будет 6. Вот тебе и обломинго:

111

Или я опять не так понял условие?
Edited Date: 2016-08-18 10:50 pm (UTC)

Date: 2016-08-18 10:51 pm (UTC)
From: [identity profile] morfizm.livejournal.com
Sorry, я идиот. Не "какие-то два", а "любые два" пересекаются. Мой контрпример не годится. ОК буду думать.

Date: 2016-08-18 11:10 pm (UTC)
From: [identity profile] morfizm.livejournal.com
Dedicated время на подумать у меня ещё не было, но за перекуром придумалось вот что:

1) Для каждого N существует ровно 1 способ (с точностью до гомеоморфных преобразований) нарисовать отрезки, чтобы они пересекались попарно, но не имели точек пересечения с 3 или больше отрезками.

2) Невозможность (б) практически очевидна, вечером распишу.

3) Для (а) существует не более двух неизоморфных способов расставить жаб, чтобы не было быстрого облома (может, даже и один способ, я ещё не понял, сводятся ли эти два друг к другу, но могут). Осталось лишь доказать, что условия выполнятся во время всех хлопков.

Я бы пробовал доказывать по индукции, добавляя по два отрезка.
Вечером, может, попробую.

Date: 2016-08-18 11:27 pm (UTC)
From: [identity profile] morfizm.livejournal.com
За вторым перекуром я понял, что я гоню по поводу п.1: там больше одного способа. Эх. Да, хорошая задачка.

Date: 2016-08-18 11:41 pm (UTC)
From: [identity profile] ermouth.livejournal.com
Контрпример к (1) http://jquerymy.com/kod/t6-1.jpg

UPD. Пока я рисовал ты и сам сообразил )
Edited Date: 2016-08-18 11:42 pm (UTC)

Profile

ermouth: (Default)
ermouth

November 2021

S M T W T F S
 123456
78910111213
14151617181920
21 222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 23rd, 2025 03:53 am
Powered by Dreamwidth Studios