题目链接：https://www.luogu.org/problem/P2167
数据范围：略。
题解：
因为$k$特别小，想到状压。
状压的方式也非常简单，就是暴力枚举。
但是会不会存在重复的问题呢？
我想到这里就转到容斥了。
就是暴力多步容斥就好了。
$Luogu$的题解们的状压还有一步，算了算了不管了。
[LuoguP2167][SDOI2009]Bill的挑战_容斥原理/状压dp
原文：https://www.cnblogs.com/ShuraK/p/11688252.html
