Pete has put several tokens into some squares of a checkered board (at most one token per square). Prove that Bazil can put at most 99 tokens into empty squares so that each row and each column contains an even number of tokens.
Problem 1552
Official solutions — 2
Solution 1
11.8. См. решение задачи 10.8.
Solution 2
Построим граф с вершинами , соответствующими строкам доски, и вершинами , соответствующим её столбцам. Вершины и соединим ребром, если клетка в пересечении соответствующих строки и столбца свободна. Тогда Васина цель переформулируется так: требуется отметить не более ребер так, чтобы из каждой вершины выходило чётное число непомеченных рёбер. Действительно, если Вася поставит фишки в клетки, соответствующие отмеченным рёбрам, то в каждой строке и каждом столбце останется чётное число свободных клеток, что, очевидно, равносильно требуемому условию.
Мы докажем более общий факт: в любом графе на вершинах можно отметить не более ребра так, чтобы из каждой вершины выходило чётное число непомеченных рёбер. При получаем требуемое утверждение.
Индукция по . База при очевидна. Пусть теперь . Если есть вершина степени , то можно пометить единственное ребро, выходящее из неё, выкинуть её вместе с этим ребром и применить к оставшемуся графу предположение индукции; в результате окажется отмеченным ещё ребра. Если в графе есть вершина степени , то достаточно выкинуть её и применить предположение индукции.
Пусть теперь степень каждой вершины не меньше . Выйдем из произвольной вершины по ребру, из вершины, в которую мы пришли — по другому ребру, и т.д.; этот процесс можно продолжать, пока мы не вернёмся в вершину, в которой уже побывали. Таким образом, в графе нашёлся цикл. Выкинув его рёбра из графа, мы не изменим чётностей степеней вершин; значит, достаточно отметить требуемые рёбра в оставшемся графе. Применяя к нему тот же процесс, рано или поздно мы получим граф, в котором степень некоторой вершины не превосходит ; а для таких графов утверждение уже доказано выше.