矩阵乘法方案的标准形式

摘要:计算小矩阵精确乘法的方案具有一个大的对称群。该群在乘法方案集合上定义了一个等价关系。有算法可以判断两个方案是否等价。然而,对于大量方案,两两等价检查变得繁琐。在本文中,我们提出了一种计算矩阵乘法方案的正常形式的算法。这使得我们能够有效地判断更多方案的两两等价性。

作者:Manuel Kauers, Jakob Moosbauer

论文ID:2206.00550

分类:Computational Complexity

分类简称:cs.CC

提交时间:2022-06-02

PDF 下载: 英文版 中文版pdf翻译中