整数上线性函数的自检验器及其正确性的初等证明
计算复杂性
2015-06-24 v3 数据结构与算法
摘要
我们给出了对表示为n位数的整数有限子集上线性函数进行线性检验和程序检查的算法的正确性的简洁、自包含证明。此外，我们探索了将自检验推广到多维向量空间上的同态。我们证明了单变量情况下的自检验算法可以直接推广到向量空间域。我们的算法所进行的查询次数与域的大小无关。
引用
@article{arxiv.1412.5484,
title = {A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness},
author = {Sheela Devadas and Ronitt Rubinfeld},
journal= {arXiv preprint arXiv:1412.5484},
year = {2015}
}