算法刷题与面试

从规格、不变量和反例出发，完成六类核心题型与限时模拟。不是背题解，而是证明、实现、测试和复盘。