Loading in 5 sec....

Proximity Oblivious TestingPowerPoint Presentation

Proximity Oblivious Testing

- 94 Views
- Uploaded on
- Presentation posted in: General

Proximity Oblivious Testing

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Proximity Oblivious Testing

Oded Goldreich

Weizmann Institute of Science

Joint work withDana Ron

?

?

?

?

?

Focus: sub-linear time algorithms – performing the task by inspecting the object at few locations.

A relaxation of a decision problem:

For a fixed property Pand any object O,

determine whether O has property P,

or whether O is far from having property P(i.e., far from any other object having P).

- A property P = nPn , where Pn is a set of functions with domain Dn.
- The tester gets explicit input n and ,
- and oracle access to a function with domain Dn.
- If f Pn then Prob[Tf(n,) = 1] = 1.
- If f is -far from Pn then Prob[Tf(n,) 1] > 2/3.

Focus: query complexity q(n,)=q() ( « | Dn |)

Terminology:is called the proximity parameter.

Some testers use the proximity parameter merely in order to determine the number of times that a basic test is performed, where the basic test is oblivious of the proximity parameter.

We call such basic tests proximity oblivious testers.

- Example:the BLR (linearity) tester.
- On input (prox.par.) and oracle f,
- repeat the following test O(1/ ) times:
- Select uniformly x,y in Dn
- Accept iff f(x)+f(y)=f(x+y).

- A property P = nPn ’where Pn is a set of functions with domain Dn.
- A P.O. Tester (POT) gets explicit input n (but not),
- and oracle access to a function with domain Dn.
- If fPn then Prob[Tf(n) = 1] = 1.
- If fPn then Prob[Tf(n) 1] > (P(f)),
- where :(0,1] (0,1]
- andP(f) denotes the distance of f fromP.

N.B.: A standard tester is obtained by repeating the POT (i.e., on prox. par. , repeat O(1/()) times).

Focus: constant query complexity q(n)=q ( « | Dn |)

- Which “testable” properties have POTs?
- How does the complexity of the standard tester obtained by repeating the POT compare to the complexity of the best possible standard tester .
- These questions are studied mainly in two standard models
- of testing graph properties:
- the adjacency matrix model and the bounded-degree model.

Example:the BLR (linearity) tester.

The complexity of the (std.)tester obtained

by repeating the POT equals (up to a constant)

the complexity of the best possible standard tester.

A graph G=(V,E) is represented

by a function g:[N][N]{0,1}.

Example 1: Clique.The property of being a clique has a “trivial” two-query POT with ()=.

Example 2: BiClique. The property of being a biclique has a three-query POT with ()=.

Select s[N] arbitrarily, and random u,v[N], and accept iff the induced subgraph is a biclique (i.e., has an even number of edges).

Select s[N] arbitrarily, and random u,v[N], and accept iff the induced subgraph is a biclique (i.e., has an even number of edges).

Analysis technique: consider an induced partition.

s

(s)

[N] \ (s)

Suppose that the graph is -far from Biclique. Then

#edges in same side + #non-edges between sides > N2

induced subgraph induced subgraph has 1 or 3 edges has a single edge

THM:-freenesshas a 3-query POT with ()=1/Tower(1/), but no O(1)-query POT with ()=poly().

The point is that being-far from-freenessmeans thatN2edges must be omitted to obtain a-free graph,but this does not mean that the graph hasN3 (norpoly()N3 ) triangles.

Conclusion: easy testability and POT-ness are “far from straightforward”.

Recall that Bipartitness is efficiently testable with poly(1/) queries.

THM:Bipartitnesshas no O(1)-query POT.

PF:A graph can be-far fromBipartitenessstill all its O(1)-vertex induced subgraphs may be bipartite. E.g., a super-cycle of (1/)(equal-sized) independent sets such that each adjacent pairs of sets is connected by a complete bipartite graph.

Conclusion: easily testable properties may not have POTs.

THM (oversimplified):PropertyPhas an O(1)-query POT iff P equals the set of F-free graphs, where F is a fixed set of O(1)-size graphs.

PF idea:Given a POT , we derive a canonical POT (a la [GT]), which yields a characterization of P in terms of forbidden subgraphs (equiv., allowed induced subgraphs). In the other direction, use [AFKS].

