Произвольно вычерчиваемый граф

Произвольно вычерчиваемый граф (Arbitrarily traceable graph) — граф такой, что, выйдя из вершины [math]\displaystyle{ \,x_{0} }[/math] и соблюдая лишь одно правило — никогда не идти по уже пройденному ребру, мы неизбежно получим эйлеров цикл. Граф произвольно вычерчиваем из [math]\displaystyle{ \,x_{0} }[/math] в том и только том случае, если степени всех его вершин четны и цикломатическое число [math]\displaystyle{ \lambda(L \setminus x_{0}) }[/math] подграфа [math]\displaystyle{ L \setminus x_{0} }[/math] равно [math]\displaystyle{ \,0 }[/math].

Литература

• Зыков А.А. Теория конечных графов. — Новосибирск: Наука. Сиб. отд-ние, 1969.

• Харари Ф. Теория графов. — М.: Мир, 1973.