CLIQUE 作为多项式大小单调常深度电路的与
计算复杂性
2024-01-24 v2
摘要
本文证明，对于足够大的 值，在 个顶点的图上计算 -CLIQUE 需要至少 个单调、常深度且多项式大小电路的与。该证明依赖于一个为团问题设计的新型单调单侧切换引理。
引用
@article{arxiv.2401.12094,
title = {CLIQUE as an AND of Polynomial-Sized Monotone Constant-Depth Circuits},
author = {Levente Bodnar},
journal= {arXiv preprint arXiv:2401.12094},
year = {2024}
}
备注
11 pages, 1 figure