[图书][B] Communication Complexity: and Applications

A Rao, A Yehudayoff - 2020 - books.google.com
Communication complexity is the mathematical study of scenarios where several parties
need to communicate to achieve a common goal, a situation that naturally appears during …

[图书][B] Mathematics and computation: A theory revolutionizing technology and science

A Wigderson - 2019 - books.google.com
From the winner of the Turing Award and the Abel Prize, an introduction to computational
complexity theory, its connections and interactions with mathematics, and its central role in …

Shrinkage of De Morgan formulae by spectral techniques

A Tal - 2014 IEEE 55th Annual Symposium on Foundations of …, 2014 - ieeexplore.ieee.org
We give a new and improved proof that the shrinkage exponent of De Morgan formulae is 2.
Namely, we show that for any Boolean function f:{0, 1} n→{0, 1}, setting each variable out of …

Toward the KRW composition conjecture: Cubic formula lower bounds via communication complexity

I Dinur, O Meir - Computational Complexity, 2018 - Springer
One of the major challenges of the research in circuit complexity is proving super-polynomial
lower bounds for de Morgan formulas. Karchmer et al.(Comput Complex 5 (3/4): 191–204 …

Toward better depth lower bounds: A KRW-like theorem for strong composition

O Meir - 2023 IEEE 64th Annual Symposium on Foundations of …, 2023 - ieeexplore.ieee.org
One of the major open problems in complexity theory is proving super-logarithmic lower
bounds on the depth of circuits (ie, P\nsubseteqNC^1). Karchmer, Raz, and Wigderson …

Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams

M Kapralov, J Nelson, J Pachocki… - 2017 IEEE 58th …, 2017 - ieeexplore.ieee.org
In the communication problem UR (universal relation)[25], Alice and Bob respectively
receive x, y∈{0, 1} n with the promise that x≠ y. The last player to receive a message must …

Formula lower bounds via the quantum method

A Tal - Proceedings of the 49th Annual ACM SIGACT …, 2017 - dl.acm.org
A de Morgan formula over Boolean variables x 1,…, xn is a binary tree whose internal nodes
are marked with AND or OR gates and whose leaves are marked with variables or their …

Toward better formula lower bounds: The composition of a function and a universal relation

D Gavinsky, O Meir, O Weinstein, A Wigderson - SIAM Journal on Computing, 2017 - SIAM
One of the major open problems in complexity theory is proving superlogarithmic lower
bounds on the depth of circuits (ie, P\not⊆NC^1). This problem is interesting for two …

Lifting theorems for equality

B Loff, S Mukhopadhyay - Leibniz International Proceedings …, 2019 - eprints.whiterose.ac.uk
We show a deterministic simulation (or lifting) theorem for composed problems f◦ Eqn where
the inner function (the gadget) is Equality on n bits. When f is a total function on p bits, it is …

Circuit depth reductions

A Golovnev, AS Kulikov, RR Williams - arXiv preprint arXiv:1811.04828, 2018 - arxiv.org
The best known size lower bounds against unrestricted circuits have remained around $3 n
$ for several decades. Moreover, the only known technique for proving lower bounds in this …