Results 1 
2 of
2
DynFO: A Parallel, Dynamic Complexity Class
 Journal of Computer and System Sciences
, 1994
"... Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are defined in terms of the complexity of checking  upon presentation of an entire input  whether the input satisfies a certain property. For many applications of compu ..."
Abstract

Cited by 50 (4 self)
 Add to MetaCart
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are defined in terms of the complexity of checking  upon presentation of an entire input  whether the input satisfies a certain property. For many applications of computers it is more appropriate to model the process as a dynamic one. There is a fairly large object being worked on over a period of time. The object is repeatedly modified by users and computations are performed. We develop a theory of Dynamic Complexity. We study the new complexity class, Dynamic FirstOrder Logic (DynFO). This is the set of properties that can be maintained and queried in firstorder logic, i.e. relational calculus, on a relational database. We show that many interesting properties are in DynFO including multiplication, graph connectivity, bipartiteness, and the computation of minimum spanning trees. Note that none of these problems is in static FO, and this f...
Sharply bounded alternation and quasilinear time
 Theory of Computing Systems
, 1998
"... We de ne the sharply bounded hierarchy, SBH (QL), a hierarchy of classes within P, using quasilineartime computation and quanti cation over strings of length log n. It generalizes the limited nondeterminism hierarchy introduced by Buss and Goldsmith, while retaining the invariance properties. The n ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We de ne the sharply bounded hierarchy, SBH (QL), a hierarchy of classes within P, using quasilineartime computation and quanti cation 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 hasseveral alternative characterizations. We de ne both SBH (QL) and its corresponding hierarchy of function classes, ql and present a variety of problems in these classes, including mcomplete problems for each class in SBH (QL). We discuss the structure of the hierarchy, and show that determining its precise relationship to deterministic time classes can imply P 6 = PSPACE. We present characterizations of SBH (QL) relations based on alternating Turing machines and on rstorder de nability, aswell as recursiontheoretic characterizations of function classes corresponding to SBH (QL).