拟翻译为：关于拟阵同构问题的复杂性
摘要：测试两个给定拟阵是否同构的复杂性研究。该问题很容易看出是在Σ2p中的。在线性拟阵的情况下，线性拟阵同构问题引起了极大概率的Σ2p完全性，并且是coNP难题。我们证明了当拟阵的秩受到常数限制时，线性拟阵同构和拟阵同构与图同构问题是多项式时间等价的。我们给出了一个从图拟阵同构问题到图同构问题的多项式时间图灵规约。利用这一结果，我们能够证明对于平面图的图拟阵同构测试可以在确定性多项式时间内完成。然后，我们给出了一个从有界秩拟阵同构问题到图拟阵同构的多项式时间多对一规约，从而证明了上述所有问题都是多项式时间等价的。此外，对于线性和图拟阵，我们证明了自同构问题与相应的同构问题是多项式时间等价的。另外，我们给出了一个图拟阵的自同构群的多项式时间成员检测算法。
作者：Raghavendra Rao B.V. and Jayalal M.N. Sarma
论文ID：0811.3859
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-11-25