Taula de continguts
16 les relacions: Complexitat computacional, Composició de funcions, Funció, Funció computable, NC (Complexitat), NL (Complexitat), Nombre irracional, Nombre natural, NP (Complexitat), NP-complet, P (complexitat), Problema de decisió, Problema de la parada, PSPACE, Subconjunt, Teoria de la computabilitat.
Complexitat computacional
La teoria de complexitat computacional és la part de la teoria de la computabilitat que estudia els recursos requerits durant el càlcul per resoldre un problema.
Veure Reducció (complexitat) і Complexitat computacional
Composició de funcions
En matemàtiques, la funció composició és l'aplicació d'una funció al resultat d'una altra.
Veure Reducció (complexitat) і Composició de funcions
Funció
parells ordenats (''x'',''f''(''x'')). En matemàtiques, una funció és la idealització de com una quantitat variable depèn d'una altra quantitat.
Veure Reducció (complexitat) і Funció
Funció computable
Les funcions computables són l'objecte bàsic d'estudi de la teoria de la computabilitat i consisteixen en les funcions que poden ser calculades per una màquina de Turing.
Veure Reducció (complexitat) і Funció computable
NC (Complexitat)
En teoria de la complexitat, la classe de complexitat NC (la Classe d'en Nick o NIck's class) és el conjunt de problemes de decisió que es poden resoldre en un temps polilogarítmic en un computador paral·lel amb un nombre polinòmic de processadors.
Veure Reducció (complexitat) і NC (Complexitat)
NL (Complexitat)
En teoria de la complexitat, la classe de complexitat NL és la classe dels problemes de decisió que es poden resoldre per una màquina de Turing no determinista usant una quantitat logarítmica d'espai.
Veure Reducció (complexitat) і NL (Complexitat)
Nombre irracional
Un nombre irracional és un nombre real que no és racional, és a dir, que no es pot expressar com una fracció \tfrac, a la qual a i b són enters, i b és diferent de 0.
Veure Reducció (complexitat) і Nombre irracional
Nombre natural
Un nombre natural és qualsevol dels nombres 0, 1, 2, 3…, 19, 20, 21..., que es poden utilitzar per a comptar els elements d'un conjunt finit.
Veure Reducció (complexitat) і Nombre natural
NP (Complexitat)
En complexitat computacional, NP és la classe de complexitat que conté els problemes de decisió que es poden resoldre amb una màquina de Turing no determinista usant una quantitat de temps de computació polinòmic, temps polinòmic.
Veure Reducció (complexitat) і NP (Complexitat)
NP-complet
En complexitat computacional, el conjunt de problemes NP-complet, que son els problemes que pertanyen tant a NP com a NP-hard.
Veure Reducció (complexitat) і NP-complet
P (complexitat)
En Teoria de complexitat computacional, P és la classe de complexitat que conté els problemes de decisió que es poden resoldre amb una màquina de Turing determinista usant una quantitat de temps de computació polinòmic (temps polinòmic).
Veure Reducció (complexitat) і P (complexitat)
Problema de decisió
En teoria de la computabilitat i en complexitat computacional, un problema de decisió és una qüestió en algun sistema formal amb una resposta sí o no.
Veure Reducció (complexitat) і Problema de decisió
Problema de la parada
En teoria de la computabilitat el problema de la parada és un problema de decisió que es pot formular de forma informal: Alan Turing va provar el 1936 que un algorisme general per resoldre el problema de la parada per totes les possibles parelles programa-entrades no pot existir.
Veure Reducció (complexitat) і Problema de la parada
PSPACE
En teoria de la complexitat, la classe de complexitat PSPACE és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing usant un espai polinòmic.
Veure Reducció (complexitat) і PSPACE
Subconjunt
Exemple gràfic, A⊆B. Un subconjunt és un conjunt format per elements d'un altre conjunt.
Veure Reducció (complexitat) і Subconjunt
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.