A subsequence of a word w is a word u such that \(u = w[i_1] w[i_2] \cdots w[i_k]\) , for some set of indices \(1 \le i_1 < i_2 < \dots < i_k \le \vert w \vert \) . A word w is k-subsequence universal over an alphabet \(\varSigma \) if every word over \(\varSigma \) up to length k appears in w as a subsequence. In this paper, we revisit the problem k-ESU of deciding, for a given integer k, whether a regular language, given either as nondeterministic finite automaton or as a regular expression, contains a k-universal word. [Adamson et al., ISAAC 2023] showed that this problem is NP-hard, even in the case when \(k=1\) , and an FPT algorithm w.r.t. the size of the input alphabet was given. In this paper, we improve the aforementioned algorithmic result and complete the analysis of this problem w.r.t. other parameters. That is, we propose a more efficient FPT algorithm for k-ESU, with respect to the size of the input alphabet, and propose new FPT algorithms for this problem w.r.t. the number of states of the input automaton and the length of the input regular expression. We also discuss corresponding lower bounds. Our results significantly improve the understanding of this problem.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

k-Universality of Regular Languages Revisited

  • Duncan Adamson,
  • Pamela Fleischmann,
  • Annika Huch,
  • Tore Koß,
  • Florin Manea

摘要

A subsequence of a word w is a word u such that \(u = w[i_1] w[i_2] \cdots w[i_k]\) , for some set of indices \(1 \le i_1 < i_2 < \dots < i_k \le \vert w \vert \) . A word w is k-subsequence universal over an alphabet \(\varSigma \) if every word over \(\varSigma \) up to length k appears in w as a subsequence. In this paper, we revisit the problem k-ESU of deciding, for a given integer k, whether a regular language, given either as nondeterministic finite automaton or as a regular expression, contains a k-universal word. [Adamson et al., ISAAC 2023] showed that this problem is NP-hard, even in the case when \(k=1\) , and an FPT algorithm w.r.t. the size of the input alphabet was given. In this paper, we improve the aforementioned algorithmic result and complete the analysis of this problem w.r.t. other parameters. That is, we propose a more efficient FPT algorithm for k-ESU, with respect to the size of the input alphabet, and propose new FPT algorithms for this problem w.r.t. the number of states of the input automaton and the length of the input regular expression. We also discuss corresponding lower bounds. Our results significantly improve the understanding of this problem.