English
Related papers

Related papers: Embedding Planar Graphs into Graphs of Treewidth $…

200 papers

A general quantum circuit can be simulated classically in exponential time. If it has a planar layout, then a tensor-network contraction algorithm due to Markov and Shi has a runtime exponential in the square root of its size, or more…

Quantum Physics · Physics 2024-02-14 David Gosset , Daniel Grier , Alex Kerzner , Luke Schaeffer

We investigate novel random graph embeddings that can be computed in expected polynomial time and that are able to distinguish all non-isomorphic graphs in expectation. Previous graph embeddings have limited expressiveness and either cannot…

Machine Learning · Computer Science 2023-08-25 Pascal Welke , Maximilian Thiessen , Fabian Jogl , Thomas Gärtner

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 consider the approximability of the maximum edge-disjoint paths problem (MEDP) in undirected graphs, and in particular, the integrality gap of the natural multicommodity flow based relaxation for it. The integrality gap is known to be…

Discrete Mathematics · Computer Science 2013-03-21 Chandra Chekuri , Guyslain Naves , F. Bruce Shepherd

Enumerating the minimal hitting sets of a hypergraph is a problem which arises in many data management applications that include constraint mining, discovering unique column combinations, and enumerating database repairs. Previously, Eiter…

Databases · Computer Science 2025-01-28 Batya Kenig , Dan Shlomo Mizrahi

We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS…

Data Structures and Algorithms · Computer Science 2018-03-20 Martin Grohe , Daniel Neuen , Pascal Schweitzer , Daniel Wiebking

Quantifying the degree of dissimilarity between two probability distributions on a finite metric space is a fundamental task in Computer Science and Computer Vision. A natural dissimilarity measure based on optimal transport is the Earth…

Functional Analysis · Mathematics 2026-02-17 Chris Gartland , Mikhail Ostrovskii

We investigate whether an n-vertex instance (G,k) of Treewidth, asking whether the graph G has treewidth at most k, can efficiently be made sparse without changing its answer. By giving a special form of OR-cross-composition, we prove that…

Computational Complexity · Computer Science 2013-08-19 Bart M. P. Jansen

We give an algorithm for finding the arboricity of a weighted, undirected graph, defined as the minimum number of spanning forests that cover all edges of the graph, in $\sqrt{n} m^{1+o(1)}$ time. This improves on the previous best bound of…

Data Structures and Algorithms · Computer Science 2025-07-22 Ruoxu Cen , Henry Fleischmann , George Z. Li , Jason Li , Debmalya Panigrahi

We give the first polynomial-time approximation scheme (PTAS) for the Steiner forest problem on planar graphs and, more generally, on graphs of bounded genus. As a first step, we show how to build a Steiner forest spanner for such graphs.…

Data Structures and Algorithms · Computer Science 2009-11-30 MohammadHossein Bateni , MohammadTaghi Hajiaghayi , Dániel Marx

We present four novel approximation algorithms for finding triangulation of minimum treewidth. Two of the algorithms improve on the running times of algorithms by Robertson and Seymour, and Becker and Geiger that approximate the optimum by…

Data Structures and Algorithms · Computer Science 2013-01-14 Eyal Amir

In the Fully Leafed Induced Subtrees, one is given a graph $G$ and two integers $a$ and $b$ and the question is to find an induced subtree of $G$ with $a$ vertices and at least $b$ leaves. This problem is known to be NP-complete even when…

Data Structures and Algorithms · Computer Science 2026-04-08 Julien Baste

By definition, a rigid graph in $\mathbb{R}^d$ (or on a sphere) has a finite number of embeddings up to rigid motions for a given set of edge length constraints. These embeddings are related to the real solutions of an algebraic system.…

Combinatorics · Mathematics 2021-10-26 Evangelos Bartzos , Ioannis Z. Emiris , Raimundas Vidunas

The study of (minimally) rigid graphs is motivated by numerous applications, mostly in robotics and bioinformatics. A major open problem concerns the number of embeddings of such graphs, up to rigid motions, in Euclidean space. We capture…

Computational Geometry · Computer Science 2009-08-27 Ioannis Z. Emiris , Elias P. Tsigaridas , Antonios Varvitsiotis

Branchwidth determines how graphs, and more generally, arbitrary connectivity (basically symmetric and submodular) functions could be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing…

Data Structures and Algorithms · Computer Science 2021-11-08 Fedor V. Fomin , Tuukka Korhonen

A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $\zeta: V\to X$ such that $\|\zeta(v)-\zeta(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the…

Combinatorics · Mathematics 2026-04-20 Dylan J. Altschuler , Pandelis Dodos , Konstantin Tikhomirov , Konstantinos Tyros

We propose a novel node embedding of directed graphs to statistical manifolds, which is based on a global minimization of pairwise relative entropy and graph geodesics in a non-linear way. Each node is encoded with a probability density…

Machine Learning · Computer Science 2020-02-07 Thorben Funke , Tian Guo , Alen Lancic , Nino Antulov-Fantulin

Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. We bridge this gap for a natural and important special case, planar graph isomorphism,…

Computational Complexity · Computer Science 2009-01-30 Samir Datta , Nutan Limaye , Prajakta Nimbhorkar , Thomas Thierauf , Fabian Wagner

The Planar Graph Product Structure Theorem of Dujmovi\'c et al. [J. ACM '20] says that every planar graph $G$ is contained in $H\boxtimes P\boxtimes K_3$ for some planar graph $H$ with treewidth at most 3 and some path $P$. This result has…

Combinatorics · Mathematics 2025-02-05 Kevin Hendrey , David R. Wood

We show that the eccentricities, diameter, radius, and Wiener index of an undirected $n$-vertex graph with nonnegative edge lengths can be computed in time $O(n\cdot \binom{k+\lceil\log n\rceil}{k} \cdot 2^k k^2 \log n)$, where $k$ is the…

Data Structures and Algorithms · Computer Science 2018-05-21 Karl Bringmann , Thore Husfeldt , Måns Magnusson