@inproceedings{7ef061f65b2c48a68ac994b86a78e0f5,
title = "Testing dynamic environments: Back to basics",
abstract = "We continue the line of work initiated by Goldreich and Ron (Journal of the ACM, 2017) on testing dynamic environments and propose to pursue a systematic study of the complexity of testing basic dynamic environments and local rules. As a first step, in this work we focus on dynamic environments that correspond to elementary cellular automata that evolve according to threshold rules. Our main result is the identification of a set of conditions on local rules, and a meta-algorithm that tests evolution according to local rules that satisfy the conditions. The meta-algorithm has query complexity poly(1/∈), is non-adaptive and has one-sided error. We show that all the threshold rules satisfy the set of conditions, and therefore are poly(1/∈)-testable. We believe that this is a rich area of research and suggest a variety of open problems and natural research directions that may extend and expand our results.",
keywords = "Property testing",
author = "Yonatan Nakar and Dana Ron",
note = "Publisher Copyright: {\textcopyright} 2021 Yonatan Nakar and Dana Ron.; 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021 ; Conference date: 12-07-2021 Through 16-07-2021",
year = "2021",
month = jul,
day = "1",
doi = "https://doi.org/10.4230/LIPIcs.ICALP.2021.98",
language = "الإنجليزيّة",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
editor = "Nikhil Bansal and Emanuela Merelli and James Worrell",
booktitle = "48th International Colloquium on Automata, Languages, and Programming, ICALP 2021",
}