应用Freivalds技术验证矩阵乘法的简化证明
数据结构与算法
2010-03-17 v2 离散数学
摘要
指纹技术是一种众所周知的技术,常用于设计用于验证涉及矩阵、整数和多项式恒等式的蒙特卡洛算法。Motwani和Raghavan的著作[1]展示了如何应用该技术来检查矩阵乘法的正确性——检查AB = C,其中A、B和C是三个n×n矩阵。结果是一个运行时间为的蒙特卡洛算法,每次独立迭代后错误概率呈指数级下降。本文针对同一问题给出了一个简单的替代证明。我们还给出了进一步的推广,并放宽了证明中做出的各种假设。
引用
@article{arxiv.0912.3925,
title = {A Simplified Proof For The Application Of Freivalds' Technique to Verify Matrix Multiplication},
author = {Vamsi K. Kundeti},
journal= {arXiv preprint arXiv:0912.3925},
year = {2010}
}