离散数学的作业，只是编译成功，不保证正确性。