离散数学,很方便,有用处啊