RECENT POSTS

Hs-equivalence

May 26, 2018

Maintaining an equivalence relation implemented as union-find using STT

This is an implementation of Tarjan’s Union-Find algorithm Robert E. Tarjan. “Efficiency of a Good But Not Linear Set Union Algorithm”, JACM 222, 1975 in order to maintain an equivalence relation.

WWW https//bitbucket.org/paba/equivalence/