Question

离散数学，第37题的第二问，如果改为求由R*导出的A的划分，应该怎么做？

Answer 1

先把tsr自反对称传递闭包，求出来。

r(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>}

sr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>}
tsr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>,<b,c>,<c,b>}

因此划分是{{a,b,c},{e,f}}

Answer 2

r(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>}
sr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>}
tsr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>,<b,c>,<c,b>}
商集a. b. C，d，e. F三个等价类