Undirected graph theory