二分查找及变形总结