Abstract

We define the sharply bounded hierarchy, SBH(QL)}, a hierarchy of classes within P , using quasilinear-time computation and quantification over strings of length log n . It generalizes the limited nondeterminism hierarchy introduced by Buss and Goldsmith, while retaining the invariance properties. The new hierarchy has several alternative characterizations.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call