Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete

Kitti Gelle
  • Fonction : Auteur
  • PersonId : 1024583
Szabolcs Iván
  • Fonction : Auteur
  • PersonId : 1022733

Résumé

Disjoint-Set forests, consisting of Union-Find trees, are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a characterization exists for Union trees which are constructed without using path compression) for the case assuming union-by-rank strategy for merging. In this paper we provide such a characterization by means of a simple $\textbf{PUSH}$ operation and show that the decision problem whether a given tree (along with the rank info of its nodes) is a Union-Find tree is $\mathbf {NP}$-complete, complementing our earlier similar result for the union-by-size strategy.
Fichier principal
Vignette du fichier
440206_1_En_12_Chapter.pdf (320.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01657003 , version 1 (06-12-2017)

Licence

Identifiants

Citer

Kitti Gelle, Szabolcs Iván. Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.152-163, ⟨10.1007/978-3-319-60252-3_12⟩. ⟨hal-01657003⟩
51 Consultations
116 Téléchargements

Altmetric

Partager

More