English
Related papers

Related papers: On Triangle Counting Parameterized by Twin-Width

200 papers

We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors.…

Geometric Topology · Mathematics 2016-05-12 Mark C. Bell , Richard C. H. Webb

We study problems connected to first-order logic in graphs of bounded twin-width. Inspired by the approach of Bonnet et al. [FOCS 2020], we introduce a robust methodology of local types and describe their behavior in contraction sequences…

Logic in Computer Science · Computer Science 2022-06-17 Jakub Gajarský , Michał Pilipczuk , Wojciech Przybyszewski , Szymon Toruńczyk

Twin-width is a recently formulated graph and matrix invariant that intuitively quantifies how far a graph is from having the structural simplicity of a co-graph. Since its introduction in 2020, twin-width has received increasing attention…

Data Structures and Algorithms · Computer Science 2025-11-11 Andrei Arhire , Matei Chiriac , Radu Timofte

We present an O(mn^2) algorithm for linear programming over the real numbers with n primal and m dual variables through deciding the support set a of an optimal solution. Let z and e be two 2(n+m)-tuples with z representing the primal, dual…

Optimization and Control · Mathematics 2026-05-20 Jing-Yuan Wei

The Path Contraction and Cycle Contraction problems take as input an undirected graph $G$ with $n$ vertices, $m$ edges and an integer $k$ and determine whether one can obtain a path or a cycle, respectively, by performing at most $k$ edge…

Data Structures and Algorithms · Computer Science 2024-03-12 R. Krithika , V. K. Kutty Malu , Prafullkumar Tale

We study the problem of computing the diameter and the mean distance of a continuous graph, i.e., a connected graph where all points along the edges, instead of only the vertices, must be taken into account. It is known that for continuous…

Computational Geometry · Computer Science 2025-03-12 Sergio Cabello , Delia Garijo , Antonia Kalb , Fabian Klute , Irene Parada , Rodrigo I. Silveira

We show that if one can solve 3SUM on a set of size n in time n^{1+\e} then one can list t triangles in a graph with m edges in time O(m^{1+\e}t^{1/3-\e/3}). This is a reversal of Patrascu's reduction from 3SUM to listing triangles (STOC…

Computational Complexity · Computer Science 2013-05-17 Zahra Jafargholi , Emanuele Viola

Let $P\subset\mathbb{R}^{2}$ be a set of $n$ points. In this paper we show two new algorithms, one to compute the number of triangulations of $P$, and one to compute the number of pseudo-triangulations of $P$. We show that our algorithms…

Computational Geometry · Computer Science 2013-12-12 Victor Alvarez , Karl Bringmann , Saurabh Ray

Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit…

Data Structures and Algorithms · Computer Science 2021-10-26 Édouard Bonnet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

Polynomial algorithms are given for the following two problems: given a graph with $n$ vertices and $m$ edges, where $m \ge 3 n^{3/2}$, find a complete balanced bipartite subgraph with parts about $\ln n/(\ln (n^2/m))$, given a graph with…

Combinatorics · Mathematics 2009-05-18 D. Mubayi , G. Turan

This paper studies the problem of enumerating all maximal collinear subsets of size at least three in a given set of $n$ points. An algorithm for this problem, besides solving degeneracy testing and the exact fitting problem, can also help…

Computational Geometry · Computer Science 2017-06-20 Ali Gholami Rudi , Raimi Ayinde Rufai

In this paper, we study the (weighted) bichromatic two-center problem on graphs. The input consists of a graph $G$ of $n$ (weighted) vertices and $m$ edges, and a set $\mathcal{P}$ of pairs of distinct vertices, where no vertex appears in…

Data Structures and Algorithms · Computer Science 2025-12-10 Qi Sun , Jingru Zhang

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 show a deterministic algorithm for computing edge connectivity of a simple graph with $m$ edges in $m^{1+o(1)}$ time. Although the fastest deterministic algorithm by Henzinger, Rao, and Wang [SODA'17] has a faster running time of…

Data Structures and Algorithms · Computer Science 2020-08-20 Thatchaphol Saranurak

The bandwidth of a graph G on n vertices is the minimum b such that the vertices of G can be labeled from 1 to n such that the labels of every pair of adjacent vertices differ by at most b. In this paper, we present a 2-approximation…

Data Structures and Algorithms · Computer Science 2012-05-01 Martin Fürer , Serge Gaspers , Shiva Prasad Kasiviswanathan

We consider the fundamental problems of approximately counting the numbers of edges and triangles in a graph in sublinear time. Previous algorithms for these tasks are significantly more efficient under a promise that the arboricity of the…

Data Structures and Algorithms · Computer Science 2025-09-25 Talya Eden , Ronitt Rubinfeld , Arsen Vasilyan

Circle graphs are intersection graphs of chords of a circle. In this paper, we present a new algorithm for the circle graph isomorphism problem running in time $O((n+m)\alpha(n+m))$ where $n$ is the number of vertices, $m$ is the number of…

Data Structures and Algorithms · Computer Science 2019-08-27 Vít Kalisz , Pavel Klavík , Peter Zeman

The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an…

Data Structures and Algorithms · Computer Science 2019-05-27 Yasuaki Kobayashi , Yusuke Kobayashi , Shuichi Miyazaki , Suguru Tamaki

A support or realization of a hypergraph $H$ is a graph $G$ on the same vertex as $H$ such that for each hyperedge of $H$ it holds that its vertices induce a connected subgraph of $G$. The NP-hard problem of finding a planar support has…

Discrete Mathematics · Computer Science 2022-08-02 René van Bevern , Iyad A. Kanj , Christian Komusiewicz , Rolf Niedermeier , Manuel Sorge

We study graph connectivity problem in MPC model. On an undirected graph with $n$ nodes and $m$ edges, $O(\log n)$ round connectivity algorithms have been known for over 35 years. However, no algorithms with better complexity bounds were…

Data Structures and Algorithms · Computer Science 2018-05-09 Alexandr Andoni , Clifford Stein , Zhao Song , Zhengyu Wang , Peilin Zhong