离散数学实现