2 Preliminary. We use A E to denote the existence of an edge between node u and v, otherwise A