Оценка:
Пусть
- нечетно.
Всего треугольников
.
Каждый треугольник либо хороший (ребра образуют цикл), либо плохой (и тогда есть вершина, откуда выходит два ребра, есть вершина, куда приходит два ребра, ну, и есть нейтральная вершина.) Пусть в некоторую вершину графа приходит
ребер, а выходит -
,
. Тогда с этой вершиной есть заведомо
плохих треугольников, и эта сумма не меньше чем
. Поэтому плохих не меньше чем
(каждый плохой сосчитан дважды) из общего числа
.....
Пример: расставим точки по кругу, и каждую соединим стрелкой с половиной остальных - а именно, с теми, кто - по направлению по часовой стрелке - ближе прочих. Оценка превратится в равенство.