← All problems
Unverified

Classes of languages with objective-independent memory

We start from the following fact: Given a two-player game arena GG labelled with an alphabet Σ\Sigma, and an objective W⊆ΣωW \subseteq \Sigma^\omega for Player 1, if WW is closed by subwords then if Player 1 has a winning strategy, she has one using memory ≤∣G∣!\leq |G|!. The remarkable thing is that this memory does not depend on WW, just on GG. We say that a class of languages C\mathcal{C} has the objective-independent memory property\textit{objective-independent memory property} if there is a function ff such that for all arena GG and W∈CW \in C, if Player 1 has a winning strategy for WW in GG then she has one using memory ≤f(∣G∣)\leq f(|G|). This property is useful in distributed synthesis. As we saw above, the class of subword-closed languages has this property, with ff the factorial function. The problem is to characterise classes of languages with this property, or at least identify some non-trivial examples. A first step could be to show that for all kk, the class CkC_k of languages recognised by automata with SCCs of size at most kk has this property, and identify some classes that have that property but are not subsumed by some CkC_k.

Coming soon

Organizer

Boyuan Wang portraitBoyuan Wang
Minghan Wang portraitMinghan Wang
Bochao Li portraitBochao Li
Hongwei Hu portraitHongwei Hu