社区讨论

关于本题一个结论的证明

P4248[AHOI2013] 差异参与者 41已保存回复 44

讨论操作

快速查看讨论及其快照的属性,并进行相关操作。

当前回复
40 条
当前快照
1 份
快照标识符
@mjhc790d
此快照首次捕获于
2025/12/22 23:54
2 个月前
此快照最后确认于
2025/12/25 19:55
2 个月前
查看原帖
大部分题解在这一部分直接出答案,没有任何证明或推导过程,极其不负责任。
在此给出证明。
引理:
1i<jn(sufi+sufj)=1i<jn(i+j)=n(n+1)(n1)2\sum_{1\le i<j\le n}^{} (|suf_i|+|suf_j|) =\sum_{1\le i<j\le n}^{} (i+j)= \frac{n(n+1)(n-1)}{2}
证:
第一部分:
1i<jn(sufi+sufj)\sum_{1\le i<j\le n}^{} (|suf_i|+|suf_j|) =1i<jn((n+1i)+(n+1j))=\sum_{1\le i<j\le n}^{} ((n+1-i)+(n+1-j))
对于任意满足 1p<qn1\le p<q\le n(p,q)(p,q),都有一组 (n+1q,n+1p)(n+1-q,n+1-p) 相对应。故对于 1i<jn(sufi+sufj)\sum_{1\le i<j\le n}^{} (|suf_i|+|suf_j|) 中的每一项,都能在 1i<jn(i+j)\sum_{1\le i<j\le n}^{} (i+j) 中找到对应项,反之亦然。所以可以认为 1i<jn(sufi+sufj)=1i<jn(i+j)\sum_{1\le i<j\le n}^{} (|suf_i|+|suf_j|) =\sum_{1\le i<j\le n}^{} (i+j)
第二部分:
1i<jn(i+j)\sum_{1\le i<j\le n}^{} (i+j) =(1i<jni)+(1i<jnj)= (\sum_{1\le i<j\le n}^{} i)+(\sum_{1\le i<j\le n}^{} j)
在第一部分中,i=ki=k 时,jjn1kn-1-k 种取法。
在第二部分中,j=kj=k 时,iik1k-1 种取法。
所以,原式可以化为:
=(1in1i(ni))+(1inj(j1))= (\sum_{1\le i\le n-1} i(n-i))+(\sum_{1\le i\le n} j(j-1))
使用平方和公式/整数裂项,可以求得:
=n(n+1)(n1)3+n(n+1)(n1)6= \frac{n(n+1)(n-1)}{3} +\frac{n(n+1)(n-1)}{6} =n(n+1)(n1)2= \frac{n(n+1)(n-1)}{2}

回复

44 条回复,欢迎继续交流。

正在加载回复...