Communication Complexity is NP-hard
Shuichi Hirahara, Rahul Ilango, Bruno Loff

TL;DR
This paper proves that determining whether the communication complexity of a function is below a certain threshold is an NP-hard problem, establishing its computational difficulty.
Contribution
It demonstrates that deciding if a function's communication complexity is at most a given value is NP-hard, resolving a long-standing open question.
Findings
Deciding CC(f) ≤ k is NP-hard.
The problem is in NP but also NP-hard.
Establishes computational difficulty of communication complexity decision.
Abstract
In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing (the 2-way communication complexity of a given function ) NP-complete?} The problem of deciding whether , when given the communication matrix for and a number , is easily seen to be in NP. Kushilevitz and Weinreb have shown that this problem is cryptographically hard. Here we show it is NP-hard.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Computability, Logic, AI Algorithms · Interconnection Networks and Systems
