Connected V-free graph

A V-free graph is a graph that doesn't have the induced subgraph K 1 , 2 K_{1,2} ; that is, the graph doesn't have three vertices a , b , c a,b,c such that a a is adjacent to both b b and c c , but b , c b,c 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.


The answer is 2016.

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.

1 solution

Ivan Koswara
Mar 31, 2016

We claim that the only connected V-free graphs are the complete graphs.

Indeed, suppose there exists two non-adjacent vertices u , v u, v . Since the graph is connected, there is a path u = v 0 , v 1 , v 2 , , v n = v u = v_0, v_1, v_2, \ldots, v_n = v . Since the graph is V-free, and v 0 v 1 , v 1 v 2 v_0 v_1, v_1 v_2 are edges, we must have v 0 v 2 v_0 v_2 to be an edge (otherwise v 0 , v 1 , v 2 v_0, v_1, v_2 forms an induced K 1 , 2 K_{1,2} subgraph). Similarly, since v 0 v 2 , v 2 v 3 v_0 v_2, v_2 v_3 are edges, then v 0 v 3 v_0 v_3 is also an edge. We can induct to reach the conclusion that v 0 v n 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 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 2016 \boxed{2016} 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 d satisfying the reverse triangle inequality d ( a , c ) d ( a , b ) + d ( b , c ) d(a,c) \ge 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 .

What about the empty graph with 0 vertices?

Calvin Lin Staff - 5 years, 2 months ago

Log in to reply

I usually don't consider the null graph (with zero vertices) as a graph, but either way the problem is clarified.

Ivan Koswara - 5 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...