A simple graph is called divisibility if it's possible to label its vertices with positive integers such that there is an edge between two vertices if and only if the label of one vertex is divisible by the other one.
A simple graph is called a permutation graph, if it's possible to label its vertices by and there exists a permutation such that there is an edge between vertices if and only if and (the graph is not directed!)
Prove that a simple graph is a permutation graph if and only if both its complement and itself are divisibility graphs.
Problem 1648
Official solution
Let's call a simple graph good, if we can assign a direction to the edges such that for any two vertices with , if there's a vertex with , then there is necessarily a directed edge from to .
Lemma. A graph is divisibility if and only if it's a good graph.
*Proof.*
* Let be a divisibility graph and let denote the number written on vertex . For any pair of vertices like where there's an edge between and , we direct the edge from to if and otherwise, we direct the edge from to . Now if for any three vertices we have , it means , thus which means , so is a good graph.
* Let be a good graph with vertices. Using induction on , we'll show that is a divisibility graph. For the claim is obvious. Now assume the claim for . Now consider a good graph with vertices. Note that a good graph cannot have a cycle. Because a cycle , means is also an edge of the directed graph. So the graph is not a simple graph, which is a contradiction. Thus, there is no cycle in . Let be a vertex of with in-degree of zero (such vertex exists since does not have a cycle). The graph is a good graph with vertices, so by induction, it is also a divisibility graph where is the number associated with vertex . Now set such that for all we have . Now change the numbers written on the vertices of in a way that for any vertex where , the new associated number is . Now with given numbers is easily shown to be a divisibility graph.
So in order to solve the problem, we need to show that a graph is a permutation graph if and only if itself and its complement are good graphs. Let be a permutation graph. Let be an edge of this graph where are labeled by . We direct the edge from to if . It is easy to see that this directed version of implies is a good graph. Now for the complement of , call it , for any two numbers labeled on vertices , we direct an edge from to if . Again, it is quite simple to see that by this directed version of , we can conclude that is also a good graph. Now for the other part, we need another lemma.
Lemma. Let be a graph with vertices such that both and its complement, , are good graphs. Label the vertices of these graphs by . Then there is an arrangement of the vertices, such that in both and , all vertices are towards the same direction. (Meaning if vertices are respectively labeled as , for any where , we have .)
*Proof.* Let be a graph as described. Since does not contain a cycle, then it is possible to arrange the vertices in a way that all edges are towards the same direction. Of all valid directed versions of , consider the one such that of all the valid directions of , the directed version of has the minimum number of edges towards the opposite direction of the ones in . We will prove that this minimum number is zero. Assume the contrary, that even considering a direction version of with minimum number of backward edges, there is still a backward edge. Let's focus on graph . Consider an edge where the distance between its vertices is minimal. Let this edge be . We claim that are adjacent vertices, otherwise there's a vertex that and .
Both conclusions are impossible, therefore , which means in we must have , and since is good, . Which means in we cannot have an edge between , a contradiction. So must be adjacent vertices. Since there is no edge between in , switching their position will not cause any difference to the way we directed the , that all edges are towards the same direction. But, it reduces the number of edges in that are facing backwards by at least one, a contradiction, since we considered a direction of where it has the minimum number of such edges. Hence the lemma.
Now using the latest lemma, consider an arrangement of the vertices such that any edge of both are towards the same direction, meaning if , then . Now consider a permutation where where are out-degree and in-degree of vertex respectively. Now we will show that is a permutation graph, using the permutation as described. We need to show that for any two indices , we have if and only if . First assume that . Define the sets as
Since both are good, we have
(The second and third lines are concluded because otherwise, considering , we would have .) So we have
Now if , define these following sets
Again, we have
So we conclude
Hence, the given permutation leads to the conclusion that is a permutation graph. So the claim of the problem is finally deduced. ■