Q2 of Discrete Mathematics
Question
The Solution to the Transitive Closure
Solution
根据各结点的二元关系,形成关系矩阵。例如(A,B),则矩阵第一行第二列为1;若(B,C)不存在,则第二行第三列为0。
通过矩阵的性质对已有关系进行求解传递闭包,并得到形成闭包所要增添的关系矩阵。
{
M(R):n*n矩阵
A:=M(R),B:=A
for t :=2 to n
A:=A与M(R)矩阵相乘
B:=B与A矩阵每个元素分别求或
return B
}
Note
本程序使用了JAMA包来进行矩阵运算,官网地址:https://math.nist.gov/javanumerics/jama/