Circuit Definitions of Nondeterministic Complexity Classes

This paper considers restrictions on Boolean circuits and uses them to obtain new uniform circuit characterizations of nondeterministic space and time classes. It also obtains characterizations of counting classes based on nondeterministic time bounded computations on the arithmetic circuit model. I...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SIAM journal on computing Jg. 21; H. 4; S. 655 - 670
1. Verfasser: Venkateswaran, H.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Philadelphia, PA Society for Industrial and Applied Mathematics 01.08.1992
Schlagworte:
Applied sciences
Arithmetic
Boolean
Boolean algebra
Circuits
Codes
Complexity
Complexity theory
Computer science
Constrictions
Exact sciences and technology
Flows in networks. Combinatorial problems
Language
Mathematics
Operational research and scientific management
Operational research. Management science
Complexity class
Arithmetic circuit
Combinatorics
Boolean circuit
Turing machine
ISSN:0097-5397, 1095-7111
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper considers restrictions on Boolean circuits and uses them to obtain new uniform circuit characterizations of nondeterministic space and time classes. It also obtains characterizations of counting classes based on nondeterministic time bounded computations on the arithmetic circuit model. It is shown how the notion of semi-unboundedness unifies the definitions of many natural complexity classes.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0097-5397
1095-7111
DOI:10.1137/0221040