块 Wiedemann 算法求解前导不变因子的概率分析
符号计算
2018-03-13 v1
摘要
我们确定了块 Wiedemann 算法正确计算前导不变因子的概率（该概率依赖于矩阵结构），并由此得到了一个与结构无关的概率紧下界。我们证明，使用略大于 的块大小，可在任意域上以高概率正确计算前 个不变因子。此外，我们提供了一种算法来计算给定矩阵大小下的概率界，从而选择获得所需概率所需的块大小。通过结合关于不变因子的部分信息，我们对最坏情况概率界进行了事后改进。
引用
@article{arxiv.1803.03864,
title = {Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors},
author = {Gavin Harrison and Jeremy Johnson and B. David Saunders},
journal= {arXiv preprint arXiv:1803.03864},
year = {2018}
}
备注
17 pages