∀x,y,z∈A[⟨x,y⟩∈R∧⟨y,z⟩∈R→⟨x,z⟩∈R] 只要找两个就能验证了，最多需要验证 n(n−1) 次 找有没有半三角形，如果有就是不满足传递性的，如果有双向边那就必须有自环（我感觉很难看） 这样看会好一点：遍历每一个点，探索所有能够走两步的位置连接情况