0
$\begingroup$

Is there a formula/algorithm to check whether any relation is transitive, using its matrix?

I seem to have found a formula $\sum_{i=1}^{n} \sum_{j=1}^{n} \sum_{k=1}^{n}$[ MTkj*(MTki-1)]=0

  • 0
    You should provide relevant details(elaborate your findings; perhaps add a quick description of how a matrix can be used to represent a relation-useful refresher for users who might not be particularly inclined to look it up), or risk the question being downvoted. Having said that, are you vaguely referring to finding the square of the boolean matrix and comparing to it to the original? – 2017-02-27
  • 0
    No, not that, this is quite different. It doesn't involve multiplication, just writing down the transpose of the matrix, and comparing some elements. (Which I think is similar to finding the square) I think I should provide details. – 2017-02-27
  • 1
    Possible duplicate of [How to check whether a relation is transitive from the matrix representation?](http://math.stackexchange.com/questions/228898/how-to-check-whether-a-relation-is-transitive-from-the-matrix-representation) – 2017-02-27
  • 0
    I just added the equation, wanted to know if it is known – 2017-02-27
  • 0
    You've got to be more descriptive. For example, what is implied if the above summation is zero? I assume M is the boolean matrix representing the relation in question; but you'd do well to mention that. – 2017-02-27
  • 0
    I think it's a little hard to explain here, can we chat? – 2017-02-27
  • 0
    Let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/54447/discussion-between-akay-and-swaroop-joshi). – 2017-02-27

1 Answers 1

1

Given such a logical matrix $A$, the square of the matrix $A^2$ shouldn't have non-zero in any place where $A$ has a zero.

See here: How to check whether a relation is transitive from the matrix representation?