Ω-branching programs of bounded width

  • Christoph Meinel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 440)


We investigate the question whether equipping some of the nodes of a width-bounded branching program with devices for evaluating Boolean functions does increase its computational power. In contrast to the situation for unbounded width branching programs, in the bounded width case we have to negate this question generalizing a result of Barrington.


Boolean Function Computational Power Turing Machine Boolean Variable Computation Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Barrington, D.A.: Bounded-width polynomial size branching programs recognize exactly those languages in in NC1. In: Proc. of 18th ACM STOC, 1986, pp. 1–5. (the journal version will appear in JACM).Google Scholar
  2. [2]
    Damm, C.— Meinel, Ch.: Separating complexity classes related to polynomial size Ω-decision trees completely. Proc. of FCT'89, Szeged, LNCS 380, 127–136.Google Scholar
  3. [3]
    Krause,M.— Meinel,Ch.— Waack,S.: Separating the eraser Turing machine classes ℒe, NL e, co-NL e and P e. Proc. MFCS'88, Karlovy Vary, LNCS 324, pp. 405–413.Google Scholar
  4. [4]
    Krause,M.— Meinel,Ch.— Waack,S.: Separating complexity classes related to certain input oblivious logarithmic space-bounded Turing machines. Proc. of 4. Structure in Complexity Theory, Eugene, IEEE Computer Press, 240–249, 1989.Google Scholar
  5. [5]
    Meinel,Ch.: p-projection reducibility and the complexity classes L(nonuniform) and NL(nonuniform). In: Proc. of MFCS'86, LNCS 233, pp. 527–535. (the journal version can be found in: EIK 23 (1987), No. 10/11, 545–558.)Google Scholar
  6. [6]
    Meinel,Ch.: The power of polynomial size Ω-branching programs. In: Proc. of STACS'88, Bordeaux, LNCS 294, pp. 81–90. (the journal version will appear in Information and Computation.)Google Scholar
  7. [7]
    Pudlak,P.— Žak,S.: Space complexity of computations, Preprint Univ. of Prague, 1983.Google Scholar
  8. [8]
    Savage, J.E.: The complexity of computing, Wiley, New York, 1976.Google Scholar
  9. [9]
    Wegener, I.: On the complexity of branching programs and decision trees for clique functions. In: JACM Vol. 35, No. 2 (1988), pp. 461–471.CrossRefGoogle Scholar
  10. [10]
    Wegener, I.: The Complexity of Boolean functions, Wiley-Teubner, Stuttgart, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Christoph Meinel
    • 1
  1. 1.Sektion MathematikHumboldt-Universitat BerlinBerlin

Personalised recommendations