+612 9045 4394
 
CHECKOUT
Modified Branching Programs and Their Computational Power : Lecture Notes in Computer Science - Christoph Meinel

Modified Branching Programs and Their Computational Power

Lecture Notes in Computer Science

Paperback

Published: 12th July 1989
Ships: 5 to 9 business days
5 to 9 business days
$116.16
or 4 easy payments of $29.04 with Learn more

Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for evaluating certain elementary Boolean functions and are suited for characterizing space-bounded complexity classes. By means of these characterizations the author demonstrates the separation of some restricted complexity classes. In the appendix a number of extremely restricted graph-accessibility problems are given, which are, due to the branching program descriptions in chapters 1-3, p-projection complete in the classes under consideration.

Preliminaries.- Branching programs and their computational power.- Nondeterministic branching programs.- ?=branching programs and theirs computational power.

ISBN: 9783540513407
ISBN-10: 354051340X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 132
Published: 12th July 1989
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 0.79
Weight (kg): 0.21