4.8

周二

组合

看了下 SJTU Combinatorics in Computer Science 的 lec1 课程简介 和 lec6 莫比乌斯反演 I ，学会了无向图的矩阵树定理证明，和局部有限偏序集上的莫比乌斯反演。这套反演理论可以直接给出一般化的容斥原理，避免 oi-wiki 上又臭又长的 证明

关于容斥原理，oi-wiki 上还有 Min-max 容斥 这个主题，注意到对应的习题 P4707 重返现世 是黑题，显然不是我能碰瓷的，于是合理无视。

FFT

看了个 b 站 FFT 视频，原来没想象中那么难，看完就先开摆了。