Tag check-my-proof - Ceci est la page 1 - GeneraCodice

Prouver qu'une langue n'est pas dans P en utilisant diagonalisation

https://www.generacodice.com/fr/articolo/1124806/prouver-qu-une-langue-n-est-pas-dans-p-en-utilisant-diagonalisation
  complexity-theory  -  check-my-proof  -  polynomial-time
cs.stackexchange cs.stackexchange

Quasigroupes, congruence et des sous-ensembles reconnaissables

https://www.generacodice.com/fr/articolo/1123877/quasigroupes-congruence-et-des-sous-ensembles-reconnaissables
  formal-languages  -  reference-request  -  check-my-proof
cs.stackexchange cs.stackexchange

Comment puis-je montrer une des langues linéaires sont fermées contre concaténer avec les réguliers?

https://www.generacodice.com/fr/articolo/1120484/comment-puis-je-montrer-une-des-langues-lineaires-sont-fermees-contre-concatener-avec-les-reguliers
  formal-languages  -  context-free  -  closure-properties  -  check-my-proof
cs.stackexchange cs.stackexchange

Borne inférieure de réseaux de tri n de chaque taille k

https://www.generacodice.com/fr/articolo/1120333/borne-inferieure-de-reseaux-de-tri-n-de-chaque-taille-k
  arrays  -  sorting  -  algorithms  -  lower-bounds  -  check-my-proof
cs.stackexchange cs.stackexchange

Nombre de cycles hamiltoniens sur un graphique Sierpinski

https://www.generacodice.com/fr/articolo/1119290/nombre-de-cycles-hamiltoniens-sur-un-graphique-sierpinski
  graph-theory  -  combinatorics  -  check-my-proof
cs.stackexchange cs.stackexchange

Voir $ x ^ $ y est une fonction récursive primitive

https://www.generacodice.com/fr/articolo/1116648/voir-x-y-est-une-fonction-recursive-primitive
  recursion  -  computability  -  check-my-proof
cs.stackexchange cs.stackexchange

Erreur dans la production de solutions de fonction

https://www.generacodice.com/fr/articolo/1098851/erreur-dans-la-production-de-solutions-de-fonction
  recurrence-relation  -  mathematical-analysis  -  check-my-proof
cs.stackexchange cs.stackexchange

Est-Karp Réduction identique à Levin réduction

https://www.generacodice.com/fr/articolo/1097529/est-karp-reduction-identique-a-levin-reduction
  complexity-theory  -  reductions  -  check-my-proof
cs.stackexchange cs.stackexchange

Montrer que le problème de l'arrêt est décidable pour un seul passage des machines de Turing

https://www.generacodice.com/fr/articolo/1096692/montrer-que-le-probleme-de-l-arret-est-decidable-pour-un-seul-passage-des-machines-de-turing
  turing-machines  -  computability  -  formal-languages  -  check-my-proof
cs.stackexchange cs.stackexchange
Résultats trouvés: 19
scroll top