可以检查是否在线段树内是否每一次更新最小值的时候区间 $0$ 的个数也更新了。