Communication complexity towards lower bounds on circuit depth

被引:31
|
作者
Edmonds, J [1 ]
Impagliazzo, R
Rudich, S
Sgall, J
机构
[1] York Univ, Dept Comp Sci, N York, ON M3J 1P3, Canada
[2] Univ Calif San Diego, Dept Comp Sci, La Jolla, CA 92093 USA
[3] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
[4] Acad Sci Czech Republic, Inst Math, CR-11567 Prague, Czech Republic
基金
加拿大自然科学与工程研究理事会; 美国国家科学基金会;
关键词
communication complexity; Boolean complexity; lower bounds;
D O I
10.1007/s00037-001-8195-x
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Karchmer, Raz, and Wigderson (1995) discuss the circuit depth complexity of n-bit Boolean functions constructed by composing up to d = log n/log log n levels of k = log n-bit Boolean functions. Any such function is in AC(1). They conjecture that circuit depth is additive under composition, which would imply that any (bounded fan-m) circuit for this problem requires dk is an element of Omega(log(2) n/log log n) depth. This would separate AC(1) from NC1. They recommend using the communication game characterization of circuit depth. In order to develop techniques for using communication complexity to prove circuit depth lower bounds, they suggest an intermediate communication complexity problem which they call the Universal Composition Relation. We give an almost optimal lower bound of dk - O(d(2) (k log k)(1/2)) for this problem. In addition, we present a proof, directly in terms of communication complexity, that there is a function on k bits requiring Omega(k) circuit depth. Although this fact can be easily established using a counting argument, we hope. that the ideas in our proof will be incorporated more easily into subsequent arguments which use communication complexity to prove circuit depth bounds.
引用
收藏
页码:210 / 246
页数:37
相关论文
共 50 条
  • [1] Communication complexity towards lower bounds on circuit depth
    J. Edmonds
    R. Impagliazzo
    S. Rudich
    J. Sgall
    computational complexity, 2001, 10 : 210 - 246
  • [3] Quantum multiparty communication complexity and circuit lower bounds
    Kerenidis, Iordanis
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 306 - 317
  • [4] Lower Bounds in Communication Complexity
    Lee, Troy
    Shraibman, Adi
    FOUNDATIONS AND TRENDS IN THEORETICAL COMPUTER SCIENCE, 2007, 3 (04): : 263 - 399
  • [5] LOWER BOUNDS ON COMMUNICATION COMPLEXITY
    DURIS, P
    GALIL, Z
    SCHNITGER, G
    INFORMATION AND COMPUTATION, 1987, 73 (01) : 1 - 22
  • [6] Lower bounds for quantum communication complexity
    Klauck, H
    42ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2001, : 288 - 297
  • [7] Lower bounds on the multiparty communication complexity
    Duris, P
    Rolim, JDP
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1998, 56 (01) : 90 - 95
  • [8] Communication complexity lower bounds by polynomials
    Buhrman, H
    de Wolf, R
    16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2000, : 120 - 130
  • [9] Lower bounds for quantum communication complexity
    Klauck, Hartmut
    SIAM JOURNAL ON COMPUTING, 2007, 37 (01) : 20 - 46
  • [10] Towards Stronger Depth Lower Bounds
    Bathie, Gabriel
    Williams, R. Ryan
    15TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE, ITCS 2024, 2024,