中文

A Lower Bound for Read-Once Parity Branching Programs

计算复杂性 2026-07-07 v1

摘要

We prove an Ω~(n2)\tilde{\Omega}(n^2) lower bound for read-once parity branching programs computing an explicit boolean function on nn variables. The previous best lower bound was Ω~(n1.5)\tilde{\Omega}(n^{1.5}). Our lower bound is proved by reducing the problem to a lower bound in algebraic circuit complexity.

引用

@article{arxiv.2607.05944,
  title  = {A Lower Bound for Read-Once Parity Branching Programs},
  author = {Ben Lee Volk},
  journal= {arXiv preprint arXiv:2607.05944},
  year   = {2026}
}