离散数学中哈斯图画法的应用