摘要：
FoxAndCity 设 \(d_x\) 表示 \(1\) 到 \(x\) 的最短距离，对于任何一张连通图都有：\(d_x \in [0,n),d_1=0\)，若存在边 \((x,y)\)，则有 \(|d_x-d_y|\leqslant 1\)。可以发现这是 \(d_x\) 合法的充要条件，已知满足 阅读全文
摘要：
直接算不好算，考虑先算出超集和的答案，最后高维后缀差分求出原本的答案。 发现超集和的意义下的答案满足：将 \(01\) 串的连边关系构成图后，会得到若干条链，若两个 \(01\) 串得到的链长的可重集相同，则这两个 \(01\) 串的答案相等。因为答案是由全排列贡献的，所以有这个性质。 考虑直接枚举 阅读全文
摘要：
若一个格子左、上、下都有黑格子，那么该格子是否为黑色是不影响最后的三元组的，因此只用统计这样的格子为白色的情况，这样就能考虑到所有三元组了。 考虑按列 \(DP\)，设 \(f(i,j)\) 表示考虑前 \(i\) 列，已经有 \(j\) 行至少有一个黑色格子的行的方案数，最终答案为 \(\sum 阅读全文