English
Related papers

Related papers: Testing $C_k$-freeness in bounded-arboricity graph…

200 papers

Given $t\geq 2$ and $0\leq k\leq t$, we prove that the number of labelled $k$-connected chordal graphs with $n$ vertices and tree-width at most $t$ is asymptotically $c n^{-5/2} \gamma^n n!$, as $n\to\infty$, for some constants $c,\gamma…

Combinatorics · Mathematics 2024-02-02 Jordi Castellví , Michael Drmota , Marc Noy , Clément Requilé

For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal…

Discrete Mathematics · Computer Science 2024-05-07 Vadim Lozin , Barnaby Martin , Sukanya Pandey , Daniel Paulusma , Mark Siggers , Siani Smith , Erik Jan van Leeuwen

We show that the graph property of having a (very) large $k$-th Betti number $\beta_k$ for constant $k$ is testable with a constant number of queries in the dense graph model. More specifically, we consider a clique complex defined by an…

Data Structures and Algorithms · Computer Science 2025-02-19 Dániel Szabó , Simon Apers

The tree-independence number of a graph is the minimum, over all tree-decompositions of the graph, of the maximum size of an independent set contained in a bag. Graph classes of bounded tree-independence number have strong structural and…

We study a number of graph exploration problems in the following natural scenario: an algorithm starts exploring an undirected graph from some seed node; the algorithm, for an arbitrary node $v$ that it is aware of, can ask an oracle to…

Data Structures and Algorithms · Computer Science 2017-10-25 Flavio Chierichetti , Shahrzad Haddadan

The concept of $k$-planarity is extensively studied in the context of Beyond Planarity. A graph is $k$-planar if it admits a drawing in the plane in which each edge is crossed at most $k$ times. The local crossing number of a graph is the…

Data Structures and Algorithms · Computer Science 2025-08-28 Tatsuya Gima , Yasuaki Kobayashi , Yuto Okada

The Zarankiewicz problem, a cornerstone problem in extremal graph theory, asks for the maximum number of edges in an $n$-vertex graph that does not contain the complete bipartite graph $K_{s,s}$. While the problem remains widely open in the…

Combinatorics · Mathematics 2025-07-01 Zach Hunter , Aleksa Milojević , Istvan Tomon , Benny Sudakov

In this paper we study complexity of an extension of ordered binary decision diagrams (OBDDs) called $c$-OBDDs on CNFs of bounded (primal graph) treewidth. In particular, we show that for each $k$ there is a class of CNFs of treewidth $k…

Computational Complexity · Computer Science 2015-10-13 Igor Razgon

Let $G$ be an undirected, bounded degree graph with $n$ vertices. Fix a finite graph $H$, and suppose one must remove $\varepsilon n$ edges from $G$ to make it $H$-minor free (for some small constant $\varepsilon > 0$). We give an…

Discrete Mathematics · Computer Science 2018-08-29 Akash Kumar , C. Seshadhri , Andrew Stolman

We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test…

Discrete Mathematics · Computer Science 2015-05-15 Martin Grohe , Pascal Schweitzer

We study property testing of (di)graph properties in bounded-degree graph models. The study of graph properties in bounded-degree models is one of the focal directions of research in property testing in the last 15 years. However, despite…

Computational Complexity · Computer Science 2020-11-03 Hiro Ito , Areej Khoury , Ilan Newman

In this paper we provide sub-linear algorithms for several fundamental problems in the setting in which the input graph excludes a fixed minor, i.e., is a minor-free graph. In particular, we provide the following algorithms for minor-free…

Data Structures and Algorithms · Computer Science 2021-05-12 Reut Levi , Nadav Shoshan

Since counting subgraphs in general graphs is, by and large, a computationally demanding problem, it is natural to try and design fast algorithms for restricted families of graphs. One such family that has been extensively studied is that…

Data Structures and Algorithms · Computer Science 2022-08-29 Lior Gishboliner , Yevgeny Levanzov , Asaf Shapira , Raphael Yuster

We give a distributed algorithm in the {\sf CONGEST} model for property testing of planarity with one-sided error in general (unbounded-degree) graphs. Following Censor-Hillel et al. (DISC 2016), who recently initiated the study of property…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-15 Reut Levi , Moti Medina , Dana Ron

A matching is a set of edges in a graph with no common endpoint. A matching M is called acyclic if the induced subgraph on the endpoints of the edges in M is acyclic. Given a graph G and an integer k, Acyclic Matching Problem seeks for an…

Computational Complexity · Computer Science 2022-10-05 Sahab Hajebi , Ramin Javadi

We consider properties of edge-colored vertex-ordered graphs, i.e., graphs with a totally ordered vertex set and a finite set of possible edge colors. We show that any hereditary property of such graphs is strongly testable, i.e., testable…

Data Structures and Algorithms · Computer Science 2017-04-11 Noga Alon , Omri Ben-Eliezer , Eldar Fischer

A graph $G=(V,E)$ is called $(k,\ell)$-full if $G$ contains a subgraph $H=(V,F)$ of $k|V|-\ell$ edges such that, for any non-empty $F' \subseteq F$, $|F'| \leq k|V(F')| - \ell$ holds. Here, $V(F')$ denotes the set of vertices incident to…

Data Structures and Algorithms · Computer Science 2011-03-15 Hiro Ito , Shin-ichi Tanigawa , Yuichi Yoshida

For all integers $k\geq 3$, we give an $O(n^4)$ time algorithm for the problem whose instance is a graph $G$ of girth at least $k$ together with $k$ vertices and whose question is "Does $G$ contains an induced subgraph containing the $k$…

Discrete Mathematics · Computer Science 2013-09-06 Wei Liu , Nicolas Trotignon

We present an interactive framework that, given a membership test for a graph class $\mathcal{G}$ and a number $k$, finds and tests unavoidable sets for the class of graphs in $\mathcal{G}$ of path-width at most $k$. We put special emphasis…

Combinatorics · Mathematics 2020-10-19 Oliver Bachtler , Irene Heinrich

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