Etiqueta proof-techniques - Esta es la página 53 - GeneraCodice

Cómo mostrar que el lenguaje dado es inequívoco

https://www.generacodice.com/es/articolo/1111526/como-mostrar-que-el-lenguaje-dado-es-inequivoco
  formal-languages  -  ambiguity  -  formal-grammars  -  context-free  -  proof-techniques
cs.stackexchange cs.stackexchange

Pruebas basadas en la reducción de conjuntos de posibilidades

https://www.generacodice.com/es/articolo/1111134/pruebas-basadas-en-la-reduccion-de-conjuntos-de-posibilidades
  proof-techniques  -  lower-bounds
cs.stackexchange cs.stackexchange

¿Cómo mostrar la composición de la función de una manera no es tal?

https://www.generacodice.com/es/articolo/1110576/como-mostrar-la-composicion-de-la-funcion-de-una-manera-no-es-tal
  cryptography  -  proof-techniques  -  one-way-functions
cs.stackexchange cs.stackexchange

¿Cómo determinar el tiempo de ejecución polinomial de una reducción de NP?

https://www.generacodice.com/es/articolo/1110550/como-determinar-el-tiempo-de-ejecucion-polinomial-de-una-reduccion-de-np
  complexity-theory  -  np-complete  -  proof-techniques  -  reductions
cs.stackexchange cs.stackexchange

Buscando pruebas alternativas sobre el cierre de idiomas recursivamente enumerables

https://www.generacodice.com/es/articolo/1110165/buscando-pruebas-alternativas-sobre-el-cierre-de-idiomas-recursivamente-enumerables
  computability  -  formal-languages  -  closure-properties  -  proof-techniques
cs.stackexchange cs.stackexchange

Ventajas del análisis amortizado

https://www.generacodice.com/es/articolo/1110050/ventajas-del-analisis-amortizado
  amortized-analysis  -  algorithm-analysis  -  proof-techniques
cs.stackexchange cs.stackexchange

Resolución de recurrencia con logaritmo cuadrado $ t (n) = 2t (n/2) + n log^2n $

https://www.generacodice.com/es/articolo/1109971/resolucion-de-recurrencia-con-logaritmo-cuadrado-t-n-2t-n-2-n-log-2n
  asymptotics  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

NP -Completitud - Prueba por restricción

https://www.generacodice.com/es/articolo/1108682/np-completitud-prueba-por-restriccion
  complexity-theory  -  np-complete  -  proof-techniques
cs.stackexchange cs.stackexchange

Relación de recurrencia para la complejidad del tiempo $ t (n) = t (n-1) + n^2 $

https://www.generacodice.com/es/articolo/1108199/relacion-de-recurrencia-para-la-complejidad-del-tiempo-t-n-t-n-1-n-2
  time-complexity  -  algorithm-analysis  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

¿Cómo demostrar o refutar que F es computable?

https://www.generacodice.com/es/articolo/1108191/como-demostrar-o-refutar-que-f-es-computable
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange
Resultados encontrados: 577
scroll top