bfs的证明

①两段性：
队列中最多存在两段：前面是x、x、x，后面是x+1、x+1…后面这段可能不存在
②单调性：（数学归纳法）
Ⅰ初始时：只有一个点显然满足单调性
Ⅱ：假设当前满足条件，x、x、x、x+1、x+1.此时取出队头，找出能够扩展到的点，如果已经被遍历过则忽略，那么因为边长都是1，所以扩展到的点的距离都是x+1，将这些点放到队尾，此时队列仍然具有单调性和两段性。