领先不变因子的块维登曼概率分析
摘要：计算区块Wiedemann算法正确计算主导不变因子的概率，这导致了一个紧密的概率下界，与结构无关。我们使用比$r$稍大的区块尺寸来展示，在任何域上，主导的$r$个不变因子被正确计算的概率很高。此外，我们提供了一个算法，用于计算给定矩阵大小的概率界，并选择所需的区块尺寸以获得所需的概率。通过结合关于不变因子的部分信息，事后改进了最坏情况的概率界。
作者：Gavin Harrison, Jeremy Johnson, B. David Saunders
论文ID：1803.03864
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-03-13