【离散数学】编程练习：消解算法