Ověřená implementace struktury Union-Find
Union-Find---A Verified Implementation
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Jakub Bartoň
Vedoucí práce
Knop Dušan
Oponent práce
Zemánek Petr
Studijní obor
Bezpečnost a informační technologieStudijní program
Informatika 2009Instituce přidělující hodnost
katedra počítačových systémůPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Union-Find je dátová štruktúra používaná v úlohách, ktoré vyžadujú množinovú operáciu zjednotenia a identifikáciu, do akej množiny prvok patrí. Programátori často tieto štruktúry neimplementujú sami, ale vyhľadávajú ich implementácie online. V takom prípade je problémom overenie, že implementácia funguje správne a že vykonáva iba to čo má. Táto práca sa preto zameriava na analýzu dátovej štruktúry Union-Find, možnosťami jej implementácie, verifikáciou a porovnaním výkonnosti jednotlivých implementácií. Union-Find is a data structure that can be used for tasks that require set union and checking to which set an element belongs. Software developers do not implement those data structures on their own. They prefer to look for them online. The problem is, that it is difficult to verify the correctness of the implementation. This thesis focuses on analyzing the Union-Find data structure, ways of optimized implementation, verification, and performance comparison of selected implementations.
Kolekce
- Bakalářské práce - 18104 [347]