|
Problemy Peredachi Informatsii, 2011, Volume 47, Issue 4, Pages 43–54
(Mi ppi2059)
|
|
|
|
This article is cited in 9 scientific papers (total in 9 papers)
Large Systems
On regular realizability problems
M. N. Vyalyi Dorodnitsyn Computing Centre of the Russian Academy of Sciences
Abstract:
We consider the class of regular realizability problems. Any of such problems is specified by some language (filter) and consists in verifying that the intersection of a given regular language and the filter is nonempty. The main question is diversity of the computational complexity of such problems. We show that any regular realizability problem with an infinite filter is hard for a class of problems decidable in logarithmic space with respect to logarithmic reductions. We give examples of NP-complete and PSPACE-complete regular realizability problems.
Received: 08.02.2011 Revised: 16.06.2011
Citation:
M. N. Vyalyi, “On regular realizability problems”, Probl. Peredachi Inf., 47:4 (2011), 43–54; Problems Inform. Transmission, 47:4 (2011), 342–352
Linking options:
https://www.mathnet.ru/eng/ppi2059 https://www.mathnet.ru/eng/ppi/v47/i4/p43
|
Statistics & downloads: |
Abstract page: | 500 | Full-text PDF : | 99 | References: | 49 | First page: | 10 |
|