text: Заданный n {\displaystyle n} -вершинный граф G {\displaystyle G} имеет сечение нечётных циклов размера k {\displaystyle k} тогда и только тогда, когда прямое произведение графов G ◻ K 2 {\displaystyle G\square K_{2}} (граф, состоящий из двух копий G {\displaystyle G} , с соответствующими вершинами каждой копии, соединёнными рёбрами совершенного паросочетания) имеет вершинное покрытие размера n + k {\displaystyle n+k} .