RUS  ENG
Full version
JOURNALS // Problemy Peredachi Informatsii // Archive

Probl. Peredachi Inf., 2013 Volume 49, Issue 3, Pages 86–104 (Mi ppi2117)

This article is cited 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.

UDC: 621.391.1+519.7

Received: 13.07.2012
Revised: 24.12.2012


 English version:
Problems of Information Transmission, 2013, 49:3, 276–291

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024