English
Related papers

Related papers: Graph Planarity Testing with Hierarchical Embeddin…

200 papers

Given a graph $G$ and a positive integer $k$, the 2-Load coloring problem is to check whether there is a $2$-coloring $f:V(G) \rightarrow \{r,b\}$ of $G$ such that for every $i \in \{r,b\}$, there are at least $k$ edges with both end…

Data Structures and Algorithms · Computer Science 2020-10-13 I. Vinod Reddy

Any planar graph has a crossing-free straight-line drawing in the plane. A simultaneous geometric embedding of two n-vertex graphs is a straight-line drawing of both graphs on a common set of n points, such that the edges withing each…

Computational Geometry · Computer Science 2007-05-23 Martin Kutz

In this paper we study the Spanning Tree Congestion problem, where we are given a graph $G=(V,E)$ and are asked to find a spanning tree $T$ of minimum maximum congestion. Here, the congestion of an edge $e\in T$ is the number of edges…

Data Structures and Algorithms · Computer Science 2026-05-28 Michael Lampis , Valia Mitsou , Edouard Nemery , Yota Otachi , Manolis Vasilakis , Daniel Vaz

In this work, we study how far one can deviate from optimal behavior when embedding a planar graph. For a planar graph $G$, we say that a plane subgraph $H\subseteq G$ is a \textit{plane-saturated subgraph} if adding any edge (possibly with…

Combinatorics · Mathematics 2024-03-06 Alexander Clifton , Nika Salia

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

Computational Complexity · Computer Science 2012-01-18 Sepp Hartung , André Nichterlein

Perturbed graphic matroids are binary matroids that can be obtained from a graphic matroid by adding a noise of small rank. More precisely, r-rank perturbed graphic matroid M is a binary matroid that can be represented in the form I +P,…

Data Structures and Algorithms · Computer Science 2019-02-20 Fedor V. Fomin , Petr A. Golovach , Daniel Lokshtanov , Saket Saurabh , Meirav Zehavi

We investigate two types of graph layouts, track layouts and layered path decompositions, and the relations between their associated parameters track-number and layered pathwidth. We use these two types of layouts to characterize leveled…

Combinatorics · Mathematics 2019-04-10 Michael J. Bannister , William E. Devanny , Vida Dujmović , David Eppstein , David R. Wood

A \emph{queue layout} of a graph consists of a \emph{linear order} of its vertices and a partition of its edges into \emph{queues}, so that no two independent edges of the same queue are nested. The \emph{queue number} of a graph is the…

Data Structures and Algorithms · Computer Science 2019-08-12 Michael A. Bekos , Henry Förster , Martin Gronemann , Tamara Mchedlidze , Fabrizio Montecchiani , Chrysanthi Raftopoulou , Torsten Ueckerdt

Grouping the nodes of a graph into clusters is a standard technique for studying networks. We study a problem where we are given a directed network and are asked to partition the graph into a sequence of coherent groups. We assume that…

Social and Information Networks · Computer Science 2025-12-08 Iiro Kumpulainen , Nikolaj Tatti

We study the \textsc{Labeled Contractibility} problem, where the input consists of two vertex-labeled graphs $G$ and $H$, and the goal is to determine whether $H$ can be obtained from $G$ via a sequence of edge contractions. Lafond and…

Data Structures and Algorithms · Computer Science 2026-02-12 Yashaswini Mathur , Prafullkumar Tale

We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in the presence of linked data structures, 2) shape analysis…

Programming Languages · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

Vertex connectivity and edge connectivity are fundamental concepts in graph theory that have been widely studied from both structural and algorithmic perspectives. The focus of this paper is on computing these two parameters for graphs…

Data Structures and Algorithms · Computer Science 2025-10-14 Therese Biedl , Prosenjit Bose , Karthik Murali

A conjecture in algorithmic model theory predicts that the model-checking problem for first-order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is monadically dependent. Originating in model theory,…

Combinatorics · Mathematics 2024-03-28 Jan Dreier , Nikolas Mählmann , Szymon Toruńczyk

We investigate the parameterized complexity of finding subgraphs with hereditary properties on graphs belonging to a hereditary graph class. Given a graph $G$, a non-trivial hereditary property $\Pi$ and an integer parameter $k$, the…

Data Structures and Algorithms · Computer Science 2021-01-26 David Eppstein , Siddharth Gupta , Elham Havvaei

IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$…

Computational Geometry · Computer Science 2016-07-19 Franz J. Brandenburg , Walter Didimo , William S. Evans , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

Data Structures and Algorithms · Computer Science 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

We study dynamic planar graphs with $n$ vertices, subject to edge deletion, edge contraction, edge insertion across a face, and the splitting of a vertex in specified corners. We dynamically maintain a combinatorial embedding of such a…

Data Structures and Algorithms · Computer Science 2022-09-29 Jacob Holm , Ivor van der Hoog , Eva Rotenberg

We give a distributed algorithm in the {\sf CONGEST} model for property testing of planarity with one-sided error in general (unbounded-degree) graphs. Following Censor-Hillel et al. (DISC 2016), who recently initiated the study of property…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-15 Reut Levi , Moti Medina , Dana Ron

In line with the recent development in topological graph theory, we are considering undirected graphs that are allowed to contain {\em multiple edges}, {\em loops}, and {\em semi-edges}. A graph is called {\em simple} if it contains no…

Discrete Mathematics · Computer Science 2023-12-12 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Paweł Rzążewski

Graph pattern matching is a routine process for a wide variety of applications such as social network analysis. It is typically defined in terms of subgraph isomorphism which is NP-Complete. To lower its complexity, many extensions of graph…

Databases · Computer Science 2018-04-13 Houari Mahfoud