Title :
Informational complexity and the direct sum problem for simultaneous message complexity
Author :
Chakrabart, Amit ; Shi, Yaoyun ; Wirth, Anthony ; Yao, Andrew
Author_Institution :
Dept. of Comput. Sci., Princeton Univ., NJ, USA
Abstract :
Given m copies of the same problem, does it take m times the amount of resources to solve these m problems? This is the direct sum problem, a fundamental question that has been studied in many computational models. We study this question in the simultaneous message (SM) model of communication introduced by A.C. Yao (1979). The equality problem for n-bit strings is well known to have SM complexity Θ(√n). We prove that solving m copies of the problem has complexity Ω(m√n); the best lower bound provable using previously known techniques is Ω(√(mn)). We also prove similar lower bounds on certain Boolean combinations of multiple copies of the equality function. These results can be generalized to a broader class of functions. We introduce a new notion of informational complexity which is related to SM complexity and has nice direct sum properties. This notion is used as a tool to prove the above results; it appears to be quite powerful and may be of independent interest.
Keywords :
communication complexity; string matching; theorem proving; Boolean combinations; SM complexity; best lower bound; direct sum problem; direct sum properties; equality function; equality problem; informational complexity; n-bit strings; simultaneous message complexity; simultaneous message model; Books; Complexity theory; Computational modeling; Computer science; National electric code; Protocols; Samarium;
Conference_Titel :
Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on
Print_ISBN :
0-7695-1116-3
DOI :
10.1109/SFCS.2001.959901