Testing Isomorphism of Chordal Graphs of Bounded Leafage is Fixed Parameter Tractable

Abstract

Určit algoritmickou složitost problému isomorfizmu grafů je jeden z nejdůležitejších otevřených problémů teoretické informatiky. Je známé, že testování isomorfizmu chordálních grafů je polynomiálně ekvivalentní obecnému problému isomorfizmu grafů. Každý chordální graf může být reprezentován jako průnikový graf množiny podstromů nějakého stromu T. Minimální počet listů T, v kterém je možné chordální graf G reprezentovat, se nazývá listnatost G. V našem příspěvku dokážeme, že existuje FPT algoritmus pro grafový izomorfizmus chordálních grafů s ohraničenou listnatostí.