csp-c模拟测试「set·read·」

Posted 2022-11-10 znsbc-13

set

题解

只要求一组特解

像入阵曲一样就好了

$(sum[r]-sum[l])\%n==0$

拆成$sum[r]\%n==sum[l]\%n$桶里存$sum[l]\%n$每次找$sum[r]$桶里有没有对应的#sum[l]#

存$tong[0]=1$,别的先查后存

证明

证明一下正确性

$0$自己合法$(sum[r]\%n)==0$不需要找对应

其他都要找一个来匹配

假设我们有$n+1$个$sum‘$值,(这里假设$sum[0]$也要找一个匹配)

$\%n$意义下$sum$范围取遍$[0,n-1]$

$n+1$个$sum$,$n$种取值一定有一种合法

故得证