下面是二分法（折半）查找算法。在给定有序（从小到大）的顺序表中，查找关键字值为k的记录，若找到，返回记录下标，否则返回-1。