整数域上的二分

代码会随着check函数意义的改变形式而发生改变，这无所谓，但最好遵循一个原则，就是二分中的if判断的最好是我们二分的目标答案的可能值，这样就可以保持形式上的相似，当然改变了也不会错，只是需要对应变化mid的计算方法，容易出错。