Separation with the Ruzzo, Simon, and Tompa relativization implies DSPACE(log n)\(\neq NSPACE(\log \,n)\) (Q1094139)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Separation with the Ruzzo, Simon, and Tompa relativization implies DSPACE(log n)\(\neq NSPACE(\log \,n)\) |
scientific article; zbMATH DE number 4024791
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separation with the Ruzzo, Simon, and Tompa relativization implies DSPACE(log n)\(\neq NSPACE(\log \,n)\) |
scientific article; zbMATH DE number 4024791 |
Statements
Separation with the Ruzzo, Simon, and Tompa relativization implies DSPACE(log n)\(\neq NSPACE(\log \,n)\) (English)
0 references
1987
0 references
Let NSPACE(log n)\(<A>\) denote the class of languages accepted by nondeterministic oracle Turing machines that are restricted in the sense of Ruzzo, Simon, and Tompa. We show that it will be hard to find an oracle set A with DSPACE(log n)(A)\(=NSPACE(\log n)<A>\) since this would separate the base classes DSPACE(log n) and NSPACE(log n). This is a contrast to other types of relativizations where separation of the classes with oracle has no influence on the base classes.
0 references
oracle Turing machines
0 references
relativizations
0 references