English
Related papers

Related papers: Simple Realizability of Abstract Topological Graph…

200 papers

Some classical graph problems such as finding minimal spanning tree, shortest path or maximal flow can be done efficiently. We describe slight variations of such problems which are shown to be NP-complete. Our proofs use straightforward…

Computational Complexity · Computer Science 2020-01-14 Per Alexandersson

A graph algorithm is truly subquadratic if it runs in ${\cal O}(m^b)$ time on connected $m$-edge graphs, for some positive $b < 2$. Roditty and Vassilevska Williams (STOC'13) proved that under plausible complexity assumptions, there is no…

Data Structures and Algorithms · Computer Science 2020-10-30 Guillaume Ducoffe

We are given an integer $d$, a graph $G=(V,E)$, and a uniformly random embedding $f : V \rightarrow \{0,1\}^d$ of the vertices. We are interested in the probability that $G$ can be "realized" by a scaled Euclidean norm on $\mathbb{R}^d$, in…

Discrete Mathematics · Computer Science 2018-04-25 Saad Quader , Alexander Russell

For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired…

Discrete Mathematics · Computer Science 2021-12-13 Vikash Tripathi , Ton Kloks , Arti Pandey , Kaustav Paul , Hung-Lung Wang

The problem of realizing a given degree sequence by a multigraph can be thought of as a relaxation of the classical degree realization problem (where the realizing graph is simple). This paper concerns the case where the realizing…

Combinatorics · Mathematics 2026-01-14 Amotz Bar-Noy , Toni Bohnlein , David Peleg , Dror Rawitz

We develop a linear time algorithm for finding the diameter of an asteroidal triple-free (AT-free) graph. Furthermore, we update the definition of polar pairs and develop new properties of polar pairs for (weak) dominating pair graphs. We…

Data Structures and Algorithms · Computer Science 2023-03-24 Oleksiy Al-saadi , Jitender Deogun

Let $\mathcal{A}$ be a set of positive numbers. A graph $G$ is called an $\mathcal{A}$-embeddable graph in $\mathbb{R}^d$ if the vertices of $G$ can be positioned in $\mathbb{R}^d$ so that the distance between endpoints of any edge is an…

Computational Complexity · Computer Science 2017-10-17 Mikhail Tikhomirov

Given an n-vertex graph G, a drawing of G in the plane is a mapping of its vertices into points of the plane, and its edges into continuous curves, connecting the images of their endpoints. A crossing in such a drawing is a point where two…

Data Structures and Algorithms · Computer Science 2010-10-20 Julia Chuzhoy , Yury Makarychev , Anastasios Sidiropoulos

A graph $G$ is said to be a `set graph' if it admits an acyclic orientation that is also `extensional', in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the…

Discrete Mathematics · Computer Science 2015-03-20 Martin Milanič , Romeo Rizzi , Alexandru I. Tomescu

Graph Crossing Number is a fundamental problem with various applications. In this problem, the goal is to draw an input graph $G$ in the plane so as to minimize the number of crossings between the images of its edges. Despite extensive…

Data Structures and Algorithms · Computer Science 2021-01-12 Julia Chuzhoy , Sepideh Mahabadi , Zihan Tan

We exactly settle the complexity of graph realization, graph rigidity, and graph global rigidity as applied to three types of graphs: "globally noncrossing" graphs, which avoid crossings in all of their configurations; matchstick graphs,…

Computational Geometry · Computer Science 2025-10-21 Zachary Abel , Erik D. Demaine , Martin L. Demaine , Sarah Eisenstat , Jayson Lynch , Tao B. Schardl

We continue and extend previous work on the parameterized complexity analysis of the NP-hard Stable Roommates with Ties and Incomplete Lists problem, thereby strengthening earlier results both on the side of parameterized hardness as well…

Computational Complexity · Computer Science 2021-03-09 Robert Bredereck , Klaus Heeger , Dušan Knop , Rolf Niedermeier

The series-parallel (SP) graphs are those containing no topological $K_{_4}$ and are considered trivial. We relax the prohibition distinguishing the SP graphs by forbidding only embeddings of $K_{_4}$ whose edges with both ends 3-valent…

Combinatorics · Mathematics 2010-12-30 Elad Aigner-Horev

A graph is regularizable if it is possible to assign weights to its edges so that all nodes have the same degree. Weights can be positive, nonnegative or arbitrary as soon as the regularization degree is not null. Positive and nonnegative…

Social and Information Networks · Computer Science 2017-07-03 Massimo Franceschet , Enrico Bozzo

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is…

Computational Geometry · Computer Science 2025-11-13 Éric Colin de Verdière , Thomas Magnard

The widely studied edge modification problems ask how to minimally alter a graph to satisfy certain structural properties. In this paper, we introduce and study a new edge modification problem centered around transforming a given graph into…

Data Structures and Algorithms · Computer Science 2025-09-16 Amirali Madani , Anil Maheshwari , Babak Miraftab , Paweł Żyliński

This paper proves the decidability of the emptiness problem for two models which recognize graphs: graph-walking automata, and tilings of graphs by star subgraphs (star automata). Furthermore, it is proved that the non-emptiness problem for…

Formal Languages and Automata Theory · Computer Science 2022-12-06 Olga Martynova

Temporal graphs are graphs whose topology is subject to discrete changes over time. Given a static underlying graph $G$, a temporal graph is represented by assigning a set of integer time-labels to every edge $e$ of $G$, indicating the…

Discrete Mathematics · Computer Science 2020-09-30 George B. Mertzios , Hendrik Molter , Rolf Niedermeier , Viktor Zamaraev , Philipp Zschoche

This paper will analyze several quadratic-time solvable problems, and will classify them into two classes: problems that are solvable in truly subquadratic time (that is, in time $O(n^{2-\epsilon})$ for some $\epsilon>0$) and problems that…

Computational Complexity · Computer Science 2014-07-21 Michele Borassi , Pierluigi Crescenzi , Michel Habib

We investigate the parameterized complexity of the recognition problem for the proper $H$-graphs. The $H$-graphs are the intersection graphs of connected subgraphs of a subdivision of a multigraph $H$, and the properness means that the…

Computational Complexity · Computer Science 2020-11-25 Steven Chaplick , Petr A. Golovach , Tim A. Hartmann , Dušan Knop