English
Related papers

Related papers: Testing versus estimation of graph properties, rev…

200 papers

Let $\cal{P}$ be an affine invariant property of functions $\mathbb{F}_p^n \to [R]$ for fixed $p$ and $R$. We show that if $\cal{P}$ is locally testable with a constant number of queries, then one can estimate the distance of a function $f$…

Computational Complexity · Computer Science 2013-06-05 Hamed Hatami , Shachar Lovett

There has been substantial interest in estimating the value of a graph parameter, i.e., of a real-valued function defined on the set of finite graphs, by querying a randomly sampled substructure whose size is independent of the size of the…

Combinatorics · Mathematics 2020-08-12 Carlos Hoppen , Yoshiharu Kohayakawa , Richard Lang , Hanno Lefmann , Henrique Stagni

A distance-approximation algorithm for a graph property $\mathcal{P}$ in the adjacency-matrix model is given an approximation parameter $\epsilon \in (0,1)$ and query access to the adjacency matrix of a graph $G=(V,E)$. It is required to…

Combinatorics · Mathematics 2020-01-07 Nimrod Fiat , Dana Ron

Property Testing is a formal framework to study the computational power and complexity of sampling from combinatorial objects. A central goal in standard graph property testing is to understand which graph properties are testable with…

Data Structures and Algorithms · Computer Science 2025-09-08 Artur Czumaj , Christian Sohler , Stefan Walzer

Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant property having local…

Computational Complexity · Computer Science 2013-01-18 Arnab Bhattacharyya , Eldar Fischer , Hamed Hatami , Pooya Hatami , Shachar Lovett

Let $G$ be a graph with $n$ vertices and maximum degree $d$. Fix some minor-closed property $\mathcal{P}$ (such as planarity). We say that $G$ is $\varepsilon$-far from $\mathcal{P}$ if one has to remove $\varepsilon dn$ edges to make it…

Discrete Mathematics · Computer Science 2019-04-03 Akash Kumar , C. Seshadhri , Andrew Stolman

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

Property testers are fast, randomized "election polling"-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is $\varepsilon$-far from the property. In the dense graph model of property testing,…

Data Structures and Algorithms · Computer Science 2025-08-26 Lior Gishboliner , Asaf Shapira

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

Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy guarantees. For a property P, the goal is to distinguish inputs that have P from those that are far from having P with high probability…

Logic in Computer Science · Computer Science 2020-09-17 Isolde Adler , Polly Fahey

We introduce new distance measures for comparing straight-line embedded graphs based on the Fr\'echet distance and the weak Fr\'echet distance. These graph distances are defined using continuous mappings and thus take the combinatorial…

Computational Geometry · Computer Science 2019-09-12 Hugo A. Akitaya , Maike Buchin , Bernhard Kilgus , Stef Sijben , Carola Wenk

We consider graph property testing in $p$-degenerate graphs under the random neighbor oracle model (Czumaj and Sohler, FOCS 2019). In this framework, a tester explores a graph by sampling uniform neighbors of vertices, and a property is…

Data Structures and Algorithms · Computer Science 2026-04-07 Oded Lachish , Amit Levi , Ilan Newman , Felix Reidl

A graph property P is said to be testable if one can check if a graph is close or far from satisfying P using few random local inspections. Property P is said to be non-deterministically testable if one can supply a "certificate" to the…

Combinatorics · Mathematics 2013-04-09 Lior Gishboliner , Asaf Shapira

Given a family of graphs $\mathcal{F}$, we prove that the normalized edit distance of any given graph $\Gamma$ to being induced $\mathcal{F}$-free is estimable with a query complexity that depends only on the bounds of the Frieze--Kannan…

Combinatorics · Mathematics 2021-02-02 Carlos Hoppen , Yoshiharu Kohayakawa , Richard Lang , Hanno Lefmann , Henrique Stagni

We provide a combinatorial characterization of all testable properties of $k$-uniform hypergraphs ($k$-graphs for short). Here, a $k$-graph property $P$ is testable if there is a randomized algorithm which makes a bounded number of edge…

Combinatorics · Mathematics 2025-05-08 Felix Joos , Jaehoon Kim , Daniela Kühn , Deryk Osthus

Property testers are fast randomized algorithms whose task is to distinguish between inputs satisfying some predetermined property ${\cal P}$ and those that are far from satisfying it. Since these algorithms operate by inspecting a small…

Combinatorics · Mathematics 2020-11-23 Lior Gishboliner , Asaf Shapira , Henrique Stagni

The problem of characterizing testable graph properties (properties that can be tested with a number of queries independent of the input size) is a fundamental problem in the area of property testing. While there has been some extensive…

Data Structures and Algorithms · Computer Science 2019-09-25 Artur Czumaj , Christian Sohler

Motivated by the fact that input distributions are often unknown in advance, distribution-free property testing considers a setting where the algorithmic task is to accept functions $f : [n] \to \{0,1\}$ with a certain property P and reject…

Computational Complexity · Computer Science 2024-02-19 Hugo Aaronson , Tom Gur , Ninad Rajgopal , Ron D. Rothblum

Consider property testing on bounded degree graphs and let $\varepsilon>0$ denote the proximity parameter. A remarkable theorem of Newman-Sohler (SICOMP 2013) asserts that all properties of planar graphs (more generally hyperfinite) are…

Data Structures and Algorithms · Computer Science 2024-05-10 Sabyasachi Basu , Akash Kumar , C. Seshadhri

An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a…

Data Structures and Algorithms · Computer Science 2026-03-24 Luís Felipe I. Cunha , Ignasi Sau , Uéverton S. Souza , Mario Valencia-Pabon
‹ Prev 1 2 3 10 Next ›