Graphs and digraphs, complement, isomorphism