mlsanityData to 14 Oct 2026

NP-Completeness of Deterministic Communication Complexity via Relaxed Interlacing

arXiv 2508.05597 ↗First posted 7 Aug 2025cs.CC cs.DS math.COcited by 1

Not on the map. Why?

Abstract (arXiv)

We prove that computing the deterministic communication complexity of a Boolean function, given its truth table, is textsfNP-complete in the standard protocol-tree-depth model, addressing a meta-complexity question raised by Yao in 1979. The reduction is from (0,1)-Vector Bin Packing and produces, in polynomial time, a communication matrix whose optimal protocol depth exhibits a one-bit gap between satisfiable and unsatisfiable instances. The main technical contribution is the relaxed-interlacing framework that makes this reduction possible. It replaces exponential-size Cartesian products with polynomial-size almost (t)-wise independent column sets, a pseudorandom substitute for full products, while preserving the lower-bound and protocol-control statements needed for the reduction. We develop these statements in two stages: first for classical interlacing, where projection arguments give clean lower bounds and separation statements, and then for relaxed interlacing, where a bridge lemma recovers the classical lower-bound and separation statements with controlled density loss. This leads to an extension theorem that lifts the classical lower bound to the relaxed setting and a near-exact separation theorem that lifts the corresponding protocol-control statement, with the present textsfNP-completeness theorem as their main application here.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 7 Aug 2025.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.