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

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

Si un predicado no es computable, ¿qué se puede decir sobre su negación?

https://www.generacodice.com/es/articolo/1108189/si-un-predicado-no-es-computable-que-se-puede-decir-sobre-su-negacion
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange

Prueba rigurosa contra la función pseudo aleatoria

https://www.generacodice.com/es/articolo/1107998/prueba-rigurosa-contra-la-funcion-pseudo-aleatoria
  cryptography  -  proof-techniques
cs.stackexchange cs.stackexchange

¿Cómo escribo una prueba usando inducción sobre la longitud de la cadena de entrada?

https://www.generacodice.com/es/articolo/1102588/como-escribo-una-prueba-usando-induccion-sobre-la-longitud-de-la-cadena-de-entrada
  finite-automata  -  automata  -  induction  -  reference-question  -  proof-techniques
cs.stackexchange cs.stackexchange

Simple tarea de asignación del Problema

https://www.generacodice.com/es/articolo/1102027/simple-tarea-de-asignacion-del-problema
  graph-theory  -  algorithms  -  proof-techniques  -  assignment-problem
cs.stackexchange cs.stackexchange

Demostrando una gramática sólo genera palabras cuyo sumas dígitos alterna son múltiplos de tres

https://www.generacodice.com/es/articolo/1098933/demostrando-una-gramatica-solo-genera-palabras-cuyo-sumas-digitos-alterna-son-multiplos-de-tres
  formal-languages  -  formal-grammars  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Cómo mostrar dos modelos de computación son equivalentes?

https://www.generacodice.com/es/articolo/1098359/como-mostrar-dos-modelos-de-computacion-son-equivalentes
  simulation  -  computation-models  -  proof-techniques
cs.stackexchange cs.stackexchange
Resultados encontrados: 577
scroll top