Tag reductions - Esta é a página 1 - GeneraCodice

NP-completeness of a Generalized Version of Subset Sum

https://www.generacodice.com/pt/articolo/2476998/np-completeness-of-a-generalized-version-of-subset-sum
  np-complete  -  reductions
cs.stackexchange cs.stackexchange

Complexidade de casos específicos de max2sat

https://www.generacodice.com/pt/articolo/2475077/complexidade-de-casos-especificos-de-max2sat
  complexity-theory  -  np-complete  -  satisfiability  -  reductions  -  2-sat
cs.stackexchange cs.stackexchange

Que linguagem indecidável $ b $ é reduzível ao seu complemento?

https://www.generacodice.com/pt/articolo/2472961/que-linguagem-indecidavel-b-e-reduzivel-ao-seu-complemento
  turing-machines  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Mostre que para cada idioma existe uma linguagem mais difícil

https://www.generacodice.com/pt/articolo/2470979/mostre-que-para-cada-idioma-existe-uma-linguagem-mais-dificil
  turing-machines  -  undecidability  -  semi-decidability  -  reductions
cs.stackexchange cs.stackexchange

Variante do Subconjunto-soma tem um $S(1)$ algoritmo se $Goldbach$ é verdadeiro

https://www.generacodice.com/pt/articolo/2470354/variante-do-subconjunto-soma-tem-um-s-1-algoritmo-se-goldbach-e-verdadeiro
  reductions  -  decision-problem
cs.stackexchange cs.stackexchange

O que "se P1 for reduzido para P2, então P2 é pelo menos tão duro quanto p1"?

https://www.generacodice.com/pt/articolo/2470077/o-que-se-p1-for-reduzido-para-p2-entao-p2-e-pelo-menos-tao-duro-quanto-p1
  complexity-theory  -  reductions
cs.stackexchange cs.stackexchange

reduções de mapeamento de r para re

https://www.generacodice.com/pt/articolo/2469992/reducoes-de-mapeamento-de-r-para-re
  turing-machines  -  reductions
cs.stackexchange cs.stackexchange

provando existência de tm que aceita a próxima língua

https://www.generacodice.com/pt/articolo/2469931/provando-existencia-de-tm-que-aceita-a-proxima-lingua
  turing-machines  -  reductions
cs.stackexchange cs.stackexchange

Tamanho da interseção de 2 idiomas Tamanho não é decível

https://www.generacodice.com/pt/articolo/2469473/tamanho-da-intersecao-de-2-idiomas-tamanho-nao-e-decivel
  turing-machines  -  reductions
cs.stackexchange cs.stackexchange

Como provar a integridade NP do caminho mais longo entre dois vértices com base no problema Hamilton NP-Hard

https://www.generacodice.com/pt/articolo/2468300/como-provar-a-integridade-np-do-caminho-mais-longo-entre-dois-vertices-com-base-no-problema-hamilton-np-hard
  complexity-theory  -  np-complete  -  np-hard  -  reductions
cs.stackexchange cs.stackexchange
Resultados encontrados: 998
scroll top