洛谷P6075题解

题面

首先这 \(n\) 个数是互相独立的,所以我们不需要统一的去考虑,只需要考虑其中一个数即可。
我们以 \(k=5\) 的情况举例。
我设 \(f_i\) 为最后一行只填前 \(i\) 个点的情况数, \(g_i\)\(k=i\) 时总共的情况数。

显然, \(f_0\) 就是 \(g_{k-1}\) ,在这里就是 \(g_4\)

然后 \(f_1\) 其实就是图中黑色部分一定填,白色一定不填,红色部分可选的种类数。进一步观察,这个红色部分其实就是 \(g_3\)


再进一步由图可以得到, \(f_2=g_2,f_3=g_1\)
再往下, \(f_4\)\(f_5\) 都没得选了,所以 \(f_4=f_5=1\)
为了下面讲述方便,我们设 \(f_4=g_0=1\)

那么我们已经得到了 \(g_5=\sum^5_{i=1}f_i\) ,那么我们可以推广到其他数,可知 \(g_k=\sum^k_{i=1}f_i\)
再进一步观察,当 \(k=5\) 时, \(f_0=g_4,f_1=g_3,f_2=g_2,f_3=g_1,f_4=g_0\) ,所以 \(g_5=\sum^5_{i=1}f_i=\sum^4_{i=1}g_{4-i}+f_5=\sum^4_{i=1}g_i+1\)
推广到其他数,可知 \(g_k=\sum^{k-1}_{i=1}g_i+1\)
那么我们可以根据 \(g_0=1\) 推出 \(g_1=2,g_2=4,g_3=8\)
观察规律,可以发现 \(g_i=2^i\)
如何证明呢?我们使用数学归纳法。
首先当 \(i=0\) 时,\(g_0=1=2^0\) ,结论成立。
再假设 \(i=k\) 时,结论已成立,那么 \(g_{k+1}=\sum^{k}_{i=1}g_i+1=\sum^{k-1}_{i=1}g_i+1+g_k\) ,而 \(\sum^{k-1}_{i=1}g_i+1=g_k\) ,所以 \(g_{k+1}=\sum^{k-1}_{i=1}g_i+1+g_k=2\times g_k=2\times 2^k=2^{k+1}\) ,所以 \(i=k+1\) 时仍然成立。
所以我们就证明出了 \(g_i=2^i\)

回到最开始。我们有 \(n\) 个数,每个数有 \(g_k=2^k\) 种选择,那么根据乘法原理,总计的选择数就是 \(2^{nk}\) 。用快速幂算一下即可。代码就不贴了。

posted @ 2021-10-04 08:50  Chiimo  阅读(43)  评论(0编辑  收藏  举报