搜索算法pascal