Decision trees for binary subword-closed languages
Abstract
In this paper, we study arbitrary subword-closed languages over the alphabet (binary subword-closed languages). For the set of words of the length belonging to a binary subword-closed language , 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 , we should recognize it using queries each of which, for some , returns the th letter of the word. In the case of membership problem, for a given word over the alphabet of the length , we should recognize if it belongs to the set using the same queries. With the growth of , 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 , 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.
Cite
@article{arxiv.2201.01493,
title = {Decision trees for binary subword-closed languages},
author = {Mikhail Moshkov},
journal= {arXiv preprint arXiv:2201.01493},
year = {2023}
}