Optimal query complexity bounds for finding graphs

Sung-Soon Choi, Jeong Han Kim
2008 Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08  
We consider the problem of finding an unknown graph by using queries with an additive property. This problem was partially motivated by DNA shotgun sequencing and linkage discovery problems of artificial intelligence. Given a graph, an additive query asks the number of edges in a set of vertices while a cross-additive query asks the number of edges crossing between two disjoint sets of vertices. The queries ask the sum of weights for weighted graphs. For a graph G with n vertices and at most m
more » ... dges, we prove that there exists an algorithm to find the edges of G using O( m log n 2 m log(m+1) ) queries of both types for all m. The bound is best possible up to a constant factor. For a weighted graph with a mild condition on weights, it is shown that O( m log n log m ) queries are enough provided m (log n) α for a sufficiently large constant α, which is best possible up to a constant factor if m n 2−ε for any constant ε > 0. This settles, in particular, a conjecture of Grebinski [V. Grebinski, On the power of additive combinatorial search model, in: finding an unweighted graph using additive queries. We also consider the problem of finding the Fourier coefficients of a certain class of pseudo-Boolean functions as well as a similar coin weighing problem.
doi:10.1145/1374376.1374484 dblp:conf/stoc/ChoiK08 fatcat:rj65t5usfvb77ki6fq7l4cg3xy