(b) Design an algorithm that given a graph G, decides whether G is a cycle. Prove that your algorithm is correct and that it runs in polynomial time