获取独家产品信息,尽享促销优惠!立即订阅,不容错过
* 限···时··优惠
Location-Invariant Properties of Functions Versus Properties of Distributions: United in Testing but Separated in Verification
如果函数的属性可以用函数中每个值出现的频率来表征,而不管每个值出现的位置如何,则该属性称为位置不变(或对称)。众所周知,测试函数位置不变属性的(查询)复杂性与测试相应分布(的相应属性)的(样本)复杂性密切相关。当前工作的主要信息是,这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立