Tag proof-techniques - Ceci est la page 54 - GeneraCodice

Résolution de récurrence avec logarithme au carré T $ (n) = 2T (n / 2) + n \ log ^ 2n $

https://www.generacodice.com/fr/articolo/1109971/resolution-de-recurrence-avec-logarithme-au-carre-t-n-2t-n-2-n-log-2n
  asymptotics  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

NP-Complétude - Preuve par restriction

https://www.generacodice.com/fr/articolo/1108682/np-completude-preuve-par-restriction
  complexity-theory  -  np-complete  -  proof-techniques
cs.stackexchange cs.stackexchange

relation de récurrence de la complexité du temps $ T (n) = T (n-1) + n ^ 2 $

https://www.generacodice.com/fr/articolo/1108199/relation-de-recurrence-de-la-complexite-du-temps-t-n-t-n-1-n-2
  time-complexity  -  algorithm-analysis  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

Comment prouver ou d'infirmer que f est calculable?

https://www.generacodice.com/fr/articolo/1108191/comment-prouver-ou-d-infirmer-que-f-est-calculable
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange

Si un prédicat n'est pas calculable, ce qui peut être dit au sujet de sa négation?

https://www.generacodice.com/fr/articolo/1108189/si-un-predicat-n-est-pas-calculable-ce-qui-peut-etre-dit-au-sujet-de-sa-negation
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange

la preuve contre pseudo Rigoureuse fonction aléatoire

https://www.generacodice.com/fr/articolo/1107998/la-preuve-contre-pseudo-rigoureuse-fonction-aleatoire
  cryptography  -  proof-techniques
cs.stackexchange cs.stackexchange

Comment puis-je écrire une preuve par induction sur la longueur de la chaîne d'entrée?

https://www.generacodice.com/fr/articolo/1102588/comment-puis-je-ecrire-une-preuve-par-induction-sur-la-longueur-de-la-chaine-d-entree
  finite-automata  -  automata  -  induction  -  reference-question  -  proof-techniques
cs.stackexchange cs.stackexchange

Simple Task-affectation Problème

https://www.generacodice.com/fr/articolo/1102027/simple-task-affectation-probleme
  graph-theory  -  algorithms  -  proof-techniques  -  assignment-problem
cs.stackexchange cs.stackexchange

Proving une grammaire génère uniquement des mots dont la somme chiffres alternatif sont des multiples de trois

https://www.generacodice.com/fr/articolo/1098933/proving-une-grammaire-genere-uniquement-des-mots-dont-la-somme-chiffres-alternatif-sont-des-multiples-de-trois
  formal-languages  -  formal-grammars  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Comment montrer deux modèles de calcul sont équivalentes?

https://www.generacodice.com/fr/articolo/1098359/comment-montrer-deux-modeles-de-calcul-sont-equivalentes
  simulation  -  computation-models  -  proof-techniques
cs.stackexchange cs.stackexchange
Résultats trouvés: 577
scroll top