J'ai un automate fini sans état final / acceptant, donc F est vide. Comment puis-je le minimiser? J'ai obtenu ceci sur un test et je ne savais pas comment aborder le problème parce que l'automate n'avait aucun état d'acceptation. Un seul état initial avec toutes les transitions en lui-même est-il...
Existe-t-il des applications réelles du problème de l'arbre de Steiner (STP)? Je comprends que la conception de la puce VSLI est une bonne application du STP. Y a-t-il d'autres exemples de problèmes réels que les gens peuvent suggérer qui pourraient être formulés en termes de STP? Contexte: Je...
Des questions: Peut-il y avoir un hachage (cryptographiquement sécurisé) qui préserve la topologie des informations de {0,1}∗{0,1}∗\{0,1\}^{*}? Pouvons-nous ajouter un prédicat de proximité efficacement calculable qui, étant donné hk(x)hk(X)h_k(x) et hk(y)hk(y)h_k(y) (ou yyy lui-même) nous dit si...
Imaginons que nous ayons une formule satisfaisante Le problème à résoudre est "Y a-t-il une affectation pour les variables qui fera F insatisfaisant? ". Une façon de résoudre est de trouver toutes les solutions pour F en termes de variables et si le nombre est < , la solution manquante sera la...
Par exemple, nous pouvons dire que nous avons un programme abstrait qui, étant donné une chaîne binaire finie en entrée, supprime tous les zéros (c'est-à-dire que 0010001101011 est évalué à 111111), ce qui est certainement une fonction calculable par Turing. Comment un système de balises cycliques...
De nombreuses fonctions d'activation dans les réseaux de neurones (sigmoïde, tanh, softmax) sont monotones, continues et différenciables (à l'exception de quelques points, où la dérivée n'existe pas). Je comprends la raison de la continuité et de la différentiabilité, mais je ne peux pas vraiment...
Je veux demander exactement quelle est la relation entre les problèmes et les langues. Nous savons que l'ensemble de toutes les langues est innombrable. L'ensemble des problèmes est-il également indénombrable? Chaque problème peut-il être défini par une langue? Une langue peut-elle résoudre plus...
Je veux déterminer si ce problème de décision est décidable. J'ai essayé d'établir des réductions à partir de Halt et "Accepte une chaîne vide", mais je n'ai pas encore trouvé de solution. Est-ce que quelqu'un peut
Je suis bloqué par l'analyse de la complexité temporelle de l'algorithme suivant: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, p) if p > 0: fun (r, k - 1, d, p - 1) L'appel racine sera fun (0, 0, n, n), et nest de la...
J'ai deux gros fichiers contenant des paragraphes de texte anglais: Le premier texte fait environ 200 pages et compte environ 10 paragraphes par page (chaque paragraphe fait 5 phrases). Le deuxième texte contient presque exactement les mêmes paragraphes et texte que le premier. Il comprend...
Je pense à ce problème informatique / crypto / base de données depuis des années et je veux juste savoir s'il existe déjà des solutions. Pour être honnête, je ne sais même pas à quel domaine ce problème appartient exactement. En bref: la personne A a une liste de données, une autre personne (B) a...
Comme défini par Wikipedia, (La correspondance Curry-Howard) est une généralisation d'une analogie syntaxique entre les systèmes de logique formelle et les calculs computationnels qui a été découverte pour la première fois par le mathématicien américain Haskell Curry et le logicien William Alvin...
Nous venons donc d'apprendre sur l'auto-réductibilité en classe. Mon professeur et notre manuel ne s'engageraient pas à dire que tous les problèmes de NP sont auto-réductibles, mais il ne semble pas y avoir d'exemples de problèmes qui ne le soient pas. Je me demandais s'il y avait des exemples, ou...
À ma connaissance, l'arrêt du problème demande s'il existe un programme qui décide si un programme en cours de test, compte tenu de certaines données d'entrée (quel que soit le programme ou quelles données d'entrée nous donnons) se terminera ou non. La réponse à ce problème est «non». En d'autres...
Si F: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} est calculable et a un inverse, dans quelles conditions est F- 1f−1f^{-1}aussi calculable? Je ne pouvais pas trouver cela dans un manuel, et googler obtient de vagues suggestions sur le bijectif, mais je n'ai pas pu trouver un théorème clairement...
Nous avons deux langues: . Nous savons que est un langage régulier, donc ma question est de savoir si est régulier vers?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 J'essaie de trouver un moyen de le prouver ... Je ne peux bien sûr pas supposer que L1,L2L1,L2L_1,L_2sont réguliers ... Je cherche...
Cette question est assez spécifique dans la manière de prendre les mesures pour résoudre le problème. Donné T( n ) = 2 T( 2 n / 3 ) + O ( n )T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n) prouve-le T( n ) = O (n2)T(n)=O(n2)T(n)=O(n^2). Les étapes étaient donc les suivantes. Nous voulons prouver queT( n ) ≤...
Je lisais CLRS et il a demandé de montrer que sippp est un premier de la forme 4k+34k+34k+3 et aaa était un résidu quadratique, puis ak+1ak+1a^{k+1} est une racine carrée (on peut aussi facilement montrer que a−ka−ka^{-k} est une racine carrée). Je me demandais si en utilisant le fait précédent et...
Le problème de parité des préfixes peut être défini comme suit. On vous donne une chaîne de longueur et initialement chaque caractère vaut . Ensuite, vous souhaitez créer une structure de données qui peut prendre en charge les mises à jour comme suit.SSSnnn000 Pour un donné, changez en...
Existe-t-il des problèmes dont la décidabilité est inconnue, mais il est certain que les problèmes sont moins difficiles que le problème