Search arXivSearch

arXiv · 2312.15793

Unique Triangulated 1-Planar Graphs

Abstract

It is well-known that every 3-connected planar graph has a unique planar embedding on the sphere. We study the extension to triangulated 1-planar graphs, T1P graphs for short, which admit an embedding in which each edge is crossed at most once and each face is a triangle, and obtain an algorithmic solution by a cubic time recognition algorithm that also counts the number of T1P embeddings. In particular, we show that every triangulated planar graph has a unique T1P embedding, although it may admit many 1-planar embeddings, and that any 6-connected T1P graph has a unique 1-planar embedding, except for full generalized two-stars that admit two or eight 1-planar embeddings. Our algorithm extends, refines, and corrects a previous recognition algorithm by Chen, Grigni and Papadimitiou (``Recognizing Hole-Free 4-Map Graphs in Cubic Time'', Algorithmica 45 (2006)).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Franz J. Brandenburg. 2023-12-25. Unique Triangulated 1-Planar Graphs. https://arxiv.org/abs/2312.15793

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Factorisability of Low Dimensional Non-Negative Integer Matrices

We consider the problem of determining if a given two-dimensional nonnegative integer matrix $M$ is the product of two such matrices, excluding trivial units. A matrix $M$ with no such factorisation is called prime and therefore belongs to the minimal (infinite rank) generator of $2 \times 2$ matrices over the natural numbers, otherwise it is called composite. We also consider the problem of finding a (non-unique) factorisation of a composite matrix. Our results have applications in computational group theory and the theory of codes, where such matrices are called incidence matrices. We analyse the complexity of primality and finding a factorisation for a composite matrix, providing a first efficient algorithm.

cs.DM

The parameterised complexity of generalised temporal domination on temporal graphs with modular structure

Inspired by the static problem $(α,β)$-Dominating Set, we propose a general temporal domination problem, called $(α,β)$-Temporal Dominating Set ($(α,β)$-TDS). We show that this problem encompasses Temporal Dominating Set, and additionally provides first temporal extensions of problems such as $k$-Dominating Set and $α$-Dominating Set. In this paper, we study the parameterised complexity of $(α,β)$-TDS with respect to temporal neighbourhood diversity (TND), temporal modular-width (TMW), and temporal cliquewidth (TCW). We obtain fixed parameter tractability results for all values of $α$ and $β$ with respect to TND; W[1]-hardness with respect to TMW and TCW whenever $β$ is in the problem input, or whenever $α\in (0,1)$ and $β$ is a fixed constant; and para-NP-hardness with respect to TCW when $α= 0$ and $β= 1$, or $α= 1$ and $β= 0$.

cs.DM