Contacts
doyen+sem [at] lsv.ens-cachan.fr (Laurent Doyen)
goeller+sem [at] lsv.ens-cachan.fr (Stefan Goeller)

Querying regular languages over sliding-windows

Markus Lohrey, University of Siegen, Germany, will give a lecture about "Querying regular languages over sliding-windows", tuesday 24th july.
Ajouter à mon agenda 2024-03-29 09:22:20 2024-03-29 09:22:20 Querying regular languages over sliding-windows Markus Lohrey, University of Siegen, Germany, will give a lecture about "Querying regular languages over sliding-windows", tuesday 24th july. Pavillon des jardins, Conference room ENS-PARIS-SACLAY webmaster@ens-paris-saclay.fr Europe/Paris public

Sliding-window streaming algorithms get as input a stream of data values and have to answer queries about the last n values for a certain window size n.

In the talk we consider queries that are given by regular languages. More precisely, we consider the so-called sliding window word problem for a language L: Given a data stream of symbols a_1 a_2 a_3 ..., answer at every time instant t, whether a_{t-n+1} ... a_t belongs to L.

Space complexity of the sliding window

We are mainly interested in the space complexity of this problem measured in the window length n. For regular languages, we prove that the space complexity of the sliding window word problem is either constant, logarithmic, or linear.

Moreover, for the constant and logarithmic space classes we provide very natural characterizations: For every regular language L the sliding window word problem can be solved in (i) constant space if and only if L is a boolean combination of regular length languages and suffix-testable languages and in (ii) logarithmic space if and only if L is a boolean combination of regular length languages and regular left ideals.

If we allow randomized streaming algorithms with a two-sided error, then the above space trichotomy becomes a space quatrochotomy: for every regular languages, the space complexity of the sliding window word problem is either constant, doubly logarithmic, logarithmic, or linear.