离散数学沃舍尔算法怎么算的