题目就是标题。$K_4$ 指四个点的完全图。如下是一些想法。
这个题有很简单的 $\mathcal O\left(\frac{n^4}{w}\right)$ 做法，并且有小常数，预计能过 $n\le 500$。有没有更好的做法？

子图同构是 NP-Hard 的，但是这里的子图是给定的，并且大小极小。

有一种技术叫 color-coding，可以随机染色然后跑状压（类似最小斯坦纳树那样的东西），但是一般只能做链和环之类线性的东西，有无办法拓展到 K4 的情况？

四元环计数是否没办法同时考虑 $(1,3),(2,4)$ 两条边，仅能做到 Counting Stars 这样的图？

而且判断有没有肯定比计数简单，那么有无判断四元环等图的做法，然后拓展？（判断有没有三元环相当于在问最小环是否为 $3$，是好做的，但是没办法拓展）

广义串并联图方法可以做有无 $K_4$ 的细分，能不能具体到有无 $K_4$？