← All problems
Unverified

Satisfiability of String Constraints with Subsequence relation

By ≤\le we denote the (scattered) subsequence relation between words. Example: aba≤baabbabbbaba \le baabbabbb. Fix a finite alphabet AA. Let XX be a set of string variables. A subsequence constraint is an expression of the form x≤αx \le \alpha where x∈Xx \in X and α∈X∗\alpha \in X^*. A homomorphism h:X∗→A∗h: X^\ast \to A^* satisfies a subsequence constraint x≤αx \le \alpha if h(x)≤h(α)h(x) \le h(\alpha). A domain restriction constraint d:X→RE(A)d: X \to RE(A) restricts the domain of possible values for a variable xx to the regular language given by the regular expression d(e)d(e). We are interested in the decidability of the following problem: Input: A set CC of subsequence constraints and a domain restriction dd. Question:Is there a homomorphism hh that respects the domain restriction dd and satisfies every subsequence constraint in CC?

Coming soon

Organizer

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