Ориентированные эйлеровы графы

Ориентированной эйлеровой цепью ориентированного графа G называется замкнутая ориентированная цепь, содержащая все дуги G.

Открытой ориентированной эйлеровой цепью называется открытая ориентированная цепь, содержащая все дуги графа G.

Ориентированный граф, обладающий ориентированной эйлеровой цепью, называется ориентированным эйлеровым графом (рис. 1).

Рис. 1. Эйлеровы цепи.

Ориентированным эйлеровым графом является граф, изображенный на рис. 28, поскольку дуги е₁ e₂, е₃, е₄, е₅, е₆ образуют в графе G ориентированную эйлерову цепь.

Теорема. Для связного ориентированного графа G следующие утверждения равносильны:

1) G - ориентированный эйлеров граф;

2) для любой вершины v графа G справедливо равенство d - (v) = d+(v);

3) G - объединение нескольких реберно-непересекающихся контуров.

Рассмотрим, например, ориентированный эйлеров граф G на рис. 28. Легко проверить, что он обладает свойством, сформулированным в п. 2 теоремы, и является также объединением реберно-непересекающихся контуров {е₂, е₃) и {e₁, e₄, e₅, e₆}.

Легко доказать и следующую теорему:

Теорема. Связный ориентированный граф содержит открытую ориентированную эйлерову цепь тогда и только тогда, когда выполняются условия:

1) в графе G имеются такие две вершины v1 и v2, что d+ (v1)=d- (v1)+1 и d- (v2) = d+(v2)+1;

2) для любой вершины v, отличной от v1 и v2, справедливо равенство d- (v) - d+ (v).

Например, условиям этой теоремы удовлетворяет граф на рис. 2. Открытой ориентированной эйлеровой цепью графа G является последовательность e₁, е₂, e₃, e₄, е₅, е₆.

Рис. 2. Открытая ориентированная эйлеровая цепь.

Эйлеров контур в орграфе D — это замкнутый остовный маршрут, в котором каждая дуга орграфа D встречается по одному разу. Орграф называется эйлеровым, если в нем есть эйлеров контур.