Vés al contingut

ELEMENTARY

De la Viquipèdia, l'enciclopèdia lliure

En teoria de la complexitat, la classe de complexitat ELEMENTARY de les funcions recursives primitives és la unió de les classes[1]

El nom va ser proposat per László Kalmár, en el context de funcions recursives i indecibilitat. Alguns problemes recursius cauen fora de la classe ELEMENTARY i per tant son dins de NO-ELEMENTARY. Particularment, hi ha problemes a les classes associades a la recursió primitiva que no està a ELEMENTARY.

Se sap que[2]

LOWER-ELEMENTARY ⊊ EXPTIME ⊊ ELEMENTARY ⊊ PRR

Referències

[modifica]
  1. E., Rose, H.. Subrecursion : functions and hierarchies. Oxford [Oxfordshire]: Clarendon Press, 1984. ISBN 0198531893. 
  2. «Complexity Zoo:E - Complexity Zoo» (en anglès). Arxivat de l'original el 2016-08-27. [Consulta: 30 novembre 2018].