有限域上双线性映射最优公式搜索的改进方法
数据结构与算法
2018-12-10 v3 计算复杂性
离散数学
符号计算
摘要
2012年，Barbulescu、Detrey、Estibals和Zimmermann提出了一个穷举搜索评估双线性映射（如Strassen或Karatsuba公式）最优公式的新框架。本工作的主要贡献是一个新的剪枝准则，用于在穷举搜索中积极剪除无用分支，从而计算出了新的最优公式，特别是关于模X^5的短乘积和模(X^5 - 1)的循环乘积。此外，我们能够证明，在某个自同构群的作用下，3x2矩阵与2x3矩阵乘积的最优分解本质上只有一个。
引用
@article{arxiv.1705.07728,
title = {Improved method for finding optimal formulae for bilinear maps in a finite field},
author = {Svyatoslav Covanov},
journal= {arXiv preprint arXiv:1705.07728},
year = {2018}
}