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