English
Related papers

Related papers: Compatible Paths on Labelled Point Sets

200 papers

In 1981, Lubiw proved that the fixed point free automorphism problem (FPFAut) is NP-complete: given a graph G, determine whether there exists an automorphism that maps no vertex of G to itself. We revisit this problem and prove that FPFAut…

Discrete Mathematics · Computer Science 2026-03-30 Aida Abiad , Gabriel Coutinho , Emanuel Juliano , Vinicius F. dos Santos , Sjanne Zeijlemaker

We study the problem of simultaneous geometric embedding of two paths without self-intersections on an integer grid. We show that minimizing the length of the longest edge of such an embedding is NP-hard. We also show that we can minimize…

Computational Geometry · Computer Science 2026-03-11 Stephen Kobourov , William Lenhart , Giuseppe Liotta , Daniel Perz , Pavel Valtr , Johannes Zink

A graph is path-pairable if for any pairing of its vertices there exist edge-disjoint paths joining the vertices in each pair. We investigate the behaviour of the maximum degree in path-pairable planar graphs. We show that any $n$-vertex…

Combinatorics · Mathematics 2017-05-18 António Girão , Gábor Mészáros , Kamil Popielarz , Richard Snyder

In the PATH COVER problem, one asks to cover the vertices of a graph using the smallest possible number of (not necessarily disjoint) paths. While the variant where the paths need to be pairwise vertex-disjoint, which we call PATH…

Data Structures and Algorithms · Computer Science 2025-11-11 Florent Foucaud , Atrayee Majumder , Tobias Mömke , Aida Roshany-Tabrizi

The purpose of this note is to attach a name to a natural class of combinatorial problems and to point out that this class includes many important special cases. We also show that a simple problem of placing nonoverlapping labels on a…

Data Structures and Algorithms · Computer Science 2008-02-03 Donald E. Knuth , Arvind Raghunathan

In this paper, we study the \textsf{Planar Disjoint Paths} problem: Given an undirected planar graph $G$ with $n$ vertices and a set $T$ of $k$ pairs $(s_i,t_i)_{i=1}^k$ of vertices, the goal is to find a set $\mathcal P$ of $k$ pairwise…

Data Structures and Algorithms · Computer Science 2022-11-09 Kyungjin Cho , Eunjin Oh , Seunghyeok Oh

We call a digraph {\em $h$-semicomplete} if each vertex of the digraph has at most $h$ non-neighbors, where a non-neighbor of a vertex $v$ is a vertex $u \neq v$ such that there is no edge between $u$ and $v$ in either direction. This…

Data Structures and Algorithms · Computer Science 2015-07-08 Kenta Kitsunai , Yasuaki Kobayashi , Hisao Tamaki

Given a graph $G$ and two vertices $s$ and $t$ in it, {\em graph reachability} is the problem of checking whether there exists a path from $s$ to $t$ in $G$. We show that reachability in directed layered planar graphs can be decided in…

Data Structures and Algorithms · Computer Science 2015-01-26 Diptarka Chakraborty , Raghunath Tewari

Let $A$ and $B$ be two point sets in the plane of sizes $r$ and $n$ respectively (assume $r \leq n$), and let $k$ be a parameter. A matching between $A$ and $B$ is a family of pairs in $A \times B$ so that any point of $A \cup B$ appears in…

Data Structures and Algorithms · Computer Science 2019-03-25 Pankaj K. Agarwal , Hsien-Chih Chang , Allen Xiao

Let us be given two graphs $\Gamma_1$, $\Gamma_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $\Gamma_1$ to $\Gamma_2$ can be identified with a coset $H\cdot\pi$ inside the symmetric group on $n$…

Group Theory · Mathematics 2017-10-13 Harald Andrés Helfgott , Jitendra Bajpai , Daniele Dona

Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in…

Computational Complexity · Computer Science 2015-05-05 V. Arvind , Johannes Köbler , Gaurav Rattan , Oleg Verbitsky

A graph is an opposition graph, respectively, a coalition graph, if it admits an acyclic orientation which puts the two end-edges of every chordless 4-vertex path in opposition, respectively, in the same direction. Opposition and coalition…

Discrete Mathematics · Computer Science 2015-07-03 Van Bang Le , Thomas Podelleck

Planar graphs can be represented as intersection graphs of different types of geometric objects in the plane, e.g., circles (Koebe, 1936), line segments (Chalopin \& Gon{\c{c}}alves, 2009), \textsc{L}-shapes (Gon{\c{c}}alves et al, 2018).…

Computational Geometry · Computer Science 2021-06-03 Dibyayan Chakraborty , Kshitij Gajjar

CAT(0) metric spaces constitute a far-reaching common generalization of Euclidean and hyperbolic spaces and simple polygons: any two points x and y of a CAT(0) metric space are connected by a unique shortest path {\gamma}(x,y). In this…

Computational Geometry · Computer Science 2014-10-07 Victor Chepoi , Daniela Maftuleac

A graph is path-pairable if for any pairing of its vertices there exist edge disjoint paths joining the vertices in each pair. We obtain sharp bounds on the maximum possible diameter of path-pairable graphs which either have a given number…

Combinatorics · Mathematics 2017-07-14 Antonio Girao , Gabor Meszaros , Kamil Popielarz , Richard Snyder

The well-known Disjoint Paths problem is to decide if a graph contains k pairwise disjoint paths, each connecting a different terminal pair from a set of k distinct pairs. We determine, with an exception of two cases, the complexity of the…

Combinatorics · Mathematics 2021-05-14 Walter Kern , Barnaby Martin , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen

For a class $\mathcal{G}$ of graphs, the problem SUBGRAPH COMPLEMENT TO $\mathcal{G}$ asks whether one can find a subset $S$ of vertices of the input graph $G$ such that complementing the subgraph induced by $S$ in $G$ results in a graph in…

Data Structures and Algorithms · Computer Science 2021-03-05 Dhanyamol Antony , Jay Garchar , Sagartanu Pal , R. B. Sandeep , Sagnik Sen , R. Subashini

Let $G$ be a graph with no isolated vertex. A matching in $G$ is a set of edges that are pairwise not adjacent in $G$, while the matching number, $\alpha'(G)$, of $G$ is the maximum size of a matching in $G$. The path covering number,…

Combinatorics · Mathematics 2015-01-21 Michael A. Henning , Kirsti Wash

Maximum bipartite matching is a fundamental algorithmic problem which can be solved in polynomial time. We consider a natural variant in which there is a separation constraint: the vertices on one side lie on a path or a grid, and two…

Data Structures and Algorithms · Computer Science 2023-03-20 Pasin Manurangsi , Erel Segal-Halevi , Warut Suksompong

A simple topological graph $G$ is a graph drawn in the plane so that any pair of edges have at most one point in common, which is either an endpoint or a proper crossing. $G$ is called saturated if no further edge can be added without…

Combinatorics · Mathematics 2015-01-30 Jan Kynčl , János Pach , Radoš Radoičić , Géza Tóth