Je ne suis pas sûr de le voir. D'après ce que je comprends, les arêtes et les sommets sont des compléments l'un pour l'autre et il est assez surprenant que cette différence existe. Existe-t-il un bon moyen / rapide / facile de voir qu'en fait, trouver un chemin hamiltonien devrait être beaucoup...
Je recherche un texte de référence sur la théorie des graphes appliquée et les algorithmes de graphes. Existe-t-il un texte standard utilisé dans la plupart des programmes informatiques? Sinon, quels sont les textes les plus respectés dans le domaine? J'ai Cormen et
Montre CA L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} n'est pas régulier Salut les gars. Je prends un cours de CS et ce truc est vraiment nouveau pour moi, alors soyez indulgent avec moi. J'ai essayé de voir si j'obtenais une contradiction en utilisant le lemme de pompage pour les langues...
J'aimerais votre aide pour prouver que la langue est décidable ssi .L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P = N PP=NP\mathrm{P}=\mathrm{NP} Si , je comprends que c'est le langage des machines Turing vides....
J'étudie pour un examen d'IA et je cherche une meilleure façon de résoudre le problème suivant: Le graphique montre un problème de classification dans le carré unitaire [0,1]2[0,1]2[0,1]^2, où la classe A est indiquée par la zone grise sur la figure (sans compter les points sur les lignes...
J'ai étudié Spiking Neural Networks en ligne à partir de divers articles, principalement Maass (1997) . Je ne suis pas tout à fait sûr de comprendre ce qui différencie le code d'impulsion de SNN des ANN précédents, qui sont considérés comme un code de taux. J'ai une formation en neuroscience, donc...
Si nous supposons que nous commençons par une instance de kkk-SAT et essayez de convertir le problème en une instance de ( k + m )(k+m)(k+m)-SAT, où il y a ( k + m )(k+m)(k+m) littéraux par clause, pouvons-nous garantir une réduction du montant total des clauses? J'ai réalisé après la publication...
Existe-t-il un livre ou un didacticiel qui nous enseigne comment appliquer efficacement les algorithmes courants (tri, recherche, etc.) sur de grandes données (c'est-à-dire des données qui ne peuvent pas être entièrement chargées dans la mémoire principale) et comment appliquer efficacement ces...
Dis que tu as mmm entrées booléennes, et vous êtes donné un seuil nnn. Vous devez construire un circuit booléen qui est évalué à vrai si au moinsnnndes entrées vrai. Vous pouvez utiliser les portes ET, OU, NON ou XOR (limité au fan-in two, avec arbitraire fan-out). Asymptotiquement, comment...
Je suis sur le point de mettre en œuvre un langage spécifique au domaine pour la représentation des conventions d'apprentissage social. Une partie de l'implémentation est une description formelle d'un langage - son «calcul», ses symboles et ses expressions logiques. Mon approche serait de décrire...
Pour la méthode ramification-coupe, il est essentiel de connaître de nombreuses facettes des polytopes générés par le problème. Cependant, c'est actuellement l'un des problèmes les plus difficiles à calculer réellement toutes les facettes de ces polytopes à mesure qu'ils grandissent rapidement....
Qu'est-ce que cela signifie lorsqu'un argument d'une fonction est appelé un argument factice ? Je n'ai pas rencontré ce terme en dehors de Fortran, est-ce un terme général en informatique? Quels seraient des exemples d'arguments passés comme factices et non passés comme factices? J'ai trouvé cette...
La satisfiabilité générale (à quelques exceptions telles que les clauses de Horn) ne semble pas avoir de solution algorithmique. Cependant, l'algorithme suivant semble être une solution pour la satisfiabilité générale. Quel est exactement le défaut de l'algorithme suivant? Laisser WWW être un...
La source de cette question provient d'un cours de premier cycle que je suis, qui couvre une introduction à l'analyse des algorithmes. Ce n'est pas pour les devoirs, mais plutôt une question posée dans CLRS. Vous avez une machine lente fonctionnant à xxx MIPS, et une machine rapide fonctionnant à...
Disons FFF est un oracle pour un problème NPNP\mathbb{NP}, mais je ne peux pas appeler cet oracle avec une instance d'entrée. Au lieu de cela, chaque fois que j'appelleFFFJe reçois retourné une instance aléatoire et une solution. Ainsi, je sais queFFF est en fait capable de résoudre arbitrairement...
Étant donné un graphe orienté et deux sommets distincts S et T, existe-t-il un algorithme à temps polynomial qui trouve chaque sommet qui se trouve sur au moins un chemin simple de S à T? Il n'est pas difficile de trouver tous les sommets qui sont à la fois successeurs de S et prédécesseurs de T,...
Disons que j'ai un graphique |G||G||G| avec |E|=O(V2)|E|=O(V2)|E|=O(V^2)bords. Je veux exécuter BFS surggG qui a une durée de O (V+E)O(V+E)O(V+E). Il semble naturel d'écrire que le temps d'exécution sur ce graphique serait O ( O (V2) + V)O(O(V2)+V)O(O(V^2)+V) puis simplifier pour O (V2)O(V2)O(V^2)....
J'ai une forêt, c'est-à-dire des nœuds avec des bords dirigés et aucun cycle (dirigé ou non). Je définis la hauteur d'un sommetvvv comme 0 s'il n'a pas d'arêtes entrantes, ou le nombre maximum d'arêtes à parcourir en sens inverse pour atteindre un sommet de hauteur 0. Je sais également que le degré...
J'ai essayé d'implémenter l'algorithme de Brzozowski mais je viens de découvrir qu'il crée des automates sous-optimaux pour une certaine classe d'entrées, ayant un état de plus que ce qui est vraiment nécessaire dans le résultat. Je peux le montrer sur un automate trivial: a b a b a b a b a b >0...
Disons que j'ai trouvé un algorithme à 2 approximations pour un certain problème et je veux montrer que l'analyse est serrée. Dois-je maintenant trouver un exemple de taille générique ou suffit-il de montrer que j'ai un exemple de taille pour lequel l'algorithme donne ?nnndixdix102 O...