Get Free Shipping on orders over $79
Lecture Notes in Computer Science : Lecture Notes in Computer Science - Christoph Meinel

Lecture Notes in Computer Science

By: Christoph Meinel

Paperback | 12 July 1989

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Discrete Mathematics

Discrete Mathematics with Applications, Metric Edition : 5th edition - Susanna S. Epp
Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$129.75

13%
OFF
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Parabolic Problems : 60 Years of Mathematical Puzzles in Parabola - David  Angell
Discrete Mathematics and Its Applications : 2025 Release ISE - Kenneth H. Rosen
Axiomatic Set Theory : An Introduction - George Tourlakis