Представление множеств с помощью деревьев, эвристика сжатия путей, верхняя оценка $O(m\log^*n)$ на время работы $m$ операций, визуализация.