Une question dans un système formel avec une réponse oui ou non.
J'aimerais savoir s'il y a eu des travaux reliant le code juridique à la complexité. En particulier, supposons que nous ayons le problème de décision "Compte tenu de ce recueil de lois et de ce cas particulier, le défendeur est-il coupable?" À quelle classe de complexité appartient-il? Il y a des...
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...
J'ai un ensemble de paires. Chaque paire est de la forme (x, y) telle que x, y appartiennent à des entiers de la plage [0,n). Donc, si le n est 4, alors j'ai les paires suivantes: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) J'ai déjà les paires. Maintenant, je dois construire une combinaison en utilisant...
Il n'y a clairement aucun problème indécidable dans NP. Cependant, selon Wikipedia : NP est l'ensemble de tous les problèmes de décision pour lesquels les cas où la réponse est "oui" ont [.. des preuves qui sont] vérifiables en temps polynomial par une machine de Turing déterministe. [...] Un...
Ces terminologies me confondent. Tel que je le comprend Solveur SAT: décider de la satisfiabilité de la logique propositionnelle (en utilisant DPLL ou Local Search). La procédure de décision est une procédure pour décider de la satisfiabilité d'une certaine théorie décidable du premier ordre. Le...
Je comprends donc l'idée que le problème de décision est défini comme Existe-t-il un chemin P tel que le coût soit inférieur à C? et vous pouvez facilement vérifier que cela est vrai en vérifiant le chemin que vous recevez. Cependant, que se passe-t-il s'il n'y a pas de chemin qui correspond à ces...
J'ai un problème de décision NP-complet. Étant donné une instance du problème, je voudrais concevoir un algorithme qui génère OUI, si le problème est réalisable, et NON, sinon. (Bien sûr, si l'algorithme n'est pas optimal, il fera des erreurs.) Je ne trouve aucun algorithme d'approximation pour de...
Existe-t-il un algorithme / une procédure systématique pour tester si une langue est hors contexte? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme ), testez si le langage est hors contexte ou non. Imaginez que nous écrivons un service Web...
Dans la théorie de calcul de Michael Sipser à la page 270, il écrit: P = la classe de langues dont l'adhésion peut être décidée rapidement. NP = la classe de langues dont l'appartenance peut être vérifiée rapidement. Quelle est la différence entre «décidé» et
par exemple Xy+ x+y= x+y( x + 1)xy+x+y=X+y(X+1)xy+x+y=x+y(x+1) ? Les expressions proviennent de l'algèbre ordinaire du secondaire, mais se limitent à l'addition et à la multiplication arithmétiques (par exemple 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), sans inverses, soustraction ou division. Les...
Je me demande si décider de la décidabilité du problème est un problème décidable. Je suppose que non, mais après des recherches initiales, je ne trouve aucune documentation sur ce
Je viens de lire quelques pages du livre de Sipser Introduction à la théorie du calcul sur le problème de la correspondance postérieure, et je pense que PCP est en fait dans NP. Le certificateur est la suivante : pour une configuration de pile d'entrée concaténer t 1 , t 2 , . . . , t n comme une...
Donc, je sais que tester si un langage régulier RRR est un sous-ensemble du langage régulier SSS est décidable, car nous pouvons les convertir tous les deux en DFA, calculer R∩S¯R∩S¯R \cap \bar{S} , puis tester si ce langage est vide. Cependant, comme cela nécessite une conversion en DFA, il est...
Donc, étant donné deux DFA, le problème de trouver s'ils génèrent la même langue est-il un problème décidable? Je sais déjà que l'égalité de deux LFC n'est pas décidable mais qu'en est-il de l'égalité de deux DFA? étant donné que la plupart des problèmes avec les DFA sont décidables, est-ce...
Existe-t-il un algorithme / une procédure systématique pour tester si une langue est régulière? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), testez si la langue est régulière ou...
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...
Existe-t-il un algorithme pour le problème suivant: Étant donné une machine de Turing qui décide d'un langage , existe-t-il une machine de Turing décidant telle que ?M1M1M_1M 2 L t 2 ( n ) = o ( t 1 ( n ) )LLLM2M2M_2LLLt2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Les fonctions et sont...
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 sur les champs et...
Étant donné nombres A 1 ≤ A 2 ≤ . . . ≤ A k tel que k Σ i = 1 A i = k ( 2 k + 1 ) est - il une attribution de numéros i 1 , i 2 , . . . , I 2 k qui est une permutation de 1 , 2 , . . . , 2kkkUNE1≤ A2≤ . . . ≤ AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_k∑i = 1kUNEje= k ( 2 k + 1...
Mon livre dit ceci Si un problème de décision B est dans P et A se réduit à B, alors le problème de décision A est dans P. Un problème de décision B est NP-complet si B est dans NP et pour chaque problème dans A dans NP, A se réduit à B. Un problème de décision C est NP-complet si C est dans NP et...