Informational complexity and the direct sum problem for simultaneous message complexity

被引:159
作者
Chakrabarti, A [1 ]
Shi, YY [1 ]
Wirth, A [1 ]
Yao, A [1 ]
机构
[1] Princeton Univ, Dept Comp Sci, Princeton, NJ 08544 USA
来源
42ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS | 2001年
关键词
D O I
10.1109/SFCS.2001.959901
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Given m copies of the some problem, does it take m times the amount of resources to solve these m problems? This is the direct slim 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 Yao [Y79]. The equality problem for n-bit strings is well known to have SM complexity Theta(rootn). We prove that solving m copies of the problem has complexity Omega (m rootn); the best lower bound provable using previously known techniques is Omega(root 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.
引用
收藏
页码:270 / 278
页数:9
相关论文
共 11 条
[1]  
Ambainis A, 1996, ALGORITHMICA, V16, P298
[2]  
[Anonymous], 1997, COMMUNICATION COMPLE
[3]   Randomized simultaneous messages: Solution of a problem of Yao in communication complexity [J].
Babai, L ;
Kimmel, PG .
TWELFTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1997, :239-246
[4]  
BABAI L, 2001, TR200109 U CHIC
[5]  
EDMONDS J, 1991, PROCEEDINGS - 32ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, P249, DOI 10.1109/SFCS.1991.185375
[6]   AMORTIZED COMMUNICATION COMPLEXITY [J].
FEDER, T ;
KUSHILEVITZ, E ;
NAOR, M ;
NISAN, N .
SIAM JOURNAL ON COMPUTING, 1995, 24 (04) :736-750
[7]   MONOTONE CIRCUITS FOR CONNECTIVITY REQUIRE SUPER-LOGARITHMIC DEPTH [J].
KARCHMER, M ;
WIGDERSON, A .
SIAM JOURNAL ON DISCRETE MATHEMATICS, 1990, 3 (02) :255-265
[8]  
KARCHMER M, 1992, STRUCT COMPL TH CONF, P262, DOI 10.1109/SCT.1992.215401
[9]  
KARCHMER M, 1991, STRUCT COMPL TH CONF, P299, DOI 10.1109/SCT.1991.160273
[10]  
Newman I., 1996, Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, P561, DOI 10.1145/237814.238004