English

Decision trees for binary subword-closed languages

Formal Languages and Automata Theory 2023-03-22 v1 Computational Complexity

Abstract

In this paper, we study arbitrary subword-closed languages over the alphabet {0,1}\{0,1\} (binary subword-closed languages). For the set of words L(n)L(n) of the length nn belonging to a binary subword-closed language LL, we investigate the depth of decision trees solving the recognition and the membership problems deterministically and nondeterministically. In the case of recognition problem, for a given word from L(n)L(n), we should recognize it using queries each of which, for some i{1,,n}i\in \{1,\ldots ,n\}, returns the iith letter of the word. In the case of membership problem, for a given word over the alphabet {0,1}\{0,1\} of the length nn, we should recognize if it belongs to the set L(n)L(n) using the same queries. With the growth of nn, the minimum depth of decision trees solving the problem of recognition deterministically is either bounded from above by a constant, or grows as a logarithm, or linearly. For other types of trees and problems (decision trees solving the problem of recognition nondeterministically, and decision trees solving the membership problem deterministically and nondeterministically), with the growth of nn, the minimum depth of decision trees is either bounded from above by a constant or grows linearly. We study joint behavior of minimum depths of the considered four types of decision trees and describe five complexity classes of binary subword-closed languages.

Keywords

Cite

@article{arxiv.2201.01493,
  title  = {Decision trees for binary subword-closed languages},
  author = {Mikhail Moshkov},
  journal= {arXiv preprint arXiv:2201.01493},
  year   = {2023}
}
R2 v1 2026-06-24T08:40:37.187Z