Maths Olympiad Prep

Library / /40 of 44

Combinatorics Difficulty 6.9 National olympiad Prove it Russia

A convex nn-gon is drawn on the blackboard, n4n \ge 4. Paint each its vertex black or white. Say that a diagonal is multicolor if its endpoints are of different colors. We say that the painting is good if one can partition the nn-gon into triangles by drawing some multicolor diagonals sharing no internal points. Find the number of good paintings.
(S. Berlov)

Solution

Сразу же заметим, что раскраска всех вершин в один цвет хорошей не является; такие раскраски в дальнейшем решении не рассматриваются.
Назовём сторону многоугольника разноцветной, если её концы окрашены в разные цвета (то есть расширим определение разноцветности на стороны). Назовём раскраску вершин упорядоченной, если все чёрные вершины на границе многоугольника идут подряд (иначе говоря, у многоугольника есть ровно две разноцветных стороны).
Лемма. Раскраска вершин nn-угольника (при n3n \ge 3) является хорошей тогда и только тогда, когда она упорядочена.
Доказательство. Индукция по nn. При n=3n = 3 доказывать нечего (напомним, что мы не рассматриваем одноцветные раскраски). Докажем теперь переход индукции. Пусть утверждение доказано для всех mm таких, что 3m<n3 \le m < n, где n4n \ge 4.

Предположим, что раскраска является хорошей. Разобьём многоугольник на треугольники непересекающимися разноцветными диагоналями; рассмотрим одну из этих диагоналей ABAB. Она делит nn-угольник на два многоугольника P1P_1 и P2P_2 с меньшим количеством сторон, причём каждый из них раскрашен хорошо — а значит, по предположению индукции, и упорядоченно. Пусть AA — чёрный конец диагонали, а BB — белый. Все чёрные вершины в P1P_1 — это несколько последовательных вершин, начиная с AA (но не включая BB). Аналогично с чёрными вершинами в P2P_2. Но тогда эти два блока чёрных вершин в объединении дают один связный блок в исходном многоугольнике, то есть раскраска вершин nn-угольника также является упорядоченной.

Пусть теперь раскраска является упорядоченной. Нетрудно видеть, что тогда в многоугольнике есть разноцветная диагональ. Она делит многоугольник на два меньших, при этом, очевидно, каждый из них также раскрашен упорядоченно. По предположению индукции, каждый из них раскрашен хорошо, а значит, и исходный nn-угольник — тоже. \square

Ввиду леммы, осталось лишь посчитать число упорядоченных раскрасок nn-угольника. Для каждого возможного количества чёрных вершин (от 11 до n1n-1) можно nn способами выбрать расположение их блока среди всех nn вершин, то есть число способов равно n(n1)n(n-1).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.