AC0

Schemat obwodu logicznego AC0 : n bitów wejściowych znajduje się na dole, a górna bramka wytwarza wyjście; obwód składa się z bramek AND i OR z wielomianowym stopniem wejścia w każdej, a głębokość układu jest ograniczona stałą.

AC 0 jest klasą złożoności stosowaną w złożoności obliczeniowej obwodów logicznych. Jest to najmniejsza klasa w hierarchii AC i składa się ze wszystkich rodzin obwodów o głębokości O(1) i wielkości wielomianowej, z nieograniczonym stopniem wejścia bramek AND i bramek OR (dopuszczamy bramki NIE tylko na wejściach)[1]. W ten sposób zawiera NC0, który ma tylko ograniczony stopień wejścia bramek AND i OR.

Przykładowe problemy

Dodawanie i odejmowanie liczb całkowitych jest obliczalne w AC0[2], ale mnożenie nie jest (przynajmniej nie w zapisie binarnym i dziesiętnym).

Przypisy

  1. BoazB. Barak BoazB., Computational complexity : a modern approach, Cambridge: Cambridge University Press, 2009, ISBN 978-0-521-42426-4, OCLC 286431654 [dostęp 2020-02-02] .
  2. http://people.clarkson.edu/~alexis/PCMI/Notes/lectureB02.pdf
  • p
  • d
  • e
Uważane za wykonalne
  • DLOGTIME
  • AC0
  • ACC0
  • TC0
  • L
  • SL
  • RL
  • NL
  • NC
  • SC
  • CC
  • P (P-zupełność)
  • ZPP
  • RP
  • BPP
  • BQP
  • APX
Podejrzewane o niewykonalność
  • UP
  • NP
  • AM
  • QMA
  • PH
  • ⊕P
  • PP
  • #P (#P-zupełność)
  • IP
  • PSPACE
  • (PSPACE-zupełność)
Uważane za niewykonalne
  • EXPTIME
  • NEXPTIME
  • EXPSPACE
  • ELEMENTARY
  • PR
  • R
  • RE
  • ALL
Hierarchie klas
  • Hierarchia wielomianowa
  • Hierarchia wykładnicza
  • Hierarchia Grzegorczyka
  • Hierarchia arytmetyczna
  • Hierarchia Boole'owska
Rodziny klas
  • DTIME
  • NTIME
  • DSPACE
  • NSPACE
  • Dowód weryfikowalny probabilistycznie
  • Interaktywny system dowodowy