Linear Time Canonicalization and Enumeration of Non-Isomorphic 1-Face Embeddings [chapter]

Marc Hellmuth, Anders S. Knudsen, Michal Kotrbčík, Daniel Merkle, Nikolai Nøjgaard
2018 2018 Proceedings of the Twentieth Workshop on Algorithm Engineering and Experiments (ALENEX)  
Antiparallel strong traces (ASTs) are a type of walks in graphs which use every edge exactly twice. They correspond to 1-face embeddings in orientable surfaces and can be used to design selfassembling protein or DNA strands. Based on a novel canonical form invariant for ASTs, gap vector, we provide a linear-time isomorphism test for ASTs and thus, also for orientable 1-face embeddings of graphs. Using the canonical form, we develop an algorithm for enumerating all pairwise non-isomorphic 1-face
more » ... embeddings of graphs. We compare our algorithm with an independent implementation of a recent algebraic approach (Bašić et al., MATCH Commun. Math. Comput. Chem. 78 (3), 2017) on large data sets. Our results yield the first large-scale enumeration of nonisomorphic embeddings and investigation of their properties.
doi:10.1137/1.9781611975055.14 dblp:conf/alenex/HellmuthKKMN18 fatcat:qwse7gt4vjhkbf3hsfifdh3ruu