This approach works because the 'real' graphs used are very sparse and the maximum clique size is tiny. (in the examples in the original post, the largest clique size over all the graphs is 6)<p>See also:
<a href="http://en.wikipedia.org/wiki/Treewidth" rel="nofollow">http://en.wikipedia.org/wiki/Treewidth</a>