A V-free graph is a graph that doesn't have the induced subgraph ; that is, the graph doesn't have three vertices such that is adjacent to both and , but are not adjacent.
How many connected V-free graphs having between 1 and 2016 vertices (inclusive) are there?
Hint: It's 1 April over here.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
We claim that the only connected V-free graphs are the complete graphs.
Indeed, suppose there exists two non-adjacent vertices u , v . Since the graph is connected, there is a path u = v 0 , v 1 , v 2 , … , v n = v . Since the graph is V-free, and v 0 v 1 , v 1 v 2 are edges, we must have v 0 v 2 to be an edge (otherwise v 0 , v 1 , v 2 forms an induced K 1 , 2 subgraph). Similarly, since v 0 v 2 , v 2 v 3 are edges, then v 0 v 3 is also an edge. We can induct to reach the conclusion that v 0 v n is an edge, contradiction.
It's also trivial that complete graphs are V-free (because they don't have any missing edge that's required in a K 1 , 2 induced subgraph). There are 2016 complete graphs with no more than 2016 vertices, one for each number of vertices not greater than 2016, so there are also 2 0 1 6 connected V-free graphs.
Yes, the joke is that we define something that looks interesting, but at the end it just collapses to something trivial. Another example is about spaces equipped with a distance function d satisfying the reverse triangle inequality d ( a , c ) ≥ d ( a , b ) + d ( b , c ) .
EDIT a year later: I just knew that a V-free graph is more well-known as a cluster graph .