An Euler circuit exists if and only if the graph is connected and:
The graph is a tree
Every vertex has odd degree
Exactly two vertices have odd degree
Every vertex has even degree