Tag decision-problem - Ceci est la page 1 - GeneraCodice

Comment convertir un arbre de décision à un automate?

https://www.generacodice.com/fr/articolo/2479078/comment-convertir-un-arbre-de-decision-a-un-automate
  decision-tree  -  automata  -  decision-problem
cs.stackexchange cs.stackexchange

Est $ \ {w ~ | ~ \ Forall X \ in t (m_v): | W |> | x | ~ \} $ DIMENDABLE?

https://www.generacodice.com/fr/articolo/2475207/est-w-forall-x-in-t-m-v-w-x-dimendable
  undecidability  -  semi-decidability  -  decision-problem
cs.stackexchange cs.stackexchange

Le problème qui détermine-t-il chaque fois que le mot membre $ \ en $ l (m) décidable ou non?

https://www.generacodice.com/fr/articolo/2474814/le-probleme-qui-determine-t-il-chaque-fois-que-le-mot-membre-en-l-m-decidable-ou-non
  turing-machines  -  formal-languages  -  undecidability  -  decision-problem
cs.stackexchange cs.stackexchange

Théorème de Riz pour Turing Machine avec sortie fixe

https://www.generacodice.com/fr/articolo/2473617/theoreme-de-riz-pour-turing-machine-avec-sortie-fixe
  turing-machines  -  decision-problem  -  rice-theorem
cs.stackexchange cs.stackexchange

Pourquoi le problème de haltage est-il immobilié pour les langues goto limitées sur la plus haute valeur des constantes et des variables?

https://www.generacodice.com/fr/articolo/2473164/pourquoi-le-probleme-de-haltage-est-il-immobilie-pour-les-langues-goto-limitees-sur-la-plus-haute-valeur-des-constantes-et-des-variables
  halting-problem  -  turing-completeness  -  decision-problem
cs.stackexchange cs.stackexchange

J'ai un problème de décision avec 2 ^ N $ Certificats de taille bit, comment vérifierais-je mon problème de décision efficacement s'il est en dollars NP $?

https://www.generacodice.com/fr/articolo/2472800/j-ai-un-probleme-de-decision-avec-2-n-certificats-de-taille-bit-comment-verifierais-je-mon-probleme-de-decision-efficacement-s-il-est-en-dollars-np
  decision-problem
cs.stackexchange cs.stackexchange

Algorithme de temps polynomial non déterministe par rapport au certificat / vérificateur pour montrer de l'adhésion à NP

https://www.generacodice.com/fr/articolo/2472768/algorithme-de-temps-polynomial-non-deterministe-par-rapport-au-certificat-verificateur-pour-montrer-de-l-adhesion-a-np
  definitions  -  np  -  proof-techniques  -  decision-problem  -  complexity-classes
cs.stackexchange cs.stackexchange

Chaque langue décritable $ L $ a un sous-ensemble infini Sous-ensemble $ S \ Sous-secteur L $ telle que $ l \ seminus s $ est infini

https://www.generacodice.com/fr/articolo/2471648/chaque-langue-decritable-l-a-un-sous-ensemble-infini-sous-ensemble-s-sous-secteur-l-telle-que-l-seminus-s-est-infini
  turing-machines  -  computation-models  -  decision-problem
cs.stackexchange cs.stackexchange

Proof of Co-Problem being in NP if Problem is in NP using negated output

https://www.generacodice.com/fr/articolo/2471546/proof-of-co-problem-being-in-np-if-problem-is-in-np-using-negated-output
  np-complete  -  np  -  decision-problem
cs.stackexchange cs.stackexchange

L'automate informatique pour $L(A) / L(B)$ donne ceux pour $A,B$

https://www.generacodice.com/fr/articolo/2471312/l-automate-informatique-pour-l-a-l-b-donne-ceux-pour-a-b
  turing-machines  -  finite-automata  -  decision-problem
cs.stackexchange cs.stackexchange
Résultats trouvés: 400
scroll top