离散数学实训 求对称闭包s(R)（C++）