离散数学对称关系怎么用C 写