Bar-K Visibility Graph Representation
We say that a graph G is a bar visibility graph, and S a bar visibility representation of G, if there exists a one-to-one correspondence between vertices of G and bars in S, such that there is an an edge between two vertices in G iff there exists an unobstructed vertical line of sight between their corresponding bars.