Forma más sencilla de verificar el conjunto de borde para la transitividad

Question

Estoy jugando con torneos y actualmente tengo el problema de que necesito verificar si un subconjunto determinado de los bordes de un torneo es transitivo (no es necesario que sea acíclico). Soy consciente de que siempre puedo tomar el cierre transitivo del conjunto de borde y ver si termina sin agregar un solo borde o no, pero me preguntaba si podría haber una manera más simple que eso.

Tenga en cuenta que voy específicamente por simplicidad, no eficiencia; Los torneos que quiero verificar superan un máximo de $ 7 $ Vértices, por lo que la complejidad realmente no es un problema. Preferiría formas simples y fáciles de implementar. Lo más simple que pude encontrar hasta ahora es Floyd-Warshall, pero tal vez alguien sepa todo lo que aún sea más simple.