Sliding Window Property Testing for Regular Languages - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Sliding Window Property Testing for Regular Languages

Moses Ganardi
  • Fonction : Auteur
  • PersonId : 1216478
Danny Hucke
  • Fonction : Auteur
  • PersonId : 1216479
Markus Lohrey
  • Fonction : Auteur
  • PersonId : 1216480

Résumé

We study the problem of recognizing regular languages in a variant of the streaming model of computation, called the sliding window model. In this model, we are given a size of the sliding window n and a stream of symbols. At each time instant, we must decide whether the suffix of length n of the current stream ("the active window") belongs to a given regular language. Recent works [14, 15] showed that the space complexity of an optimal deterministic sliding window algorithm for this problem is either constant, logarithmic or linear in the window size n and provided natural language theoretic characterizations of the space complexity classes. Subsequently, [16] extended this result to randomized algorithms to show that any such algorithm admits either constant, double logarithmic, logarithmic or linear space complexity. In this work, we make an important step forward and combine the sliding window model with the property testing setting, which results in ultra-efficient algorithms for all regular languages. Informally, a sliding window property tester must accept the active window if it belongs to the language and reject it if it is far from the language. We show that for every regular language, there is a deterministic sliding window property tester that uses logarithmic space and a randomized sliding window property tester with two-sided error that uses constant space.
Fichier principal
Vignette du fichier
LIPIcs-ISAAC-2019-6.pdf (462.45 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03942948 , version 1 (17-01-2023)

Identifiants

Citer

Moses Ganardi, Danny Hucke, Markus Lohrey, Tatiana Starikovskaya. Sliding Window Property Testing for Regular Languages. 30th International Symposium on Algorithms and Computation (ISAAC 2019), 2019, ShangHai, China. ⟨10.4230/LIPIcs.ISAAC.2019.6⟩. ⟨hal-03942948⟩
3 Consultations
86 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More