Páginas com hiperligações para "Co-NP"
← Co-NP
As seguintes páginas têm hiperligações para Co-NP:
São apresentadas 50 páginas.
- Teoria da computação (← afluentes | editar)
- Caminho hamiltoniano (← afluentes | editar)
- ZPP (← afluentes | editar)
- Complexidade caso médio (← afluentes | editar)
- NP-completo (← afluentes | editar)
- NP (complexidade) (← afluentes | editar)
- Fatoração de inteiros (← afluentes | editar)
- P (complexidade) (← afluentes | editar)
- Hierarquia polinomial (← afluentes | editar)
- NP-difícil (← afluentes | editar)
- Prova de conhecimento zero (← afluentes | editar)
- PSPACE (← afluentes | editar)
- Classe de complexidade (← afluentes | editar)
- PSPACE-completude (← afluentes | editar)
- Complexidade NL (← afluentes | editar)
- NSPACE (← afluentes | editar)
- DSPACE (← afluentes | editar)
- DLOGTIME (← afluentes | editar)
- EXPSPACE (← afluentes | editar)
- NEXPTIME (← afluentes | editar)
- NTIME (← afluentes | editar)
- P-completo (← afluentes | editar)
- Teorema de Immerman–Szelepcsényi (← afluentes | editar)
- BPP (← afluentes | editar)
- Co-NP-completo (← afluentes | editar)
- Redução por mapeamento (← afluentes | editar)
- Exptime (← afluentes | editar)
- Dtime (← afluentes | editar)
- Máquina de Turing alternante (← afluentes | editar)
- Certificado de primalidade (← afluentes | editar)
- RE (complexidade) (← afluentes | editar)
- NC (complexidade) (← afluentes | editar)
- Hierarquia aritmética (← afluentes | editar)
- Máquina de Turing alternada (← afluentes | editar)
- Provas verificáveis probabilisticamente (← afluentes | editar)
- Sistema de prova interativa (← afluentes | editar)
- RP (complexidade computacional) (← afluentes | editar)
- Hierarquia de Grzegorczyk (← afluentes | editar)
- Hierarquia exponencial (← afluentes | editar)
- APX-completude (← afluentes | editar)
- Protocolo de Arthur-Merlin (← afluentes | editar)
- Complexidade de caso médio (← afluentes | editar)
- Completo (complexidade) (← afluentes | editar)
- ACC0 (← afluentes | editar)
- PP (complexidade) (← afluentes | editar)
- IP (complexidade) (← afluentes | editar)
- QMA (← afluentes | editar)
- Complexidade de prova (← afluentes | editar)
- Circuito comparador (← afluentes | editar)
- UP (complexidade) (← afluentes | editar)