Learning and verifying graphs using queries with a focus on edge counting
L Reyzin, N Srivastava - … Theory: 18th International Conference, ALT 2007 …, 2007 - Springer
Algorithmic Learning Theory: 18th International Conference, ALT 2007, Sendai …, 2007•Springer
We consider the problem of learning and verifying hidden graphs and their properties given
query access to the graphs. We analyze various queries (edge detection, edge counting,
shortest path), but we focus mainly on edge counting queries. We give an algorithm for
learning graph partitions using O (n log n) edge counting queries. We introduce a problem
that has not been considered: verifying graphs with edge counting queries, and give a
randomized algorithm with error ε for graph verification using O (log (1/ε)) edge counting …
query access to the graphs. We analyze various queries (edge detection, edge counting,
shortest path), but we focus mainly on edge counting queries. We give an algorithm for
learning graph partitions using O (n log n) edge counting queries. We introduce a problem
that has not been considered: verifying graphs with edge counting queries, and give a
randomized algorithm with error ε for graph verification using O (log (1/ε)) edge counting …
Abstract
We consider the problem of learning and verifying hidden graphs and their properties given query access to the graphs. We analyze various queries (edge detection, edge counting, shortest path), but we focus mainly on edge counting queries. We give an algorithm for learning graph partitions using O(n logn) edge counting queries. We introduce a problem that has not been considered: verifying graphs with edge counting queries, and give a randomized algorithm with error ε for graph verification using O(log(1/ε)) edge counting queries. We examine the current state of the art and add some original results for edge detection and shortest path queries to give a more complete picture of the relative power of these queries to learn various graph classes. Finally, we relate our work to Freivalds’ ‘fingerprinting technique’ – a probabilistic method for verifying that two matrices are equal by multiplying them by random vectors.
Springer