Taula de continguts
6 les relacions: Classe de complexitat, Complexitat computacional, DSPACE (Complexitat), Funció polilogarítmica, Màquina de Turing, Problema de decisió.
Classe de complexitat
En teoria de complexitat, una classe de complexitat és un conjunt de problemes de decisió de complexitat relacionada.
Veure PolyL (Complexitat) і Classe de complexitat
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 PolyL (Complexitat) і Complexitat computacional
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 PolyL (Complexitat) і DSPACE (Complexitat)
Funció polilogarítmica
Una funció polilogarítmica en n és un polinomi amb el logaritme de n,Totes les funcions polilogarítmiques dn son per tot exponent ε > 0 (fent servir notació de la o petita), és a dir, qualsevol funció polilogarítmica creix molt més lentament que qualsevol exponent positiu.
Veure PolyL (Complexitat) і Funció polilogarítmica
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 PolyL (Complexitat) і Màquina de Turing
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.