程序规约论文

三类组合数学问题算法形式化推导策略的研究
论文摘要组合数学是研究离散对象的科学,而计算机处理的对象主要是离散数据,因此,关于组合数学问题算法的研究一直以来都是计算机科学的重要研究领域之一。然而在许多相关文献中,对于组合...