A. 数学
利用本题的特殊性质，可以得到如果 $n$ 为奇数，那么答案为 $(ab)^{frac{n+1}{2}}$ ，对这个玩意平方一下即可发现是对的。
对于 $n$ 为偶数，可以把 $2$ 全都提取出来，然后对剩余的部分取得一个解。
然后不断缩小 $2$ 的次数以迭代，当缩小为 $2^0$ 的时候可以直接得到解。
很妙的一步是当 $y_0^{2^w} != -1$，因为 $y_0^{2^{w+1}} = 1$，有 $(y_0^{2^w}-1)*(y_0^{2^w}+1)=1$。
于是可以通过上面两个值，把模数进行分解的效果，以继续递归。
B. 灌水
考虑每次给最大的木板定位，那么每次的贡献就是新增的区间大小，所以一个显然的想法是维护区间的左右端点。
然后发现这个东西是没有必要的，我们最终只关注某个值是否存在。
对于每一种方案，都可以随意地构造出一种左右端点来，权值是与左右端点无关的，所以只要维护区间长度就行了。
写个 dp ，发现权值只有0/1，转移就对应着位移和或运算，显然用 bitset 来优化。
随便整个类似前缀和的东西，复杂度就做到 $O(frac{n^3l}{w})$ 了。
发现权值比个数小得多，所以对每个权值考虑一次即可做到 $O(frac{n^2l^2}{w})$。
C. C
奇怪的数据范围，加上特别的只有两个质因子的限定，很明显是在提示网络流。
然而没想到可以这样分配二分图的两个点集。
两个组点集别表示在第一个质数中的组和第二个质数中的组，组的大小分别是 $p_1,p_2$。
删掉叶片不好处理，可以考虑保留叶片。那么每个已经被删的叶片所在的组显然不合法。
每个点对应着两个组，这是该二分图的边，这两个组无法同时被保留。
然后问题就是二分图的最大独立集，有最大独立集=全集-最大匹配集。