English

NP-Completeness of Deterministic Communication Complexity via Relaxed Interlacing

Computational Complexity 2026-04-14 v4 Data Structures and Algorithms Combinatorics

Abstract

We prove that computing the deterministic communication complexity of a Boolean function, given its truth table, is \textsf{NP}-complete in the standard protocol-tree-depth model, addressing a meta-complexity question raised by Yao in 1979. The reduction is from {0,1}\{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 \emph{relaxed-interlacing} framework that makes this reduction possible. It replaces exponential-size Cartesian products with polynomial-size almost tt-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 \textsf{NP}-completeness theorem as their main application here.

Keywords

Cite

@article{arxiv.2508.05597,
  title  = {NP-Completeness of Deterministic Communication Complexity via Relaxed Interlacing},
  author = {Serge Gaspers and Tao Zixu He and Simon Mackenzie},
  journal= {arXiv preprint arXiv:2508.05597},
  year   = {2026}
}

Comments

Substantial revision. The paper now focuses on the NP-completeness result and the relaxed-interlacing framework. The previous lower-bound inheritance step (Lemma 6 in v3) was too strong as stated; the revised proof removes that shortcut and instead carries out the full vector-valued density-amplification induction. The additive-inapproximability direction will appear separately

R2 v1 2026-07-01T04:39:31.270Z