Adjacency Sketches in Adversarial Environments

09/07/2023
by   Moni Naor, et al.
0

An adjacency sketching or implicit labeling scheme for a family F of graphs is a method that defines for any n vertex G ∈ F an assignment of labels to each vertex in G, so that the labels of two vertices tell you whether or not they are adjacent. The goal is to come up with labeling schemes that use as few bits as possible to represent the labels. By using randomness when assigning labels, it is sometimes possible to produce adjacency sketches with much smaller label sizes, but this comes at the cost of introducing some probability of error. Both deterministic and randomized labeling schemes have been extensively studied, as they have applications for distributed data structures and deeper connections to universal graphs and communication complexity. The main question of interest is which graph families have schemes using short labels, usually O(log n) in the deterministic case or constant for randomized sketches. In this work we consider the resilience of probabilistic adjacency sketches against an adversary making adaptive queries to the labels. This differs from the previously analyzed probabilistic setting which is “one shot". We show that in the adaptive adversarial case the size of the labels is tightly related to the maximal degree of the graphs in F. This results in a stronger characterization compared to what is known in the non-adversarial setting. In more detail, we construct sketches that fail with probability ε for graphs with maximal degree d using 2dlog (1/ε) bit labels and show that this is roughly the best that can be done for any specific graph of maximal degree d, e.g. a d-ary tree.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/09/2019

Universal Communication, Universal Graphs, and Graph Labeling

We introduce a communication model called universal SMP, in which Alice ...
research
02/08/2018

A Complexity Theory for Labeling Schemes

In a labeling scheme the vertices of a given graph from a particular cla...
research
11/04/2020

Reactive Proof Labeling Schemes for Distributed Decision

We generalize the definition of Proof Labeling Schemes to reactive syste...
research
11/05/2021

Randomized Communication and the Implicit Graph Conjecture

The most basic lower-bound question in randomized communication complexi...
research
01/02/2022

Implicit representation of sparse hereditary families

For a hereditary family of graphs , let _n denote the set of all members...
research
12/03/2020

Optimal labelling schemes for adjacency, comparability and reachability

We construct asymptotically optimal adjacency labelling schemes for ever...
research
07/12/2023

Connectivity Labeling for Multiple Vertex Failures

We present an efficient labeling scheme for answering connectivity queri...

Please sign up or login with your details

Forgot password? Click here to reset