La difficulté d'un problème fortement NP-dur ou NP-complet (tel que défini ici par exemple ) change-t-elle lorsque son entrée est unaire au lieu d'être codée en binaire? Quelle différence cela fait-il si l'entrée d'un problème fortement NP-dur est codée unaire? Je veux dire, si je prends par...
J'ai un arbre non orienté dont je veux étiqueter les sommets. Les nœuds foliaires doivent être étiquetés un. Supposez ensuite que les feuilles ont été retirées. Dans l'arbre qui reste, les feuilles doivent être étiquetées deux. Ce processus se poursuit de manière évidente jusqu'à ce que tous les...
J'ai la question suivante, mais je n'ai pas de réponse à cela. J'apprécierais si ma méthode est correcte: Q. Lors de la recherche de la valeur de clé 60 dans une arborescence de recherche binaire, les nœuds contenant les valeurs de clé 10, 20, 40, 50, 70, 80, 90 sont parcourus, pas nécessairement...
Je lisais une réponse à une question récente, et une sorte de pensée étrange et éphémère m'est venue à l'esprit. Ma demande pourrait trahir soit que mes côtelettes théoriques manquent sérieusement (surtout vrai) ou qu'il est tout simplement trop tôt pour moi de lire ce site. Maintenant, avec l'avis...
Pourquoi la transformée de Laplace n'est-elle pas populaire pour la convolution de traitement d'image? La plupart des manuels ne convertissent que les transformées de
J'essaie de résoudre ce problème et j'ai vraiment du mal. Une formule booléenne monotone est une formule en logique propositionnelle où tous les littéraux sont positifs. Par exemple, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4...
Sinon, qu'est-ce que cela signifie quand pour un état et un symbole , n'existe pas?a δ ( q , a )qqqaaaδ(q,a)δ(q,a)\delta(q,
Je ne sais pas si c'était une blague, mais une fois que j'ai lu ce que l'on appelle une définition formelle d'un fichier dans un système de versioning tel que git, hg ou svn. C'était quelque chose comme un objet mathématique comme un homéomorphisme. Était-ce une plaisanterie ou y a-t-il vraiment...
Prenons le jeu suivant: il y a des joueurs et un ordinateur. Chaque joueur saisit un entier positif et son nom (le joueur ne connaît pas les numéros d'un autre, juste le sien). Lorsque tous les joueurs ont fait leurs mouvements, l'ordinateur affiche le nom du gagnant - qui a soumis le numéro unique...
On nous donne un tableau avec tous a [ i ] > 0 .a [ 1 … n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 Maintenant, nous devons trouver combien de sommes distinctes peuvent être formées à partir de ses sous-réseaux (où un sous-réseau est une plage contiguë du tableau, c'est-à-dire pour...
Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être...
Je me suis récemment rendu compte qu'il existe une sorte de relation entre la théorie des types russellienne et les systèmes de types, comme par exemple dans Haskell. En fait, une partie de la notation des types dans Haskell semble avoir des précurseurs dans la théorie des types. Mais, à mon humble...
J'utilise des réseaux de neurones pour prédire une série chronologique. La question à laquelle je suis confronté maintenant est de savoir comment encoder la date / l'heure / le numéro de série. de chaque jeu d'entrée comme entrée du réseau neuronal? Dois-je utiliser 1 du codage C (utilisé pour les...
La complétude du coNP implique-t-elle une dureté NP? En particulier, j'ai un problème dont j'ai montré qu'il était coNP-complet. Puis-je prétendre qu'il est NP-difficile? Je me rends compte que je peux revendiquer la dureté coNP, mais je ne sais pas si cette terminologie est standard. Je suis à...
Étant donné un polygone orthogonal (un polygone dont les côtés sont parallèles aux axes), je veux trouver le plus petit ensemble de carrés intérieurs disjoints, dont l'union est égale au polygone. J'ai trouvé plusieurs références à des problèmes légèrement différents, tels que: Couvrir un polygone...
J'essaie de résoudre un problème SAT de 25k clauses 5k variables. Comme il fonctionne depuis une heure (précosat) et que j'aimerais en résoudre de plus gros par la suite, je cherche un Solveur SAT multicœur. Comme il semble y avoir beaucoup de solveurs SAT, je suis assez perdu. Quelqu'un...
Un commentaire sur tex.SE m'a fait réfléchir . La déclaration est essentiellement: Si je peux écrire un compilateur pour la langue X dans la langue X, alors X est Turing-complete. En termes de calcul et de langage formel, c'est: Si décide et , alors .L ⊆ L T M ⟨ M ⟩ ∈ L F L = R EMMML⊆LTML⊆LTML...
Voici le problème: Prouvez que les machines de Turing à bande unique qui ne peuvent pas écrire sur la partie de la bande contenant la chaîne d'entrée ne reconnaissent que les langues normales. Mon idée est de prouver que cette MT particulière est équivalente à un DFA. L'utilisation de cette MT pour...
Les ramasse-miettes doivent visiter tous les objets vivants, afin de trouver la mémoire qui peut être récupérée. (Avoir de nombreuses générations retarde juste un peu cela) Toutes choses étant égales par ailleurs, il est clairement préférable de visiter d'abord l'objet qui est déjà paginé dans la...
J'ai un ensemble de points , et j'ai la distance entre chaque pointCCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) . Ces distances sont euclidiennes mais les points se trouvent en fait dans un espace caractéristique. Parmi les points je veux choisir un sous-ensemble de points. Appelez ce sous-ensemble . Je veux...