标签: 离散数学及其应用