哈工大离散数学dit05