详细内容或原文请订阅后点击阅览
双次线性交互式邻近证明
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
来源:Apple机器学习研究我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者接受远离属性的输入。这样的证明系统可用于证明（并验证）有关大型输入对象的属性的声明，即使证明者无法读取整个对象（并且验证者受到更多限制）。我们为任何可以由恒定宽度只读一次不经意分支程序（ROOBP）决定的属性构建了这样一个证明系统。我们还构建了证明系统，用于近似验证输入的汉明权重，并放松有界度图模型中的二分性。