|
Problemy Peredachi Informatsii, 2013, Volume 49, Issue 3, Pages 86–104
(Mi ppi2117)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Large Systems
On expressive power of regular realizability problems
M. N. Vyalyi Dorodnitsyn Computing Center of the Russian Academy of Sciences, Moscow, Russia
Abstract:
A regular realizability (RR) problem is a problem of testing nonemptiness of intersection of some fixed language (filter) with a regular language. We show that RR problems are universal in the following sense. For any language $L$ there exists an RR problem equivalent to $L$ under disjunctive reductions in nondeterministic log space. From this result, we derive existence of complete problems under polynomial reductions for many complexity classes, including all classes of the polynomial hierarchy.
Received: 13.07.2012 Revised: 24.12.2012
Citation:
M. N. Vyalyi, “On expressive power of regular realizability problems”, Probl. Peredachi Inf., 49:3 (2013), 86–104; Problems Inform. Transmission, 49:3 (2013), 276–291
Linking options:
https://www.mathnet.ru/eng/ppi2117 https://www.mathnet.ru/eng/ppi/v49/i3/p86
|
|