English
Related papers

Related papers: Polynomial Property Testing

200 papers

We extend the bounded degree graph model for property testing introduced by Goldreich and Ron (Algorithmica, 2002) to hypergraphs. In this framework, we analyse the query complexity of three fundamental hypergraph properties: colorability,…

Computational Complexity · Computer Science 2025-03-14 Hugo Aaronson , Gaia Carenini , Atreyi Chanda

We study quantum algorithms for testing bipartiteness and expansion of bounded-degree graphs. We give quantum algorithms that solve these problems in time O(N^(1/3)), beating the Omega(sqrt(N)) classical lower bound. For testing expansion,…

Quantum Physics · Physics 2011-09-12 Andris Ambainis , Andrew M. Childs , Yi-Kai Liu

Testing efficiently whether a finite set with a binary operation over it, given as an oracle, is a group is a well-known open problem in the field of property testing. Recently, Friedl, Ivanyos and Santha have made a significant step in the…

Quantum Physics · Physics 2021-10-05 Yoshifumi Inui , Francois Le Gall

Distribution testing is a fundamental statistical task with many applications, but we are interested in a variety of problems where systematic mislabelings of the sample prevent us from applying the existing theory. To apply distribution…

Data Structures and Algorithms · Computer Science 2023-04-05 Renato Ferreira Pinto , Nathaniel Harms

Given a property of Boolean functions, what is the minimum number of queries required to determine with high probability if an input function satisfies this property or is "far" from satisfying it? This is a fundamental question in Property…

Data Structures and Algorithms · Computer Science 2016-01-13 Noga Alon , Rani Hod , Amit Weinstein

We examine the extent to which sublinear-sample property testing and estimation apply to settings where samples are independently but not identically distributed. Specifically, we consider the following distributional property testing…

Data Structures and Algorithms · Computer Science 2025-11-05 Shivam Garg , Chirag Pabbaraju , Kirankumar Shiragur , Gregory Valiant

We present a novel framework closely linking the areas of property testing and data streaming algorithms in the setting of general graphs. It has been recently shown (Monemizadeh et al. 2017) that for bounded-degree graphs, any…

Data Structures and Algorithms · Computer Science 2019-05-07 Artur Czumaj , Hendrik Fichtenberger , Pan Peng , Christian Sohler

We describe two procedures which, given access to one copy of a quantum state and a sequence of two-outcome measurements, can distinguish between the case that at least one of the measurements accepts the state with high probability, and…

Quantum Physics · Physics 2017-04-18 Aram W. Harrow , Cedric Yen-Yu Lin , Ashley Montanaro

This work explores the query complexity of property testing for general piecewise functions on the real line, in the active and passive property testing settings. The results are proven under an abstract zero-measure crossings condition,…

Data Structures and Algorithms · Computer Science 2018-05-22 Steve Hanneke , Liu Yang

In this paper, we study learning and testing decision tree of size and depth that are significantly smaller than the number of attributes $n$. Our main result addresses the problem of poly$(n,1/\epsilon)$ time algorithms with…

Data Structures and Algorithms · Computer Science 2021-08-11 Nader H. Bshouty , Catherine A. Haddad-Zaknoon

In this paper, we present a quantum property testing algorithm for recognizing a context-free language that is a concatenation of two palindromes $L_{REV}$. The query complexity of our algorithm is $O(\frac{1}{\varepsilon}n^{1/3}\log n)$,…

Quantum Physics · Physics 2024-06-18 Kamil Khadiev , Danil Serov

Understanding the local behaviour of structured multi-dimensional data is a fundamental problem in various areas of computer science. As the amount of data is often huge, it is desirable to obtain sublinear time algorithms, and specifically…

Data Structures and Algorithms · Computer Science 2017-03-28 Omri Ben-Eliezer , Simon Korman , Daniel Reichman

An $\epsilon$-test for any non-trivial property (one for which there are both satisfying inputs and inputs of large distance from the property) should use a number of queries that is at least inversely proportional in $\epsilon$. However,…

Data Structures and Algorithms · Computer Science 2024-04-18 Eldar Fischer

Property testing is concerned with the design of algorithms making a sublinear number of queries to distinguish whether the input satisfies a given property or is far from having this property. A seminal paper of Alon, Krivelevich, Newman,…

Data Structures and Algorithms · Computer Science 2025-04-29 Gabriel Bathie , Nathanaël Fijalkow , Corto Mascle

We initiate the study of property testing in arbitrary planar graphs. We prove that bipartiteness can be tested in constant time, improving on the previous bound of $\tilde{O}(\sqrt{n})$ for graphs on $n$ vertices. The constant-time…

Data Structures and Algorithms · Computer Science 2018-12-27 Artur Czumaj , Morteza Monemizadeh , Krzysztof Onak , Christian Sohler

Prediction of material property is a key problem because of its significance to material design and screening. We present a brand-new and general machine learning method for material property prediction. As a representative example, polymer…

Machine Learning · Computer Science 2022-03-01 Zhilong Liang , Zhiwei Li , Shuo Zhou , Yiwen Sun , Changshui Zhang , Jinying Yuan

One of the main challenges in property testing is to characterize those properties that are testable with a constant number of queries. For unordered structures such as graphs and hypergraphs this task has been mostly settled. However, for…

Data Structures and Algorithms · Computer Science 2018-01-31 Omri Ben-Eliezer , Eldar Fischer

In this paper we consider the problem of testing whether a graph has bounded arboricity. The family of graphs with bounded arboricity includes, among others, bounded-degree graphs, all minor-closed graph classes (e.g. planar graphs, graphs…

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

We show that there exist properties that are maximally hard for testing, while still admitting PCPPs with a proof size very close to linear. Specifically, for every fixed $\ell$, we construct a property…

Computational Complexity · Computer Science 2019-11-18 Omri Ben-Eliezer , Eldar Fischer , Amit Levi , Ron D. Rothblum

We study the general problem of testing whether an unknown distribution belongs to a specified family of distributions. More specifically, given a distribution family $\mathcal{P}$ and sample access to an unknown discrete distribution…

Data Structures and Algorithms · Computer Science 2017-08-09 Clément L. Canonne , Ilias Diakonikolas , Alistair Stewart