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

Произвольно вычерчиваемый граф (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] равно 0.

Литература

[Зыков/69],

[Харари]