傳遞關(guān)系判斷離散數(shù)學(xué)中有定理可以判斷,通過矩陣變換等.
按定理算比較麻煩,可以如下計(jì)算,其實(shí)是計(jì)算傳遞閉包與原關(guān)系是否一樣,一樣則是傳遞關(guān)系,否則不是傳遞關(guān)系.
就是關(guān)系中一個(gè)元素的第二個(gè)分量若與另外一個(gè)元素的第一個(gè)分量相同,則把前者的第一分量與后者的第二個(gè)分量組成元素加入關(guān)系中.
直到所有這樣的情形找出,計(jì)算完畢.
例如:R2計(jì)算傳遞閉包如下:
R2={(1,2),(2,3)}
存在上述情況,把(1,3)加入形成R2'
R2'={(1,2),(2,3),(1,3)}
所有計(jì)算結(jié)束與R2不同,所以不是傳遞關(guān)系.若R2是{(1,2),(2,3),(1,3)}則是傳遞關(guān)系.
而R和R1計(jì)算結(jié)果不變,所以是傳遞的.