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í
bakalářská práce (NEOBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/71520Identifikátory
SIS: 125778
Kolekce
- Kvalifikační práce [11214]
Autor
Vedoucí práce
Oponent práce
Knop, Dušan
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná informatika
Katedra / ústav / klinika
Informatický ústav Univerzity Karlovy
Datum obhajoby
16. 6. 2014
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Slovenština
Známka
Neprospěl
Klíčová slova (česky)
izomorfismus podgrafů, omezená expanze, stromová dekompoziceKlíčová slova (anglicky)
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)