Taula de continguts
10 les relacions: Complexitat computacional, Isomorfisme de grafs, Màquina de Turing no determinista, NP (Complexitat), NP-difícil, P (complexitat), P versus NP, Problema de satisfacibilitat booleana, Problema del viatjant de comerç, Temps polinòmic.
- Classes de complexitat
- Optimització
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 NP-complet і Complexitat computacional
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.
Veure NP-complet і Isomorfisme de grafs
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 NP-complet і Màquina de Turing no determinista
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 NP-complet і NP (Complexitat)
NP-difícil
P≠NP. La part dreta és assumint que P.
Veure NP-complet і NP-difícil
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 NP-complet і P (complexitat)
P versus NP
Diagrama de classes de complexitat suposant que '''P''' ≠ '''NP'''. Si '''P'''.
Veure NP-complet і P versus NP
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.
Veure NP-complet і Problema de satisfacibilitat booleana
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.
Veure NP-complet і Problema del viatjant de comerç
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 NP-complet і Temps polinòmic
Vegeu també
Classes de complexitat
- AC (Complexitat)
- AC0
- ACC0
- ALL (Complexitat)
- APX (Complexitat)
- CC (Complexitat)
- Classe de complexitat
- Co-NP (Complexitat)
- Co-NP-complet
- DLOGTIME
- DSPACE (Complexitat)
- DTIME (Complexitat)
- E (Complexitat)
- ELEMENTARY
- EXPSPACE
- EXPTIME
- Jerarquia aritmètica
- Jerarquia exponencial
- Jerarquia polinòmica
- L (complexitat)
- NC (Complexitat)
- NE (Complexitat)
- NEXPTIME
- NL (Complexitat)
- NP (Complexitat)
- NP-complet
- NP-difícil
- NSPACE
- NTIME (Complexitat)
- P (complexitat)
- P-complet
- PH (Complexitat)
- PR (Complexitat)
- PSPACE
- PSPACE-complet
- PolyL (Complexitat)
- R (Complexitat)
- RE (complexitat)
- S2P (Complexitat)
- SC (Complexitat)
- SL (Complexitat)
- TC0
- UP (Complexitat)
Optimització
- Òptim de Pareto
- Algorisme del gradient descendent
- Cerca del veí més proper
- Condicions de Karush-Kuhn-Tucker
- Detecció comprimida
- Màxims i mínims
- Multiplicadors de Lagrange
- NP-complet
- Optimització convexa
- Optimització d'hiperparàmetres
- Optimització matemàtica
- P versus NP
- Problema de càlcul de Steiner
- Restricció
- Teoria del control òptim
També conegut com NP-completesa.