Boolean circuits, tensor ranks, and communication complexity

被引:38
作者
Pudlak, P
Rodl, V
Sgall, J
机构
[1] EMORY UNIV, DEPT MATH & COMP SCI, ATLANTA, GA 30322 USA
[2] CARNEGIE MELLON UNIV, SCH COMP SCI, PITTSBURGH, PA 15213 USA
关键词
circuit; tensor rank; communication complexity; random graph;
D O I
10.1137/S0097539794264809
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We investigate two methods for proving lower bounds on the size of small-depth circuits, namely the approaches based on multiparty communication games and algebraic characterizations extending the concepts of the tensor rank and rigidity of matrices. Our methods are combinatorial, but we think that our main contribution concerns the algebraic concepts used in this area (tensor ranks and rigidity) Our main results are following. (i) An o(n)-bit protocol for a communication game for computing shifts, which also gives an upper bound of o(n(2)) On the contact rank of the tensor of multiplication of polynomials; this disproves some earlier conjectures. A related probabilistic construction gives an o(n) upper bound for computing all permutations and an O(n log log n) upper bound on the communication complexity of pointer jumping with permutations. (ii) A lower bound on certain restricted circuits of depth 2 which are related to the problem of proving a superlinear lower bound on the size of logarithmic-depth circuits; this bound has interpretations both as a lower bound on the rigidity of the tensor of multiplication of polynomials and as a lower bound on the communication needed to compute the shift function in a restricted model. (iii) An upper bound on Boolean circuits of depth 2 for computing shifts and, more generally, all permutations; this shows that such circuits are more efficient than the model based on sending bits along vertex-disjoint paths.
引用
收藏
页码:605 / 633
页数:29
相关论文
共 34 条
[1]   A NOTE ON RAMSEY NUMBERS [J].
AJTAI, M ;
KOMLOS, J ;
SZEMEREDI, E .
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1980, 29 (03) :354-360
[2]   SUPERCONCENTRATORS OF DEPTH-2 AND DEPTH-3 - ODD LEVELS HELP (RARELY) [J].
ALON, N ;
PUDLAK, P .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 48 (01) :194-202
[3]  
Alon N., 1992, PROBABILISTIC METHOD
[4]  
AMBAINIS A, 1996, LECT NOTES COMPUT SC, V1046, P631
[5]  
[Anonymous], 1991, Comput. Complexity
[6]  
Azuma K, 1967, TOHOKU MATH J, V19, P357, DOI DOI 10.2748/TMJ/1178243286
[7]   MULTIPARTY PROTOCOLS, PSEUDORANDOM GENERATORS FOR LOGSPACE, AND TIME-SPACE TRADE-OFFS [J].
BABAI, L ;
NISAN, N ;
SZEGEDY, M .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1992, 45 (02) :204-232
[8]  
BABAI L, 1995, LECT NOTES COMPUTER, V900, P361
[9]  
Beigel R., 1994, Computational Complexity, V4, P350, DOI 10.1007/BF01263423
[10]   THE CHROMATIC NUMBER OF RANDOM GRAPHS [J].
BOLLOBAS, B .
COMBINATORICA, 1988, 8 (01) :49-55