SDOI2017 总结

4948【SDOI2017】数字表格

莫比乌斯反演+数论分块

括号里面的部分$O(n\cdot lnn)$暴力维护(每个数更新自己倍数)

4949【SDOI2017】树点涂色

$lct$+线段树维护子树

操作1即为$Access$

考虑答案的定义，可以改为：$x$到根经过的虚边数量

初始化每个点的值为它的深度，$f[x]=dep[x]$

然后$Access$的时候，原来的右儿子的子树全部$+1$(变虚为实)，新的右儿子子树全部$-1$(变实为虚)，维护子树用$dfs$序+线段树区间加即可

操作2用容斥，$f(u)+f(v)-2\cdot f(lca)$

操作3线段树维护区间$max$

4950【SDOI2017】序列计数

容斥，方案=总方案-不含质数方案

计算方案考虑多项式卷积

设生成函数$F(n)=f(n)x^n$，$f(n)$表示和膜$p$余$n$的方案数

初始化$F:$for(1->m)f(i%p)++

总方案数相当于求$F$的$n$次方

不含质数的方案就令$f(Prime\%p)--$重新算一遍即可

两次快速幂套多项式循环卷积即可

4954【SDOI2017】新生舞会

分数规划+$KM$

二分$mid$，设定$val[i][j]=a[i][j]-mid\cdot b[i][j]$，跑$KM$

• $ans\ge 0$，说明有更大的答案$head=mid$
• $else$，$tail=mid$

4956【SDOI2017】相关分析

线段树

维护$\sum x_i$，$\sum y_i$，$\sum x_i{y}_i$，$\sum x_i^2$

对于$3$操作，转化成区间覆盖和区间加两个操作

覆盖的时候，令$x_i=y_i=i$运用${\sum }_1^{n}i$和${\sum }_1^n{i}^2$的两个公式去直接计算

5417【SDOI2017】切树游戏

题意：两个操作

• 求树上异或和为$k$的连通块个数
• 修改点权

考虑静态朴素$dp：$

设$f[x][k]$表示以$x$为顶点，异或和为$k$的连通块个数

$ans[x][k]$表示$x$子树内，异或和为$k$的连通块个数

枚举儿子$son$:

• $f[x][k]+={\sum }_{i⨁j==k}f[x][i]\cdot f[son][j]$

  （$val[x]$为初始值，第$a[x]$项为$1$，其余项为$0$）

• $ans[x][k]+=ans[son][k]$

对于第一个式子，考虑使用$fwt$把卷积转化成乘积，那么对于一个儿子

• $F[x][k]=F[x][k]\cdot F[son][k]+F[x][k]=F[x][k]\cdot (F[son][k]+1)$

• $Ans[x][k]=Ans[x][k]+Ans[son][k]$

所以

• $F[x][k]=Val[x][k]\cdot {\Pi }_{son}(F[son][k]+1)$

• $Ans[x][k]=F[x][k]+{\sum }_{son}Ans[son][k]$

由于要支持修改，继续优化，考虑动态$dp$

令$gF[x][k]=val[x][k]\cdot {\Pi }_{轻儿子}(F[son][k]+1)$，$gAns[x][k]={\sum }_{轻儿子}Ans[son][k]$

则

• $F[x][k]=(F[重儿子][k]+1)\cdot gF[x][k]$

  $=F[重儿子][k]\cdot gF[x][k]+gF[x][k]$

• $Ans[x][k]=Ans[重儿子][k]+gAns[x][k]+F[x][k]$

  $=Ans[重儿子][k]+gAns[x][k]+F[重儿子][k]\cdot gF[x][k]+gF[x][k]$

构造出矩阵：

然后就是动态$dp$的套路，维护重链的乘积，修改的时候沿重链往上跳，每次更新$g$便消去旧的贡献，增添新的贡献

• gF/=(prev_F+1); gF*=(now_F+1)
• gAns-=prev_Ans; gAns+=now_Ans

还有一点，$pre{v}_F+1$可能是$10007$的倍数，然后导致$gF$变成$0$，这个时候$0/0=???$

所以另外记录一个$zero\_cnt$数组记录$gF$中有多少个$0$，更新的时候同时维护一下即可（如果$zero\_cnt[x]>0$，那么$gF=0$）

• gF*=(F+1) ->if((F+1)%MOD==0)zero_cnt++; else gF*=(F+1);
• gF/=(F+1) ->if((F+1)%MOD==0)zero_cnt--; else gF/=(F+1)
• a[][]=gF->if(zero_cnt>0)a[][]=0; else a[][]=gF

然后还有一点，我线段树会$MLE$，要用全局平衡二叉树？