Model networks with vertices and edges; analyze paths, trees, connectivity, coloring, matching, flows, and shortest-path problems.