Taula de continguts
20 les relacions: Comparació, DSPACE (Complexitat), EXPTIME, Falsabilitat, Màquina de Turing, Màquina de Turing no determinista, Multiplicació, Nombre real, NP (Complexitat), NP-complet, P (complexitat), Papa Celestí V, Polinomi, Problema de decisió, Suma, Temps polinòmic, Teorema de Savitch, Teoria de la complexitat computacional, Verificació, 1980.
Comparació
La comparació és un recurs literari consistent en posar en relleu les semblances entre dos referents, de manera que es destaquin qualitats no evidents o bé es dugui a terme una descripció més gràfica i clara, com es veu a "És rodó com una pilota".
Veure EXPSPACE і Comparació
DSPACE (Complexitat)
En teoria de la complexitat, la classe de complexitat DSPACE(f(n)) o SPACE(f(n)) és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing determinista en espai O(f(n)) i temps il·limitat.
Veure EXPSPACE і DSPACE (Complexitat)
EXPTIME
En teoria de la complexitat, la classe de complexitat EXPTIME és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing determinista en temps O(2p(n)), on p(n) és una funció polinomial sobre n. En termes de DTIME es té Es coneix que i pel teorema de la jerarquia temporal: de manera que almenys una de les inclusions de la primera línia ha de ser estricta (es creu que totes ho son).
Veure EXPSPACE і EXPTIME
Falsabilitat
La falsabilitat és un principi de la ciència, filosofia de la ciència i epistemologia, enunciat pel filòsof austríac Karl Popper (1902-1994).
Veure EXPSPACE і Falsabilitat
Màquina de Turing
Fotografia d'Alan Turing (1930) La màquina de Turing és un model computacional introduït per Alan Turing en el treball "On computable numbers, with an application to the Entscheidungsproblem", publicat per la Societat Matemàtica de Londres, en el qual s'estudiava la qüestió plantejada per David Hilbert sobre si les matemàtiques són decidibles, és a dir, si hi ha un mètode definit que pugui aplicar-se a qualsevol sentència matemàtica i que resolgui si és certa o no.
Veure EXPSPACE і Màquina de Turing
Màquina de Turing no determinista
En teoria de la computació, una Màquina de Turing no determinista (MTN) és una Màquina de Turing on el seu mecanisme de control treballa com un autòmat finit no determinista.
Veure EXPSPACE і Màquina de Turing no determinista
Multiplicació
Propietat commutativa: 3 × 4.
Veure EXPSPACE і Multiplicació
Nombre real
En matemàtiques, els nombres reals (\R) informalment es poden concebre com els nombres associats a longituds o qualsevol mena de magnitud física que se suposa que és contínua.
Veure EXPSPACE і Nombre real
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 EXPSPACE і 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 EXPSPACE і 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 EXPSPACE і P (complexitat)
Papa Celestí V
Celestí V, de nom de bateig Pietro Angeleri di Murrone, també conegut com a Sant Pere Celestí (Isernia, 1215 - Ferentino, 19 de maig de 1296) va ser Papa de l'Església Catòlica el 1294, monjo i fundador de l'Orde dels Celestins.
Veure EXPSPACE і Papa Celestí V
Polinomi
Un polinomi és una expressió algebraica formada per la suma o resta de diversos monomis no semblants, anomenats termes del polinomi.
Veure EXPSPACE і Polinomi
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 EXPSPACE і Problema de decisió
Suma
La suma o addició és una operació aritmètica bàsica que permet saber la quantitat total d'elements d'un conjunt com a resultat d'ajuntar tots els elements de dos conjunts inicials.
Veure EXPSPACE і Suma
Temps polinòmic
En teoria de complexitat, temps polinòmic es refereix al temps de computació d'un problema on el temps, m(n), no és major que una funció polinòmica de la mida del problema, n. Donada qualsevol màquina abstracta tindrà una classe de complexitat corresponent als problemes que es poden resoldre en temps polinòmic en dita màquina.
Veure EXPSPACE і Temps polinòmic
Teorema de Savitch
En teoria de la complexitat, el Teoremoa de Savitch, provat per Walter Savitch el 1970 dona la relació entre complexitats espacials deterministes i no deterministes.
Veure EXPSPACE і Teorema de Savitch
Teoria de la complexitat computacional
La teoria de la complexitat computacional se centra a classificar problemes computacionals segons el seu ús de recursos i relacionar aquestes classes entre si.
Veure EXPSPACE і Teoria de la complexitat computacional
Verificació
La verificació és l'acció de comprovar a partir d'un criteri determinat que un procés, un experiment, un principi teòric, etc., és prou exacte i veraç.
Veure EXPSPACE і Verificació
1980
1980 (MCMLXXX) fon un any de traspàs del calendari gregorià començat en dimarts.
Veure EXPSPACE і 1980