应该是二分吧，对于选定的mid，a[mid-1],a[mid],a[mid+1]有可能是/型，\型，^或者v，分类讨论一下lo和hi，v型考虑递归两边
