Lecture Notes in Computer Science Volume 1373, 1998, pp 25-38
Date: 20 Jun 2005

A synthesis on partition refinement: A useful routine for strings, graphs, boolean matrices and automata

* Final gross prices may vary according to local VAT.

Get Access


Partition refinement techniques are used in many algorithms. This tool allows efficient computation of equivalence relations and is somehow dual to union-find algorithms. The goal of this paper is to propose a single routine to quickly implement all these already known algorithms and to solve a large class of potentially new problems. Our framework yields to a unique scheme for correctness proofs and complexity analysis. Various examples are presented to show the different ways of using this routine.