English
Related papers

Related papers: Deterministic vs Non-deterministic Graph Property …

200 papers

We study the problem of recognizing the cluster structure of a graph in the framework of property testing in the bounded degree model. Given a parameter $\varepsilon$, a $d$-bounded degree graph is defined to be $(k, \phi)$-clusterable, if…

Data Structures and Algorithms · Computer Science 2015-04-14 Artur Czumaj , Pan Peng , Christian Sohler

A locally testable language L is a language with the property that for some non negative integer k, called the order of local testability, whether or not a word u is in the language L depends on (1) the prefix and suffix of the word u of…

Formal Languages and Automata Theory · Computer Science 2021-06-07 A. N. Trahtman

In this paper, we initiate a systematic study of graph resilience. The (local) resilience of a graph G with respect to a property P measures how much one has to change G (locally) in order to destroy P. Estimating the resilience leads to…

Combinatorics · Mathematics 2007-12-01 Benny Sudakov , Van Vu

An $n$-vertex graph $G$ of edge density $p$ is considered to be quasirandom if it shares several important properties with the random graph $G(n,p)$. A well-known theorem of Chung, Graham and Wilson states that many such `typical'…

Combinatorics · Mathematics 2020-06-17 E. Aigner-Horev , D. Conlon , H. Hàn , Y. Person , M. Schacht

Fox, Gromov, Lafforgue, Naor, and Pach proved a regularity lemma for semi-algebraic $k$-uniform hypergraphs of bounded complexity, showing that for each $\epsilon>0$ the vertex set can be equitably partitioned into a bounded number of parts…

Combinatorics · Mathematics 2016-10-17 Jacob Fox , Janos Pach , Andrew Suk

We study which property testing and sublinear time algorithms can be transformed into graph streaming algorithms for random order streams. Our main result is that for bounded degree graphs, any property that is constant-query testable in…

Data Structures and Algorithms · Computer Science 2017-07-25 Morteza Monemizadeh , S. Muthukrishnan , Pan Peng , Christian Sohler

Shearer gave a general theorem characterizing the family $\LLL$ of dependency graphs labeled with probabilities $p_v$ which have the property that for any family of events with a dependency graph from $\LLL$ (whose vertex-labels are upper…

Combinatorics · Mathematics 2012-04-27 Wesley Pegden

Non-commutative graph theory is an operator space generalization of graph theory. Well known graph parameters such as the independence number and Lov\'asz theta function were first generalized to this setting by Duan, Severini, and Winter.…

Operator Algebras · Mathematics 2017-09-19 Se-Jin Kim , Arthur Mehta

A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive…

Combinatorics · Mathematics 2022-01-24 Vida Dujmović , Louis Esperet , Gwenaël Joret , Bartosz Walczak , David R. Wood

Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of "sparse graphs" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and…

Logic in Computer Science · Computer Science 2014-01-28 Martin Grohe , Stephan Kreutzer , Sebastian Siebertz

We study certificates in static data structures. In the cell-probe model, certificates are the cell probes which can uniquely identify the answer to the query. As a natural notion of nondeterministic cell probes, lower bounds for…

Data Structures and Algorithms · Computer Science 2014-04-29 Yaoyu Wang , Yitong Yin

An identifying code of a graph is a dominating set which uniquely determines all the vertices by their neighborhood within the code. Whereas graphs with large minimum degree have small domination number, this is not the case for the…

Combinatorics · Mathematics 2017-01-02 Florent Foucaud , Guillem Perarnau , Oriol Serra

Consider a random graph process where vertices are chosen from the interval $[0,1]$, and edges are chosen independently at random, but so that, for a given vertex $x$, the probability that there is an edge to a vertex $y$ decreases as the…

As a discrete analogue of Kac's celebrated question on "hearing the shape of a drum", and towards a practical graph isomorphism test, it is of interest to understand which graphs are determined up to isomorphism by their spectrum (of their…

Combinatorics · Mathematics 2024-11-19 Illya Koval , Matthew Kwan

We consider the problem of testing graph cluster structure: given access to a graph $G=(V, E)$, can we quickly determine whether the graph can be partitioned into a few clusters with good inner conductance, or is far from any such graph?…

Data Structures and Algorithms · Computer Science 2018-09-19 Ashish Chiplunkar , Michael Kapralov , Sanjeev Khanna , Aida Mousavifar , Yuval Peres

Graph-based tests are a class of non-parametric two-sample tests useful for analyzing high-dimensional data. The test statistics are constructed from similarity graphs (such as K-minimum spanning tree), and consequently, their performance…

Methodology · Statistics 2025-06-23 Yichuan Bai , Lynna Chu

In this paper, we study the problem of testing the equality of two multivariate distributions. One class of tests used for this purpose utilizes geometric graphs constructed using inter-point distances. So far, the asymptotic theory of…

Statistics Theory · Mathematics 2025-04-22 Rahul Raphael Kanekar

This paper explores the information-theoretic limitations of graph property testing in zero-field Ising models. Instead of learning the entire graph structure, sometimes testing a basic graph property such as connectivity, cycle presence or…

Statistics Theory · Mathematics 2018-07-31 Matey Neykov , Han Liu

A graph property is elusive (or evasive) if any algorithm testing it by asking questions of the form ''Is there an edge between vertices x and y?'' must, in the worst case, examine all pairs of vertices. Elusiveness for infinite vertex sets…

Combinatorics · Mathematics 2025-10-22 Márton Elekes , Tamás Kátay , Anett Kocsis

We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. Of course in the case of terminating computation it is…

Discrete Mathematics · Computer Science 2024-10-08 Pablo Arrighi , Marin Costes , Gilles Dowek , Luidnel Maignan