Erschienen: 12.07.1989 Abbildung von Meinel | Modified Branching Programs and Their Computational Power | 1989

Meinel

Modified Branching Programs and Their Computational Power

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1989. Buch. vI, 132 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-51340-7

Format (B x L): 15,5 x 23,5 cm

Gewicht: 470 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 370

Produktbeschreibung

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.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...