English
Related papers

Related papers: Tight complexity bounds for diagram commutativity …

200 papers

A graph is strongly $\Z_{\ell}$-connected if for each boundary function $\beta: V(G)\mapsto \Z_{\ell}$ with $\beta(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} \beta(v) \equiv 0 \pmod{2\ell}$, there exists an…

Combinatorics · Mathematics 2026-03-25 Jiaao Li , Bo Su , Zhouningxin Wang , Chunyan Wei

A simple topological graph T = (V(T), E(T)) is a drawing of a graph in the plane where every two edges have at most one common point (an endpoint or a crossing) and no three edges pass through a single crossing. Topological graphs G and H…

Combinatorics · Mathematics 2022-12-13 Jan Kynčl

A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it…

Combinatorics · Mathematics 2024-04-29 David Conlon , Joonkyung Lee , Leo Versteegen

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

Let G=(V,E) be a graph with f:V\to Z_+ a function assigning degree bounds to vertices. We present the first efficient algebraic algorithm to find an f-factor. The time is \tilde{O}(f(V)^{\omega}). More generally for graphs with integral…

Data Structures and Algorithms · Computer Science 2013-04-26 Harold N. Gabow , Piotr Sankowski

A graph $\Gamma$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $\Gamma$ with $V(\Gamma)$ admitting…

Group Theory · Mathematics 2017-06-19 Teng Fang , Xin Gui Fang , Binzhou Xia , Sanming Zhou

A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be…

Discrete Mathematics · Computer Science 2019-04-09 Henning Koehler

Let $G=(V,E)$ be a directed graph with $n$ vertices and $m$ edges. The graph $G$ is called singly-connected if for each pair of vertices $v,w \in V$ there is at most one simple path from $v$ to $w$ in $G$. Buchsbaum and Carlisle (1993) gave…

Data Structures and Algorithms · Computer Science 2015-03-03 Martin Dietzfelbinger , Raed Jaberi

The definition of $1$-planar graphs naturally extends graph planarity, namely a graph is $1$-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity is solvable in linear time,…

Computational Geometry · Computer Science 2019-11-05 Carla Binucci , Walter Didimo , Fabrizio Montecchiani

In the \textsc{Maximum Degree Contraction} problem, input is a graph $G$ on $n$ vertices, and integers $k, d$, and the objective is to check whether $G$ can be transformed into a graph of maximum degree at most $d$, using at most $k$ edge…

Data Structures and Algorithms · Computer Science 2020-09-25 Saket Saurabh , Prafullkumar Tale

Aligning a sequence to a walk in a labeled graph is a problem of fundamental importance to Computational Biology. For finding a walk in an arbitrary graph with $|E|$ edges that exactly matches a pattern of length $m$, a lower bound based on…

Data Structures and Algorithms · Computer Science 2022-02-01 Daniel Gibney , Sharma V. Thankachan , Srinivas Aluru

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut…

Computational Complexity · Computer Science 2021-02-18 Vincent Cohen-Addad , Éric Colin de Verdière , Daniel Marx , Arnaud de Mesmay

A bipartite graph $G=(U,V,E)$ is convex if the vertices in $V$ can be linearly ordered such that for each vertex $u\in U$, the neighbors of $u$ are consecutive in the ordering of $V$. An induced matching $H$ of $G$ is a matching such that…

Data Structures and Algorithms · Computer Science 2023-05-17 Boris Klemz , Günter Rote

A periodic temporal graph, in its simplest form, is a graph in which every edge appears exactly once in the first $\Delta$ time steps, and then it reappears recurrently every $\Delta$ time steps, where $\Delta$ is a given period length.…

Data Structures and Algorithms · Computer Science 2025-04-22 George B. Mertzios , Hendrik Molter , Nils Morawietz , Paul G. Spirakis

In this work, we study the problem of computing a maximum common contraction of two vertex-labeled graphs, i.e. how to make them identical by contracting as little edges as possible in the two graphs. We study the problem from a…

Data Structures and Algorithms · Computer Science 2025-07-01 Manuel Lafond , Bertrand Marchand

We consider the problem of finding all allowed edges in a bipartite graph $G=(V,E)$, i.e., all edges that are included in some maximum matching. We show that given any maximum matching in the graph, it is possible to perform this…

Discrete Mathematics · Computer Science 2011-07-26 Tamir Tassa

The \emph{Antimagic Graph Conjecture} asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, ..., |E|$ is used exactly once and the sums of the labels on all edges incident with a…

Combinatorics · Mathematics 2013-10-07 Matthias Beck , Michael Jackanich

Our starting point is the observation that if graphs in a class C have low descriptive complexity in first order logic, then the isomorphism problem for C is solvable by a fast parallel algorithm (essentially, by a simple combinatorial…

Computational Complexity · Computer Science 2007-05-23 Martin Grohe , Oleg Verbitsky

The intersection graph of a collection of trapezoids with corner points lying on two parallel lines is called a trapezoid graph. These graphs and their generalizations were applied in various fields, including modeling channel routing…

Data Structures and Algorithms · Computer Science 2011-06-16 Aleksandar Ilic

A mixed graph $G$ is a graph that consists of both undirected and directed edges. An orientation of $G$ is formed by orienting all the undirected edges of $G$, i.e., converting each undirected edge $\{u,v\}$ into a directed edge that is…

Data Structures and Algorithms · Computer Science 2024-04-15 Loukas Georgiadis , Dionysios Kefallinos , Evangelos Kosinas