What is the length of the shortest cycle? (This quantity is usually called the girth of the graph.)