English
Related papers

Related papers: Distributed Property Testing for Subgraph-Freeness…

200 papers

The intensively studied Diameter problem is to find the diameter of a given connected graph. We investigate, for the first time in a structured manner, the complexity of Diameter for H-free graphs, that is, graphs that do not contain a…

Data Structures and Algorithms · Computer Science 2025-05-28 Jelle J. Oostveen , Daniël Paulusma , Erik Jan van Leeuwen

For a graph $F$, a graph $G$ is \emph{$F$-free} if it does not contain an induced subgraph isomorphic to $F$. For two graphs $G$ and $H$, an \emph{$H$-coloring} of $G$ is a mapping $f:V(G)\rightarrow V(H)$ such that for every edge $uv\in…

Data Structures and Algorithms · Computer Science 2023-03-06 Maria Chudnovsky , Shenwei Huang , Paweł Rzążewski , Sophie Spirkl , Mingxian Zhong

In this paper, we introduce a natural class of multigraphs called hierarchical-scale-free (HSF) multigraphs, and consider constant-time testability on the class. We show that a very wide subclass, specifically, that in which the power-law…

Data Structures and Algorithms · Computer Science 2015-07-24 Hiro Ito

In an $m$-edge host graph $G$, all triangles can be listed in time $O(m^{1.5})$ [Itai, Rodeh '78], and all $k$-cycles can be listed in time $O(m^{2-1/{\lceil k/2 \rceil}} + t)$ where $t$ is the output size [Alon, Yuster, Zwick '97]. These…

Data Structures and Algorithms · Computer Science 2024-04-09 Karl Bringmann , Egor Gorbachev

We study property testing in directed graphs in the bounded degree model, where we assume that an algorithm may only query the outgoing edges of a vertex, a model proposed by Bender and Ron in 2002. As our first main result, we we present a…

Data Structures and Algorithms · Computer Science 2013-12-03 Frank Hellweg , Christian Sohler

We show that for every two cycles $C,D$, there exists $c>0$ such that if $G$ is both $C$-free and $\overline{D}$-free then $G$ has a clique or stable set of size at least $|G|^c$. ("$H$-free" means with no induced subgraph isomorphic to…

Combinatorics · Mathematics 2024-06-21 Tung Nguyen , Alex Scott , Paul Seymour

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

For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if…

Data Structures and Algorithms · Computer Science 2023-05-03 Matthew Johnson , Barnaby Martin , Sukanya Pandey , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen

We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$…

Data Structures and Algorithms · Computer Science 2024-12-06 Sayan Bandyapadhyay , William Lochet , Daniel Lokshtanov , Dániel Marx , Pranabendu Misra , Daniel Neuen , Saket Saurabh , Prafullkumar Tale , Jie Xue

We study the problem of testing triangle freeness in the general graph model. This problem was first studied in the general graph model by Alon et al. (SIAM J. Discret. Math. 2008) who provided both lower bounds and upper bounds that depend…

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

Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. We consider this problem in the setting of local algorithms: one wants to quickly determine whether a given edge $e$ is in a specific spanning tree,…

Data Structures and Algorithms · Computer Science 2021-04-28 Reut Levi , Dana Ron , Ronitt Rubinfeld

The H-free process, for some fixed graph H, is the random graph process defined by starting with an empty graph on n vertices and then adding edges one at a time, chosen uniformly at random subject to the constraint that no H subgraph is…

Combinatorics · Mathematics 2015-05-13 Tom Bohman , Peter Keevash

In this paper we initiate the study of property testing in simultaneous and non-simultaneous multi-party communication complexity, focusing on testing triangle-freeness in graphs. We consider the $\textit{coordinator}$ model, where we have…

Data Structures and Algorithms · Computer Science 2017-05-24 Orr Fischer , Shay Gershtein , Rotem Oshman

A graph property P is strongly testable if for every fixed \epsilon>0 there is a one-sided \epsilon-tester for P whose query complexity is bounded by a function of \epsilon. In classifying the strongly testable graph properties, the first…

Combinatorics · Mathematics 2011-10-14 Noga Alon , Jacob Fox

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…

Data Structures and Algorithms · Computer Science 2026-04-14 Sergio Cabello

We prove new parameterized complexity results for the FO Model Checking problem on a well-known generalization of interval and circular-arc graphs: the class of $H$-graphs, for any fixed multigraph $H$. In particular, we research how the…

Computational Complexity · Computer Science 2025-10-27 Flavia Bonomo-Braberman , Nick Brettell , Noleen Köhler , Andrea Munaro , Daniël Paulusma

The main problem in the area of graph property testing is to understand which graph properties are \emph{testable}, which means that with constantly many queries to any input graph $G$, a tester can decide with good probability whether $G$…

Data Structures and Algorithms · Computer Science 2022-05-04 Louis Esperet , Sergey Norin

One of the most fundamental questions in graph property testing is to characterize the combinatorial structure of properties that are testable with a constant number of queries. We work towards an answer to this question for the…

Data Structures and Algorithms · Computer Science 2018-11-08 Hendrik Fichtenberger , Pan Peng , Christian Sohler

A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike…

Data Structures and Algorithms · Computer Science 2023-08-10 Tuukka Korhonen , Daniel Lokshtanov

In many statistical applications, the dimension is too large to handle for standard high-dimensional machine learning procedures. This is particularly true for graphical models, where the interpretation of a large graph is difficult and…

Statistics Theory · Mathematics 2024-05-20 Luc Devroye , Gábor Lugosi , Piotr Zwiernik