思路看到「恰好」触发被动了考虑套路转化,令\(f(k)\)表示「至少」有\(k\)个对应位置的字符不同的字符串对数套路的,令\(g(k)\)表示「恰好」有\(k\)个对应位置的字符不同的字符串对数\[f(k)=\sum_{i=k}^{n}{n\choosei}g(i)\iffg(k)=\sum_{i=k}^{n}(-1