rt

在写证明时发现：如果出现了 $d<0$ 的情况，比较父子优劣进行转移的做法就不对了

嘛...毕竟是“数量”，应该不会小于0吧...