具有大幂的斜电路的并行恒等性测试及其应用
计算复杂性
2015-02-17 v1
摘要
本文引入了强斜算术电路。这类电路是带变量的斜算术电路，其输入门可标记为幂 ，其中 为二进制编码的数。研究表明，针对强斜算术电路的多项式恒等性测试属于 ，这推广了（标准）斜电路的相应结果。给出了该结果的两个应用：（i）高维直线程序的等价性可在 中测试；这一结果在一维情形（直线程序生成字符串）下也是新的。（ii）某些有限生成阿贝尔群的圈积上的压缩字问题（或电路求值问题）属于 。
引用
@article{arxiv.1502.04545,
title = {Parallel Identity Testing for Skew Circuits with Big Powers and Applications},
author = {Daniel König and Markus Lohrey},
journal= {arXiv preprint arXiv:1502.04545},
year = {2015}
}