• Deutsch
    • English
  • English 
    • Deutsch
    • English
  • Login
Item View 
  •   Home
  • Naturwissenschaften, Mathematik und Informatik
  • Fakultät für Mathematik und Informatik (inkl. GAUSS)
  • Item View
  •   Home
  • Naturwissenschaften, Mathematik und Informatik
  • Fakultät für Mathematik und Informatik (inkl. GAUSS)
  • Item View
JavaScript is disabled for your browser. Some features of this site may not work without it.

On Lower Bounds for Parity Branching Programs

On Lower Bounds for Parity Branching Programs

by Matthias Homeister
Doctoral thesis
Date of Examination:2003-10-15
Date of issue:2003-12-18
Advisor:Prof. Dr. Stephan Waack
Referee:Prof. Dr. Stephan Waack
Referee:PD Dr. Carsten Damm
crossref-logoPersistent Address: http://dx.doi.org/10.53846/goediss-2524

 

 

Files in this item

Name:homeister.pdf
Size:484.Kb
Format:PDF
Description:Dissertation
ViewOpen

The following license files are associated with this item:


Abstract

English

This thesis concerns the complexity of parity branching programs with limitations on the way in which variables may be read.Interest in such branching programs has been raised by a popular method for verifying hardware circuits. Oblivious read-once branching programs (or OBDDs). Recently, Parity OBDDs have been studied intensively and have been found very useful in this application, too.Thus, one is interested in lower bounds for restricted parity branching programs. While exponential lower bounds for deterministic as well as nondeterministic read-once branching programs are known for a long time, superpolynomial lower bounds for parity read-once branching programs are still a challenge.In this thesis three different restricted variants of parity read-once branching programs are under consideration, well-structured graph-driven parity branching programs, general graph-driven parity branching programs and sums of graph-driven parity branching programs. We present superpolynomial lower bounds for these models and natural functions, for instance, for linear codes and permutation matrices. These lower bounds are the most general ones known in this area. In addition, algorithmic properties of the considered models are discussed.
Keywords: branching programs; lower bounds

Other Languages

Diese Arbeit beschaeftigt sich mit der Komplexität von parity Branching Programmen. Es werden superpolynomiale untere Schranken für verschiedene Varianten bewiesen, nämlich für well-structured graph-driven parity branching programs, general graph-driven parity branching programs und Summen von graph-driven parity branching programs.
Schlagwörter: Verzweigungsdiagramme; untere Schranken; 004 Informatik
 

Statistik

Publish here

Browse

All of eDissFaculties & ProgramsIssue DateAuthorAdvisor & RefereeAdvisorRefereeTitlesTypeThis FacultyIssue DateAuthorAdvisor & RefereeAdvisorRefereeTitlesType

Help & Info

Publishing on eDissPDF GuideTerms of ContractFAQ

Contact Us | Impressum | Cookie Consents | Data Protection Information
eDiss Office - SUB Göttingen (Central Library)
Platz der Göttinger Sieben 1
Mo - Fr 10:00 – 12:00 h


Tel.: +49 (0)551 39-27809 (general inquiries)
Tel.: +49 (0)551 39-28655 (open access/parallel publications)
ediss_AT_sub.uni-goettingen.de
[Please replace "_AT_" with the "@" sign when using our email adresses.]
Göttingen State and University Library | Göttingen University
Medicine Library (Doctoral candidates of medicine only)
Robert-Koch-Str. 40
Mon – Fri 8:00 – 24:00 h
Sat - Sun 8:00 – 22:00 h
Holidays 10:00 – 20:00 h
Tel.: +49 551 39-8395 (general inquiries)
Tel.: +49 (0)551 39-28655 (open access/parallel publications)
bbmed_AT_sub.uni-goettingen.de
[Please replace "_AT_" with the "@" sign when using our email adresses.]