Transitive Closure algorithm

Computes Transitive closures on zero-one int array representation of relations.