directed graph G