Algoritmy založené na omezené expanzi - implementace a vyhodnocení
Algorithms based on bounded expansion - implementation and evaluation
Algoritmy založené na omezené expanzi - implementace a vyhodnocení
bachelor thesis (NOT DEFENDED)
![Document thumbnail](/bitstream/handle/20.500.11956/71520/thumbnail.png?sequence=8&isAllowed=y)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/71520Identifiers
Study Information System: 125778
Collections
- Kvalifikační práce [10926]
Author
Advisor
Referee
Knop, Dušan
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
General Computer Science
Department
Computer Science Institute of Charles University
Date of defense
16. 6. 2014
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Slovak
Grade
Fail
Keywords (Czech)
izomorfismus podgrafů, omezená expanze, stromová dekompoziceKeywords (English)
subgraph isomorphism, bounded expansion, tree decompositionTato bakalářská práce navazuje na větu, která říká, že mnoho tříd grafů - konkrétně třídy s omezenou expanzí - má vlastnosti zjednodušující rozhodování grafových problémů definovatelných v logice prvního řádu. Důležitým příkladem takového problému je izomorfismus podgrafů. Cílem této práce je implementovat a otestovat navrhnutý algoritmus pro tento problém (který má lineární časovou složitost vzhledem k velikosti grafu, ve kterém hledáme podgraf). Powered by TCPDF (www.tcpdf.org)
This thesis builds upon the result that a lot of graph classes - namely classes with bounded expansion - have properties which make deciding graph problems definable in first-order logic easier. One very important example of such a problem is subgraph isomorphism. The purpose of this work is to implement and test proposed algorithm for this problem (which has a linear time complexity in relation to the size of graph we are looking for the subgraph in). Powered by TCPDF (www.tcpdf.org)