Testování isomorfizmu chordálních grafů s ohraničenou listnatostí je 'fixed parameter traceable'

Autor: Arvind, Vikraman, Nedela, Roman, Ponomarenko, Ilia, Zeman, Peter
Jazyk: angličtina
Rok vydání: 2022
Předmět:
Popis: 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í. The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general graph isomorphism problem. Every chordal graph can be represented as the intersection graph of some subtrees of a representing tree, and the leafage of a chordal graph is defined to be the minimum number of leaves in a representing tree for it. We prove that chordal graph isomorphism is fixed parameter tractable with leafage as parameter.
Databáze: OpenAIRE