对于任意一条直径 a0,a1,⋯ ,aka_0,a_1,\cdots,a_ka0,a1,⋯,ak ，假设找到最大的 leftleftleft alefta_{left}aleft 可以替换 a0,a1,⋯ ,alefta_0,a_1,\cdots,a_{left}a0,a1,⋯,aleft 的部分，最小的 rightrightright arighta_{right}aright 可以替换 aright,⋯ ,aka_{right},\cdots,a_karight,⋯,ak 部分，那么 right−leftright - leftright−left 就是必须边
