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

Full description

Saved in:
Bibliographic Details
Published in:SIAM journal on computing Vol. 21; no. 4; pp. 655 - 670
Main Author: Venkateswaran, H.
Format: Journal Article
Language:English
Published: Philadelphia, PA Society for Industrial and Applied Mathematics 01.08.1992
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0097-5397
1095-7111
DOI:10.1137/0221040