非交换和交换多项式恒等式检验的新结果
摘要：使用自动机理论的思想，我们设计了一个新的高效（确定性的）非交换多项式身份测试方法，该方法可以应用于重构黑盒非交换代数分支程序。在黑盒模型的假设下，我们可以查询分支程序在任意给定门处的输出，这样我们可以在确定性多项式时间内重构一个（等价的）分支程序。最后，我们还研究了当输入多项式的系数来自任意有限交换环时的交换身份测试。
作者：V. Arvind, Partha Mukhopadhyay, and Srikanth Srinivasan
论文ID：0801.0514
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-01-04