假定对有序表：（3，4，5，7，24，30，42，54，63，72，87，95）进行折半查找。假定每个元素的查找概率相等，求查找成功时的平均查找长度。