English
Related papers

Related papers: Counting and Enumerating Crossing-free Geometric G…

200 papers

We establish a one-to-one correspondence between 1-planar graphs and general and hole-free 4-map graphs and show that 1-planar graphs can be recognized in polynomial time if they are crossing-augmented, fully triangulated, and maximal…

Computational Geometry · Computer Science 2015-09-14 Franz J. Brandenburg

The crossing number of a graph is the least number of crossings over all drawings of the graph in the plane. Computing the crossing number of a given graph is NP-hard, but fixed-parameter tractable (FPT) with respect to the natural…

Data Structures and Algorithms · Computer Science 2025-04-14 Yasuaki Kobayashi , Yuto Okada , Alexander Wolff

In this paper we give an algorithm for counting the number of all independent sets in a given graph which works in time $O^*(1.1394^n)$ for subcubic graphs and in time $O^*(1.2369^n)$ for general graphs, where $n$ is the number of vertices…

Discrete Mathematics · Computer Science 2015-03-31 Konstanty Junosza-Szaniawski , Michal Tuczynski

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

In this paper, we show that given a weighted, directed planar graph $G$, and any $\epsilon >0$, there exists a polynomial time and $O(n^{\frac{1}{2}+\epsilon})$ space algorithm that computes the shortest path between two fixed vertices in…

Computational Complexity · Computer Science 2015-02-10 Diptarka Chakraborty , Raghunath Tewari

We consider problems related to finding short cycles, small cliques, small independent sets, and small subgraphs in geometric intersection graphs. We obtain a plethora of new results. For example: * For the intersection graph of $n$ line…

Computational Geometry · Computer Science 2022-11-11 Timothy M. Chan

We give a parallel $O(\log(n))$-time algorithm on a CRCW PRAM to assign vertical and horizontal segments to the vertices of any planar bipartite graph $G$ in the following manner: i) Two segments cannot share an interior point ii) Two…

Computational Geometry · Computer Science 2024-09-25 Naman Jain

Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for…

Combinatorics · Mathematics 2021-11-01 Valentin Bouquet , Christophe Picouleau

We show that the VC-dimension of a graph can be computed in time $n^{\log d+1} d^{O(d)}$, where $d$ is the degeneracy of the input graph. The core idea of our algorithm is a data structure to efficiently query the number of vertices that…

Data Structures and Algorithms · Computer Science 2023-08-21 Pål Grønås Drange , Patrick Greaves , Irene Muzi , Felix Reidl

We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For $c=1$ there are only two such graphs without degree-2 vertices, $K_5$ and $K_{3,3}$, but for any fixed…

Combinatorics · Mathematics 2026-05-08 Zdeněk Dvořák , Petr Hliněný , Bojan Mohar

Every triangle-free planar graph on n vertices has an independent set of size at least (n+1)/3, and this lower bound is tight. We give an algorithm that, given a triangle-free planar graph G on n vertices and an integer k>=0, decides…

Discrete Mathematics · Computer Science 2014-09-23 Zdenek Dvorak , Matthias Mnich

Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A…

Computational Complexity · Computer Science 2011-06-24 Lukas Moll , Siamak Tazari , Marc Thurley

We study the maximum flow problem in directed H-minor-free graphs where H can be drawn in the plane with one crossing. If a structural decomposition of the graph as a clique-sum of planar graphs and graphs of constant complexity is given,…

Data Structures and Algorithms · Computer Science 2015-07-16 Erin Chambers , David Eppstein

For a connected graph, a vertex separator is a set of vertices whose removal creates at least two components. A vertex separator $S$ is minimal if it contains no other separator as a strict subset and a minimum vertex separator is a minimal…

Discrete Mathematics · Computer Science 2014-08-19 Vandhana. C , S. Hima Bindhu , P. Renjith , N. Sadagopan , B. Supraja

There has recently been much progress on exact algorithms for the (un)weighted graph (bi)partitioning problem using branch-and-bound and related methods. In this note we present and improve an easily computable, purely combinatorial lower…

Data Structures and Algorithms · Computer Science 2014-10-03 Jesper Larsson Träff , Martin Wimmer

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

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

We consider the problem of counting the number of vertices reachable from each vertex in a digraph $G$, which is equal to computing all the out-degrees of the transitive closure of $G$. The current (theoretically) fastest algorithms run in…

Data Structures and Algorithms · Computer Science 2022-02-28 Naoto Ohsaka

We give an algorithm that decides whether the bipartite crossing number of a given graph is at most $k$. The running time of the algorithm is upper bounded by $2^{O(k)} + n^{O(1)}$, where $n$ is the number of vertices of the input graph,…

Data Structures and Algorithms · Computer Science 2015-12-21 Yasuaki Kobayashi , Hisao Tamaki

Vassilevska and Williams (STOC 2009) showed how to count simple paths on $k$ vertices and matchings on $k/2$ edges in an $n$-vertex graph in time $n^{k/2+O(1)}$. In the same year, two different algorithms with the same runtime were given by…

Data Structures and Algorithms · Computer Science 2015-08-17 Andreas Björklund , Petteri Kaski , Łukasz Kowalik