Herman

Apple ML 研究：函数性质与分布性质在验证上的区别

Apple Machine Learning Research 发表了一篇论文，详细阐述了函数的位置不变性与分布性质之间的区别。研究强调，尽管这两种性质的测试可能密切相关，但它们的验证过程却存在显著差异。该论文为几种位置不变的函数性质引入了双亚线性交互式证明（IPP），证明了验证的复杂性可能远低于测试。这与分布性质形成对比，后者已被证明缺乏类似的双高效 IPP。