离散数学及其应用算法实现