可传递关系的算法实现

可传递二元关系的判定是离散数学中的一个难点。对于某个关系来说，判定它是否可传递的方法有许多．本文给出了判断可传递二元关系的一个充要条件，以及在计算机上实现的具体算法．