Mfset

Da Wikipedia, l'enciclopedia libera.

L'MFSet (Merge-Find Set), altrimenti conosciuto come struttura dati union-find, è una struttura dati derivante dal concetto di Insieme delle parti, per cui dato un insieme finito di elementi a volte risulta utile partizionarli in insiemi disgiunti. L'algoritmo di Merge-Find è quindi utile per le due operazioni possibili su questa struttura dati:

  • Ricerca: determina in quale insieme si trova un particolare elemento, o se due elementi appartengono allo stesso insieme
  • Unione: combina o fonde due insiemi in un unico insieme

L'altra operazione su MFSet è Crea, tramite la quale è possibile dato un insieme crearne l'insieme delle parti di ciascun elemento. Con l'utilizzo di questi tre operatori è possibile risolvere molti problemi pratici.

Operatori[modifica | modifica wikitesto]

Sintassi[modifica | modifica wikitesto]

  • CREAMFSET (INSIEME) MFSet
  • TROVA (ELEMENTO, MFSET) componente
  • FONDI (ELEMENTO, ELEMENTO, MFSET) MFSet

Semantica[modifica | modifica wikitesto]

  • CREAMFSET()=

è quindi una famiglia di = || componenti ,..., ciascuno dei quali contiene un solo elemento di tale che = .

  • TROVA(

se appartiene ad una componente di allora è l'identificatore della componente cui appartiene.

  • FONDI(

se TROVA( è diverso da quindi ed appartengono a componenti distinte di allora è formato da tutte le componenti di che non contengono o , e da una nuova componente data dall'unione delle due componenti contenenti ed .