Dyn-FO: A Parallel, Dynamic Complexity Class

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 i...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of computer and system sciences Jg. 55; H. 2; S. 199 - 209
Hauptverfasser:	Patnaik, Sushant, Immerman, Neil
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.10.1997
ISSN:	0022-0000, 1090-2724
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!