折半查找的平均查找长度公式