Compact implicit representation of graphs.