Taula de continguts
19 les relacions: Algorisme probabilístic, Cambridge University Press, Classe de complexitat, Funció lineal, Jerarquia aritmètica, Jerarquia polinòmica, Llenguatge formal, Màquina de Turing, Màquina de Turing probabilística, NEXPTIME, NP (Complexitat), NTIME (Complexitat), P (complexitat), P versus NP, Problema de decisió, RP (Complexitat), Sistema de demostració interactiu, Temps polinòmic, Teoria de la complexitat computacional.
Algorisme probabilístic
Un algorisme probabilista (o probabilístic) és un algorisme que basa el seu resultat en la presa d'algunes decisions a l'atzar, de tal manera que, de mitjana, obté una bona solució al problema plantejat per a qualsevol distribució de les dades d'entrada.
Veure Demostració provable per probabilitat і Algorisme probabilístic
Cambridge University Press
Cambridge University Press és l'editorial de la Universitat de Cambridge, considerada la més antiga del món encara activa (va ser fundada el 1534) i sense interrupcions.
Veure Demostració provable per probabilitat і Cambridge University Press
Classe de complexitat
En teoria de complexitat, una classe de complexitat és un conjunt de problemes de decisió de complexitat relacionada.
Veure Demostració provable per probabilitat і Classe de complexitat
Funció lineal
Tres funcions geomètriques lineals — la vermella i la blava tenen el mateix pendent (''m''), la vermella i la verda tenen la mateix punt de tall amb l'eix y (''b''). En les matemàtiques, el terme funció lineal pot referir-se a dos conceptes diferents.
Veure Demostració provable per probabilitat і Funció lineal
Jerarquia aritmètica
En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus d'elements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen.
Veure Demostració provable per probabilitat і Jerarquia aritmètica
Jerarquia polinòmica
En teoria de la complexitat, la jerarquia polinòmica (de vegades dita jerarquia de temps polinòmic) és una jerarquia de classes de complexitat que generalitza les classes P, NP i co-NP a màquines oracle.
Veure Demostració provable per probabilitat і Jerarquia polinòmica
Llenguatge formal
teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats.
Veure Demostració provable per probabilitat і Llenguatge formal
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 Demostració provable per probabilitat і Màquina de Turing
Màquina de Turing probabilística
En teoria de la complexitat, s'utilitzen Màquines de Turing probabilística per definir diferents classes de complexitat.
Veure Demostració provable per probabilitat і Màquina de Turing probabilística
NEXPTIME
En teoria de la complexitat, la classe de complexitat NEXPTIME és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing no determinista en espai O (2p(n)), on p(n) és una funció polinomial sobre n. En termes de NTIME es té També es pot definir NEXPTIME usant màquines de Turing deterministes com a verificadors.
Veure Demostració provable per probabilitat і NEXPTIME
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 Demostració provable per probabilitat і NP (Complexitat)
NTIME (Complexitat)
En teoria de la complexitat, la classe de complexitat NTIME(f(n)) és la classe dels problemes de decisió que es poden resoldre per una màquina de Turing no determinista en un temps O(f(n)), on O és la notació de O gran, f és una funció qualsevol i n és la mida de l'entrada.
Veure Demostració provable per probabilitat і NTIME (Complexitat)
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 Demostració provable per probabilitat і P (complexitat)
P versus NP
Diagrama de classes de complexitat suposant que '''P''' ≠ '''NP'''. Si '''P'''.
Veure Demostració provable per probabilitat і P versus NP
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 Demostració provable per probabilitat і Problema de decisió
RP (Complexitat)
En teoria de la complexitat, la classe de complexitat RP (Randomized polynomial time) és el conjunt dels problemes de decisió tals que una màquina de Turing probabilística existeix amb aquestes propietats.
Veure Demostració provable per probabilitat і RP (Complexitat)
Sistema de demostració interactiu
En teoria de la complexitat, un sistema de demostració interactiu és una màquina abstracta que modela la computació com un intercanvi de missatges entre dues parts.
Veure Demostració provable per probabilitat і Sistema de demostració interactiu
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 Demostració provable per probabilitat і Temps polinòmic
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 Demostració provable per probabilitat і Teoria de la complexitat computacional