AGAOGLU CAGIRICI, Deniz and Petr HLINĚNÝ. Efficient Isomorphism for Sd-Graphs and T-Graphs. ALGORITHMICA. UNITED STATES: SPRINGER, 2023, vol. 85, No 2, p. 352-383. ISSN 0178-4617. Available from: https://dx.doi.org/10.1007/s00453-022-01033-8.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Efficient Isomorphism for Sd-Graphs and T-Graphs
Authors AGAOGLU CAGIRICI, Deniz (792 Turkey, belonging to the institution) and Petr HLINĚNÝ (203 Czech Republic, guarantor, belonging to the institution).
Edition ALGORITHMICA, UNITED STATES, SPRINGER, 2023, 0178-4617.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10200 1.2 Computer and information sciences
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
WWW full preprint URL
Impact factor Impact factor: 1.100 in 2022
RIV identification code RIV/00216224:14330/23:00130021
Organization unit Faculty of Informatics
Doi http://dx.doi.org/10.1007/s00453-022-01033-8
UT WoS 000850021200002
Keywords in English intersection graph; isomorphism testing; chordal graph; H-graph; parameterized complexity
Tags formela-journal
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 28/6/2023 13:42.
Abstract
An H-graph is one representable as the intersection graph of connected subgraphs of a suitable subdivision of a fixed graph H, introduced by Biró et al. (Discrete Mathematics 100:267–279, 1992). An H-graph is proper if the representing subgraphs of H can be chosen incomparable by the inclusion. In this paper, we focus on the isomorphism problem for Sd-graphs and T-graphs, where Sd is the star with d rays and T is an arbitrary fixed tree. Answering an open problem of Chaplick et al. (2016, personal communication), we provide an FPT-time algorithm for testing isomorphism and computing the automorphism group of Sd-graphs when parameterized by d, which involves the classical group-computing machinery by Furst et al. (in Proceedings of 11th southeastern conference on combinatorics, graph theory, and computing, congressum numerantium 3, 1980). We also show that the isomorphism problem of Sd-graphs is at least as hard as the isomorphism problem of posets of bounded width, for which no efficient combinatorial-only algorithm is known to date. Then we extend our approach to an XP-time algorithm for isomorphism of T-graphs when parameterized by the size of T. Lastly, we contribute an FPT-time combinatorial algorithm for isomorphism testing in the special case of proper Sd- and T-graphs.
Links
GA20-04567S, research and development projectName: Struktura efektivně řešitelných případů těžkých algoritmických problémů na grafech
Investor: Czech Science Foundation
MUNI/A/1081/2022, interní kód MUName: Modelování, analýza a verifikace (2023)
Investor: Masaryk University
MUNI/A/1145/2021, interní kód MUName: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Acronym: SV-FI MAV XI.)
Investor: Masaryk University
PrintDisplayed: 12/5/2024 15:48