正确性验证的不变量思维

验证一个算法是否正确，关键是找到"不变量"——循环执行前后不变的条件。例如二分搜索的不变量是"目标如果存在，一定在 [low, high] 区间内"。这个思维可以迁移到任何需要验证逻辑的场景：业务流程的不变量是"最终客户能收到货"，制度设计的不变量是"最终能达成目标"。