查找

排序和查找理论及算法.pdf

本书介绍了以比较为基础的传统排序和查找理论及4个简单实用的传统算法,阐述了以概率分布为基础的排序和查找算法。

形式化框架下置换和查找类算法的组装生成.pdf

  算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。  置换和查找是计算机学科中的两类特殊问题,可应用算法设计策略的灵活性使其算法更具多样性,算法生成的自动化程度难以提高。本书结合软件形式化方法PAR,