A First Order Logic Definition of Beyond-Planar Graphs
DOI:
https://doi.org/10.7155/jgaa.00455Abstract
Beyond-planarity is a collective term for classes of graphs that extend the planar graphs and are defined by drawings with restrictions on crossings. Examples are 1-planar, fan-planar, fan-crossing free, and quasi-planar graphs. We define these and other classes of beyond-planar graphs by simple first order formulas, using two predicates to express a crossing and an adjacency of two edges, and establish inclusion relationships between the so obtained graph classes.Downloads
Download data is not yet available.
Downloads
Published
2018-01-01
How to Cite
Brandenburg, F. (2018). A First Order Logic Definition of Beyond-Planar Graphs. Journal of Graph Algorithms and Applications, 22(1), 51–66. https://doi.org/10.7155/jgaa.00455
Issue
Section
Articles
Categories
License
Copyright (c) 2018 Franz Brandenburg
This work is licensed under a Creative Commons Attribution 4.0 International License.