Accés més ràpid que el navegador!
11 les relacions: Classe de complexitat, Complexitat computacional, Isomorfisme de grafs, Lògica proposicional, Màquina de Turing, Màquina de Turing no determinista, Nombre compost, Problema de decisió, Problema de satisfacibilitat booleana, Problema del viatjant de comerç, Temps polinòmic.
Classe de complexitat
En teoria de complexitat, una classe de complexitat és un conjunt de problemes de decisió de complexitat relacionada.
Nou!!: NP (Complexitat) і Classe de complexitat · Veure més »
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.
Nou!!: NP (Complexitat) і Complexitat computacional · Veure més »
Isomorfisme de grafs
En teoria de grafs, un isomorfisme de graf és una funció f bijectiva entre els vèrtexs de dos grafs G i H. amb la propietat de què qualsevol dos vèrtex u i v de G són adjacents si i només si f(u) i f(v) són adjacents en H. Si es pot construir un isomorfisme entre dos grafs, llavors diem que aquests dos grafs són isomòrfics.
Nou!!: NP (Complexitat) і Isomorfisme de grafs · Veure més »
Lògica proposicional
La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat.
Nou!!: NP (Complexitat) і Lògica proposicional · Veure més »
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.
Nou!!: NP (Complexitat) і Màquina de Turing · Veure més »
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.
Nou!!: NP (Complexitat) і Màquina de Turing no determinista · Veure més »
Nombre compost
Un nombre compost és un nombre natural que té més de dos divisors o bé aquell que essent natural i major que 1 no és primer.
Nou!!: NP (Complexitat) і Nombre compost · Veure més »
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.
Nou!!: NP (Complexitat) і Problema de decisió · Veure més »
Problema de satisfacibilitat booleana
En teoria de complexitat computacional, el problema de satisfacibilitat booleana (també conegut per les sigles SAT) és el problema de determinar si existeix una interpretació que satisfà una fórmula booleana donada.
Nou!!: NP (Complexitat) і Problema de satisfacibilitat booleana · Veure més »
Problema del viatjant de comerç
Ruta òptima d'un viatjant de comerç passant per les quinze ciutats més grans d'Alemanya. En aquest cas s'ha considerat que el que es vol optimitzat és la distància en quilòmetres, altres opcions haurien pogut ser-lo la distància en temps, el cost econòmic dels viatges, etc. Els casos reals tenen diferents paràmetres que es volen optimitzar, no sempre compatibles entre ells, per la qual cosa cal arribar a un compromís segons el criteri de l'enginyer. El problema del viatjant de comerç és el problema d'optimització de trajectòries donat per l'enunciat següent: donat un conjunt de nodes, es tracta de trobar l'ordre de visites a seguir per tal de definir una trajectòria que passi un sol cop per a cada node i de manera que la distància total recorreguda sigui la més curta possible.
Nou!!: NP (Complexitat) і Problema del viatjant de comerç · Veure més »
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.
