[Specifically in this example]]1
Not sure if this is the correct forum to post this, but an overline on a graph means the complement of the graph.
https://en.wikipedia.org/wiki/Complement_graph