标题：cross(a,b)和a>b两者的区别在哪里啊？

cross(a,b) 是表示本根k上a>b, 上根k上a<b

a>b只要求本根k 上a>b

当前K假设满足cross(a,b)条件。那么上一个K必然是a<b,当前K是a>=b,下一个K必然是a>b.  cross相当于多个条件的组合。