二分枚举长度，然后验证长度是不是能满足