https://9dok.org/document/zx5njo3o-complexity-counting-subgraphs-boundedness-vertex-cover-number-counts.html