"A ???directed graph??? is a pair (N, B), where N is a finite set and B is a binary relation on N Elements of the set N are called the nodes of the directed graph." . . . .