Given a set of positive integers, its common divisor graph ( CD-graph) is the graph whose vertices are the integers, two of which are joined by an edge if (and only if) they have a common divisor greater than 1.
Given the same set of integers, its nth Collatz iterate is the set resulting of applying the Collatz recipe (multiply by 3, and add 1 if odd; divide by 2 if even) to each of its elements.
Does a set of four integers exist such that the CD-graph of itself and that of its first ten iterates are precisely the 11 graphs on 4 vertices?
Notice that the set {7,10,13} does the trick for graphs on 3 vertices: all four graphs are generated.