给学离散数学的同学编程用 详细注释在里边