CLASSES OF BOUNDED NONDETERMINISM

被引:38
作者
DIAZ, J
TORAN, J
机构
[1] Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, 08028
来源
MATHEMATICAL SYSTEMS THEORY | 1990年 / 23卷 / 01期
关键词
D O I
10.1007/BF02090764
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study certain language classes located between P and NP that are defined by polynomial-time machines with a bounded amount of nondeterminism. We observe that these classes have complete problems and find a characterization of the classes using robust machines with bounded access to the oracle, obtaining some other results in this direction. We also study questions related to the existence of complete tally sets in these classes and closure of the classes under different types of polynomial-time reducibilities. © 1990 Springer-Verlag New York Inc.
引用
收藏
页码:21 / 32
页数:12
相关论文
共 24 条
[11]   COMPUTATIONAL COMPLEXITY OF PROBABILISTIC TURING MACHINES [J].
GILL, J .
SIAM JOURNAL ON COMPUTING, 1977, 6 (04) :675-695
[12]  
HARTMANIS J, 1987, 2ND P STRUCT COMPL T, P160
[13]  
HARTMANIS J, 1986, 13TH ICALP, P123
[14]  
HEMACHANDRA L, 1989, IN PRESS P IFIP
[15]  
Jones N. D., 1976, Theoretical Computer Science, V3, P105, DOI 10.1016/0304-3975(76)90068-2
[16]   ON HELPING BY ROBUST ORACLE MACHINES [J].
KO, KI .
THEORETICAL COMPUTER SCIENCE, 1987, 52 (1-2) :15-36
[17]  
KOBLER J, 1989, 4TH P STRUCT COMPL T, P208
[18]   STRUCTURE OF POLYNOMIAL TIME REDUCIBILITY [J].
LADNER, RE .
JOURNAL OF THE ACM, 1975, 22 (01) :155-171
[19]  
MAHANEY S, 1980, P IEEE S F COMP SCI, P54
[20]   ROBUST ALGORITHMS - A DIFFERENT APPROACH TO ORACLES [J].
SCHONING, U .
THEORETICAL COMPUTER SCIENCE, 1985, 40 (01) :57-66