characteristic polynomial of a graph