Questions marquées «decision-problem»

Une question dans un système formel avec une réponse oui ou non.

2
Cycle le plus long contenu en deux cycles
Le problème suivant est-il NP-complet? (Je suppose que oui). Entrée: un graphique non orienté où l'ensemble de bords peut être décomposé en deux cycles simples à bords séparés (ceux-ci ne font pas partie de l'entrée).k∈N,G=(V,E)k∈N,g=(V,E)k \in \mathbb{N},G=(V,E) Question: Existe - t-il un cycle simple en de longueur supérieure à k …
2
Une algèbre
Je veux préciser ce que signifie donner une algèbre comme entrée à un algorithme et je n'ai pas trouvé beaucoup de littérature à ce sujet. Je veux donc d'abord demander si vous pouvez recommander un livre ou un article qui traite du sujet de l'analyse de la complexité des algèbres …
1
Le problème d'arrêt est-il décidable pour les automates cellulaires unidimensionnels à 3 symboles?
J'ai essayé de déterminer si le problème d'arrêt est décidable pour les automates cellulaires unidimensionnels à 3 symboles. Définition Soit f(w,i)f(w,i)f(w,i) la configuration du système au pas de temps . Plus formellement , où est l'alphabet.iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Définition. Un automate cellulaire s'est arrêté dans la configuration , si …
1
Est-ce que l'écriture d'un nombre en deux carrés et l'écriture des facteurs d'un nombre sont également difficiles?
Soit et les suivants:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} RevendicationL1≤PL2L1≤PL2L_1 \leq_P L_2 Preuve de croquis Si je veux savoir si .r∈L1r∈L1r\in L_1 Le nombre …
1
Le problème de l'univers pour les automates à guichet unique avec une taille d'alphabet restreinte est-il indécidable?
Considérez le problème d'univers suivant . Le problème de l'univers. Étant donné un ensemble fini pour une classe de langages, et un automate acceptant le langage L , décidez si L = \ Sigma ^ * .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dans [1], il est indiqué et prouvé que le problème de l'univers est …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.