Etiqueta check-my-proof - Esta es la página 1 - GeneraCodice

Demostrar que un idioma no está en P usando diagonalización

https://www.generacodice.com/es/articolo/1124806/demostrar-que-un-idioma-no-esta-en-p-usando-diagonalizacion
  complexity-theory  -  check-my-proof  -  polynomial-time
cs.stackexchange cs.stackexchange

Cuasigroups, congruencias y subconjuntos reconocibles

https://www.generacodice.com/es/articolo/1123877/cuasigroups-congruencias-y-subconjuntos-reconocibles
  formal-languages  -  reference-request  -  check-my-proof
cs.stackexchange cs.stackexchange

¿Cómo puedo mostrar que los idiomas lineales están cerrados contra la concatenación con los regulares?

https://www.generacodice.com/es/articolo/1120484/como-puedo-mostrar-que-los-idiomas-lineales-estan-cerrados-contra-la-concatenacion-con-los-regulares
  formal-languages  -  context-free  -  closure-properties  -  check-my-proof
cs.stackexchange cs.stackexchange

Límite inferior para la clasificación de n matrices de tamaño k cada

https://www.generacodice.com/es/articolo/1120333/limite-inferior-para-la-clasificacion-de-n-matrices-de-tamano-k-cada
  arrays  -  sorting  -  algorithms  -  lower-bounds  -  check-my-proof
cs.stackexchange cs.stackexchange

Número de ciclos hamiltonianos en un gráfico de Sierpiński

https://www.generacodice.com/es/articolo/1119290/numero-de-ciclos-hamiltonianos-en-un-grafico-de-sierpinski
  graph-theory  -  combinatorics  -  check-my-proof
cs.stackexchange cs.stackexchange

Mostrar $x^y$ es una función recursiva primitiva

https://www.generacodice.com/es/articolo/1116648/mostrar-x-y-es-una-funcion-recursiva-primitiva
  recursion  -  computability  -  check-my-proof
cs.stackexchange cs.stackexchange

Error en la generación de soluciones de funciones

https://www.generacodice.com/es/articolo/1098851/error-en-la-generacion-de-soluciones-de-funciones
  recurrence-relation  -  mathematical-analysis  -  check-my-proof
cs.stackexchange cs.stackexchange

Reducción Karp es idéntica a la Reducción de Levin

https://www.generacodice.com/es/articolo/1097529/reduccion-karp-es-identica-a-la-reduccion-de-levin
  complexity-theory  -  reductions  -  check-my-proof
cs.stackexchange cs.stackexchange

Demostrar que el problema de la parada es decidible para máquinas de Turing una sola pasada

https://www.generacodice.com/es/articolo/1096692/demostrar-que-el-problema-de-la-parada-es-decidible-para-maquinas-de-turing-una-sola-pasada
  turing-machines  -  computability  -  formal-languages  -  check-my-proof
cs.stackexchange cs.stackexchange
Resultados encontrados: 19
scroll top