. . "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." . .