一个朴素的想法是容斥：考虑钦定\(S\)集合的位置没有被车覆盖，则答案是\((-1)^{|S|}2^{c}\)，其中\(c\)是可以放车的位置，可以直接dp做到\(\mathrm{O}(2^n\text{poly}(n))\)，但是难以优化。延续容斥的想法，注意到钦定一个位置后会直接ban掉整列，我们设\(f(S)\)表示所有钦定的