Automatová knihovna - isomorfismus planárních grafů

Abstract

Předmětem této práce je problém isomorfismu planárních grafů. Práce v první části popisuje implementaci základních grafových struktur a algoritmů. Dále je popsána implementace algoritmu Hopcroft-Wong pro řešení problému isomorfismu planárních grafů v lineárním čase. V závěru práce je porovnán výkon tohoto algoritmu s naivním algoritmem podle definice isomorfismu. Práce je součástí projektu Automatová knihovna.

Topic of this thesis is a problem of planar graph isomorphism. First part of the thesis describes implementation of basic graph structures and algorithms. Following is the description of implementation of Hopcroft-Wong algorithm solving planar graph isomorphism in linear time. In the end, there is a comparison of performance of this algorithm and naive algorithm from the definition of isomorphism. This thesis is part of Automata Library.