𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On time hierarchies

✍ Scribed by W.J. Paul


Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
386 KB
Volume
19
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On average time hierarchies
✍ Mikael Goldmann; Per Grape; Johan HΓ₯stad πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 531 KB
Tighter constant-factor time hierarchies
✍ Amir M. Ben-Amram πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 89 KB

For certain computational models, a constant-factor time hierarchy theorem is known, showing that a constant-factor difference in time bounds makes a difference in problem-solving power (unlike the situation with Turing machines). In this paper we apply the classic "translational technique" (padding

The Analytic Polynomial-Time Hierarchy
✍ Herbert Baier; Klaus W. Wagner πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 863 KB

Motivated by results on interactive proof systems we investigate an 3-V-hierarchy over P using word quantifiers as well as two types of set quantifiers. This hierarchy, which extends the (arithmetic) polynomial-time hierarchy, is called the analytic polynomial-time hierarchy. It is shown that every

A Turing machine time hierarchy
✍ Stanislav Ε½Γ‘k πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 727 KB