无界和有界深度下的无消去电路
计算复杂性
2014-10-20 v2
摘要
我们研究了“无消去”（cancellation-free）电路的概念。这是线性布尔电路（XOR 电路）的一种限制，但可被视为等同于先前研究过的计算模型。该概念由 Boyar 和 Peralta 在针对特定电路最小化问题的启发式算法研究中提出。他们询问最小无消去电路与最小线性电路之间可能存在多大的差距。我们表明，这种差异可以达到 因子。这改进了 Sergeev 和 Gashkov 最近研究类似问题的结果。此外，我们的证明适用于恒定深度的电路。我们还研究了使用无消去电路计算 Sierpinski 矩阵的复杂性，并给出了紧致的 下界。
引用
@article{arxiv.1305.3041,
title = {Cancellation-Free Circuits in Unbounded and Bounded Depth},
author = {Joan Boyar and Magnus Find},
journal= {arXiv preprint arXiv:1305.3041},
year = {2014}
}
备注
IMADA-preprint 2013. This article supersedes arXiv:1207.5321. The publication is available from ScienceDirect