«Квант» — научно-популярный физико-математический журнал (издаётся с 1970 года)
Старый сайт журнала: kvant.ras.ru

Задача М1140

Условие задачи (1988, № 11/12) Задача М1140 // Квант. — 1988. — № 11/12. — Стр. 34; 1989. — № 5. — Стр. 33—34.

Нарисуем на плоскости одну или несколько пересекающихся кривых (кривые могут иметь точки самопересечения, рис. 1). В каждой точке пересечения можно двумя способами выполнить «перестройку» (рис. 2). Если проделать перестройку во всех точках пересечения, то получится несколько непересекающихся кривых (рис. 3).

  1. Докажите, что число непересекающихся кривых, которые могут получиться, не больше числа областей, на которые делили плоскость исходные кривые (на рисунке 1 таких областей 7).
  2. Всегда ли можно сделать перестройки так, чтобы в результате получалась одна кривая?
  3. Выберем на каждой кривой направление обхода и будем производить перестройки в соответствии с этими направлениями так, чтобы стрелки «отталкивались» друг от друга (рис. 4). Может ли в результате получиться одна кривая?
Рис. 1
Рис. 1
Рис. 2
Рис. 2
Рис. 3
Рис. 3
Рис. 4
Рис. 4

С. Л. Табачников


Решение задачи (1989, № 5) Задача М1140 // Квант. — 1988. — № 11/12. — Стр. 34; 1989. — № 5. — Стр. 33—34.

Рис. 5
Рис. 5

а) Пусть первоначально данные кривые делили плоскость на области $V_1$‍,$V_2$‍,$\ldots$‍,$V_n$‍.‍ Каждая из новых, перестроенных кривых ограничивает область, состоящую из нескольких областей $V_i$‍.‍ Выберем те из новых кривых, внутри которых нет других новых кривых, и отметим внутри каждой из них одну из областей $V_i$‍‍ (рис. 5). Теперь сотрём эти кривые, среди оставшихся снова выберем «минимальные» (внутри которых нет других кривых) и отметим внутри каждой из них одну из областей $V_i$‍,‍ не отмеченных на первом шагу. (Очевидно, такие области найдутся.) Продолжая в том же духе, мы сопоставили каждой новой кривой область $V_i$‍‍ внутри неё, отмечаемую на соответствующем шаге, причём разным кривым будут сопоставлены разные области. Значит, число кривых не больше числа областей.

б) Раскрасим исходную картинку в шахматном порядке, т. е. так, чтобы внешняя область была белой и цвет области менялся при переходе через границу (рис. 6, а). (Существование такой раскраски легко доказать по индукции. При добавлении к уже раскрашенной картинке одной несамопересекающейся замкнутой кривой все попавшие внутрь неё области или отрезаемые этой кривой от старых областей части перекрашиваются в другой цвет; внешняя раскраска сохраняется. При этом шахматный порядок цветов не нарушится. А любую замкнутую кривую можно разбить на несамопересекающиеся замкнутые куски.)

Рис. 6
Рис. 6

Построим по «шахматной раскраске» граф (рис. 6, б), сопоставив каждой чёрной области по одной точке — это будут вершины графа, а каждой точке пересечения кривых — одно ребро: оно соединяет вершины, отвечающие чёрным областям, которые примыкают к этой точке.

Два способа перестройки изображаются на графе двумя операциями: стиранием ребра и стягиванием ребра в точку (рис. 7).

Рис. 7
Рис. 7
Рис. 8
Рис. 8

Ясно, что на графе исходной картинки можно стереть часть ребер так, что он превратится в «дерево», т. е. граф, не имеющий замкнутых цепочек рёбер. Оставшиеся рёбра можно последовательно стянуть в точку. Соответствующая последовательность перестроек приводит к одной чёрной области. Её граница и есть искомая кривая (рис. 8).

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

Рис. 9
Рис. 9
Рис. 10
Рис. 10

в) Каждая перестройка превращает набор ориентированных кривых снова в набор ориентированных кривых. Предположим, что существует последовательность перестроек, результатом которой будет единственная кривая. Тогда перед выполнением последней перестройки мы располагаем набором ориентированных кривых с единственной точкой пересечения. Такой набор может состоять из единственной кривой — «восьмёрки», изображённой на рисунке 10. Однако её перестройка приводит к двум, а не к одной кривой.

С. Л. Табачников


Метаданные Задача М1140 // Квант. — 1988. — № 11/12. — Стр. 34; 1989. — № 5. — Стр. 33—34.

Предмет
Математика
Условие
Решение
Номера

1988. — № 11/12. — Стр.  [условие]

1989. — № 5. — Стр.  [решение]

Описание
Задача М1140 // Квант. — 1988. — № 11/12. — Стр. 34; 1989. — № 5. — Стр. 33‍—‍34.
Ссылка
https://www.kvant.digital/problems/m1140/