这几天刚回家，要见很多亲戚，一起吃饭什么的。

主方法 主定理 设 $a >= 1$ 和 $b > 1$ 为常数，设 $f(n)$ 为一函数，$T(n)$ 由递归式 $$T(n) = aT(\frac b n) + f(n)$$ 对非负整数定义。

今天很多感想。

意识这种虚有的东西，却看起来指导了能够拨动真实世界的行为。

想把本来就不多的SSD空间要回来，也考虑到 WSL 慢慢越来越好用，所以就准备把 ThinkPad 上的 ArchLinux 卸载掉，重新装一个在 U 盘里。

不知道到时候又会怎么样。

假期开始前 虽然很早就开始放假了。