Clarification:For a set of graphsFand a graphG, we say thatGisF-free if no induced subgraph of G belongs to F.

THM (actual):PropertyP = NPNhas a O(1)-query POT iff for some constant c and every N, it holds that PN equals the set of FN-free graphs, where FN is a set of c-size graphs.

Recall that CC is efficiently testable with Õ(1/) queries [GR], and even Õ(-4/3) non-adaptive queries suffice.

THM:CChas a 3-query POT with ()=O(2), and no O(1)-query POT can do better.

PF (of the lower bound): Consider a collection of 1/4 balanced bicliques, each of size 4N. This graph is -far fromCCwhile rejecting it requires hitting some biclique at least three times.

Conclusion:The (std.) tester obtained by repeating

the best POT may have significantly higher complexity than the standard tester.

Recall that c-CC is testable with Õ(1/) queries [GR], even non-adaptively!

THM:For every c2, the property c-CChas a (c+1)-query POT with ()=O(c/2), and no O(1)-query POT can do better.

PF (of the lower bound): Consider a graph consisting of c small cliques, each of size sqrt()N and a large clique of size (1-sqrt())N. This graph is -far fromc-CCwhile rejecting it requires hitting each of the c small cliques.

Conclusion:The (std.) tester obtained by repeating

the best POT may have tremendously higher complexity than the standard tester.

A graph G=(V,E) of degree bound d,

is represented by a function g:[N][d][N]{0}.

- DEF (generalized subgraph freeness):graphs with vertices marked full, semi-full, and partial such that a disallowed mapping of F=([n],EF) to G=([N],E) satisfies
- for full vertex v, map(neigh(v)) = neigh(map(v))
- for semi-full vertex v, map(neigh(v)) = neigh(map(v)) map([n])
- for partial vertex v, map(neigh(v)) neigh(map(v))
- E.g., induced (resp., non-induced) graph-freeness corresponds to the special case of using only semi-full (resp., partial) markings.

- DEF (abbrev.):a disallowed mapping of F=([n], EF) to G=([N],E) satisfies
- for full vertex v, map(neigh(v)) = neigh(map(v))
- for semi-full vertex v, map(neigh(v)) = neigh(map(v)) map([n])
- for partial vertex v, map(neigh(v)) neigh(map(v)).

Def:Fisnon-propagating if there exists :(0,1](0,1] such that if every mapping of every marked graph in Fto the graph G uses a vertex in B, then G is (|B|/N)-close to being F-free.

- Not all setsFare non-propagating.
- For any Fwith no full vertices, F is non-propagating.
- Degree-regularity is captured by a non-propagating F.Note that this is a non-hereditary property.

Def:Fisnon-propagatingif there exists :(0,1](0,1] such that if every mapping of every marked graph in Fto the graph G uses a vertex in B, then G is (|B|/N)-close to being F-free.

- Not all setsFarenon-propagating.
- For any F with no full vertices, F is non-propagating.
- Degree-regularity is captured by a non-propagating F.

THM (ov. sim.):A property P has an O(1)-query POT iff for some non-propagating F it holds that P equals F-freeness.

OPEN:Can every generalized subgraph freeness property be captured by F-freeness for some non-propagating F?

THM: If property P is testable by a non-adaptive tester that (i) makes a number of queries that only depends on the proximity parameter and (ii) rejects based on a constant-sized “witness”, then P has a POT.

Note: strong codeword tests (cf. [GS]) correspond to POT.

OPEN: Do codes of 1/polylog rate have O(1)-query codeword POT?

The slides of this talk are available at http://www.wisdom.weizmann.ac.il/~oded/T/pot.ppt

The paper itself is available at http://www.wisdom.weizmann.ac.il/~oded/p_testPOT.html

THM [GT]: If a graph property is testable by q(N,) queries then it is testable by a canonical tester of query complexity O(q(N,)2).

A canonical tester inspects a random induced subgraph and accepted iff the inspected graph has a predetermined property.

Me (since 2001): “In this model, there is no room for algorithms -- property testing reduces to sheer combinatorics.”

Me (now): A finer examination (which cares for the quadratic blow-up) reveals the role of algorithms; as shown in the paper, adaptive algorithms outperform non-adaptive ones, which in turn outperform canonical testers.