Comparator circuits are a natural circuit model for studying bounded fan-out computation whose power sits between nondeterministic branching programs and general circuits. Despite having been studied for nearly three decades, the first superlinear lower bound against comparator circuits was proved only recently by G\'al and Robere (ITCS 2020), who established a $\Omega((n/\log n)^{1.5})$ lower bound on the size of comparator circuits computing an explicit function of $n$ bits. In this paper, we initiate the study of average-case complexity and circuit analysis algorithms for comparator circuits. Departing from previous approaches, we exploit the technique of shrinkage under random restrictions to obtain a variety of new results for this model. Among them, we show - Average-case Lower Bounds. For every $k = k(n)$ with $k \geq \log n$, there exists a polynomial-time computable function $f_k$ on $n$ bits such that, for every comparator circuit $C$ with at most $n^{1.5}/O(k\cdot \sqrt{\log n})$ gates, we have \[ \text{Pr}_{x\in\left\{ 0,1 \right\}^n}\left[C(x)=f_k(x)\right]\leq \frac{1}{2} + \frac{1}{2^{\Omega(k)}}. \] This average-case lower bound matches the worst-case lower bound of G\'al and Robere by letting $k=O(\log n)$. - #SAT Algorithms. There is an algorithm that counts the number of satisfying assignments of a given comparator circuit with at most $n^{1.5}/O\!\left(k\cdot \sqrt{\log n}\right)$ gates, in time $2^{n-k}\cdot\text{poly}(n)$, for any $k\leq n/4$. The running time is non-trivial when $k=\omega(\log n)$. - Pseudorandom Generators and MCSP Lower Bounds. There is a pseudorandom generator of seed length $s^{2/3+o(1)}$ that fools comparator circuits with $s$ gates. Also, using this PRG, we obtain an $n^{1.5-o(1)}$ lower bound for MCSP against comparator circuits.


翻译:Comparator 电路是一种自然电路模型, 用于研究非确定性分支程序与普通电路之间的电流计算。 尽管已经研究了近三十年, 但最近G\'al 和 Robere( ITS 2020) 证明了首个与参照器电路的超线下限, 后者在比较器电路的大小上建立了$( k) (n/\log n)\\k) 下限, 计算了一个明确的 美元比特的函数 。 在本文中, 我们启动了对比较器电路中平均的复杂度和电路分析算法的研究 。 在最高级的 $C2\\\\\\ k} 上, 我们利用了在随机限制下限下级的缩算技术来获得各种新结果 。 当 $k\ = k( n) 和 log 美元, 以 =\\\\\\\\\\\\ k] 平级的调时, 以 =\\\\\\\\ k) max 以美元调的调调的 。

0
下载
关闭预览

相关内容

专知会员服务
40+阅读 · 2021年9月14日
应用机器学习书稿,361页pdf
专知会员服务
58+阅读 · 2020年11月24日
神经常微分方程教程,50页ppt,A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
Normalizing Flows入门(上)
AINLP
8+阅读 · 2020年8月1日
已删除
将门创投
4+阅读 · 2020年1月6日
分布式并行架构Ray介绍
CreateAMind
9+阅读 · 2019年8月9日
IEEE | 顶级期刊IoTJ物联网专刊诚邀稿件
Call4Papers
7+阅读 · 2019年5月20日
【NIPS2018】接收论文列表
专知
5+阅读 · 2018年9月10日
【推荐】YOLO实时目标检测(6fps)
机器学习研究会
20+阅读 · 2017年11月5日
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
给DNN处理器跑个分 - 指标篇
StarryHeavensAbove
5+阅读 · 2017年7月9日
Arxiv
0+阅读 · 2022年1月31日
Arxiv
0+阅读 · 2022年1月30日
Arxiv
0+阅读 · 2022年1月28日
VIP会员
相关资讯
Normalizing Flows入门(上)
AINLP
8+阅读 · 2020年8月1日
已删除
将门创投
4+阅读 · 2020年1月6日
分布式并行架构Ray介绍
CreateAMind
9+阅读 · 2019年8月9日
IEEE | 顶级期刊IoTJ物联网专刊诚邀稿件
Call4Papers
7+阅读 · 2019年5月20日
【NIPS2018】接收论文列表
专知
5+阅读 · 2018年9月10日
【推荐】YOLO实时目标检测(6fps)
机器学习研究会
20+阅读 · 2017年11月5日
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
给DNN处理器跑个分 - 指标篇
StarryHeavensAbove
5+阅读 · 2017年7月9日
Top
微信扫码咨询专知VIP会员