测试动态环境:回归基础
数据结构与算法
2021-05-05 v2
摘要
我们延续 Goldreich 与 Ron (Journal of the ACM, 2017) 开创的关于测试动态环境的研究脉络,并主张对基本动态环境与局部规则的测试复杂度进行系统研究。作为第一步,本文聚焦于对应于按阈值规则演化的基本元胞自动机的动态环境。我们的主要成果是识别出一组关于局部规则的条件,以及一种用于测试满足这些条件的局部规则演化的元算法。该元算法具有 poly 的查询复杂度,是非自适应的且具单侧错误。我们证明所有阈值规则均满足该组条件,因此都是 poly 可测试的。我们认为这是一个丰富的研究领域,并提出了多种可能扩展和推广我们结果的开放问题与自然研究方向。
引用
@article{arxiv.2105.00759,
title = {Testing Dynamic Environments: Back to Basics},
author = {Yonatan Nakar and Dana Ron},
journal= {arXiv preprint arXiv:2105.00759},
year = {2021}
}