Je regarde le problème suivant: Étant donné les vecteurs à dimensions des nombres naturels v 1 , … , v m et un vecteur d'entrée u , u est-il une combinaison linéaire des v i avec des coefficients de nombres naturels?nnnv1, … , Vmv1,…,vmv_1, \ldots, v_muuuuuuvjeviv_i c'est-à-dire qu'il y a où u = t...
Cette question concerne l'intersection de la théorie des probabilités et de la complexité de calcul. Une observation clé est que certaines distributions sont plus faciles à générer que d'autres. Par exemple, le problème Étant donné un nombre nnn , renvoyer un nombre uniformément distribué iiiavec...
L'utilisation du vecteur Earley comme identificateur est assez simple: lorsque la fin de la chaîne est atteinte, il vous suffit de vérifier si la production axiomatique terminée a commencé à la position 0. Si vous en avez au moins une, la chaîne est acceptée. L'utilisation du vecteur Earley pour...
Considérez le problème suivant: Soit un sous-ensemble fini des nombres naturels.S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Soit | où est le plus grand diviseur commun de etG={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j)si,sj∈S,si,sj∈S,s_i, s_j \in S, si≠sj}si≠sj} s_i \neq s_j...
Je suis à l'exercice suivant dans Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (* FILL IN HERE *)...
J'ai pensé à écrire un système d'exploitation pour certains des processeurs ARM. Il existe de nombreux ordinateurs à carte unique populaires avec ARM MPU, donc je voulais simplement en acheter un (en choisir un avec une documentation plus ouverte). J'ai été surpris quand j'ai découvert que même les...
Je me demandais si ce problème avait un nom: Étant donné un graphique simple dont les bords sont colorés en rouge, bleu et vert, , existe-t-il une coloration vertex telle que chaque bord a un point final avec la même couleur?G = ( V, B ∪ R ∪ G )g=(V,B∪R∪g)G=(V,B\cup R\cup G)c : V→ { B , R , G...
Disons que les listes sont définies comme List a = Nil | Cons a (List a) Alors, à Haskell est List xle plus grand point ou le moins fixe? Je demande parce que le lfp devrait exclure les listes infinies (mais vous pouvez les construire dans Haskell), tandis que le gfp devrait exclure les listes...
@ La réponse de Babou à une question récente me rappelle qu'à un moment donné, je pense avoir lu un article sur l'équivalence (en termes à la fois des faits qui peuvent être inférés ou prouvés et de la complexité temporelle de l'exécution de l'algorithme d'inférence) de l'analyse du flux de données...
Lors de la mise à jour des poids d'un réseau neuronal en utilisant l'algorithme de rétropropagation avec un terme de momentum, le taux d'apprentissage devrait-il également être appliqué au terme de momentum? La plupart des informations que j'ai pu trouver sur l'utilisation de l'élan ont les...
Dans une question précédente Qu'est-ce qu'un algorithme exactement? , J'ai demandé si avoir un "algorithme" qui renvoie la valeur d'une fonction basée sur un tableau de valeurs précalculées était un algorithme. L'une des réponses qui a retenu mon attention est celle-ci: L'exemple factoriel entre...
Supposons que l'on nous donne une collection de chaînes, S 1 , … , S n . Je voudrais savoir si l'une de ces chaînes est une sous-chaîne d'une autre chaîne de la collection. En d'autres termes, j'aimerais un algorithme pour la tâche suivante:nnnS1,…,SnS1,…,SnS_1,\dots,S_n Entrée:...
Valiant et Vazirani ont prouvé que la SAT est réductible à la SAT UNIQUE sous des réductions probabilistes randomisées du temps polynomial. Calabro et al . a montré que UNIQUE k-SAT est aussi dur que k-SAT. Maintenant, la question est, si quelqu'un montre que k-SAT UNIQUE est dans P, cela...
Quelqu'un pourrait-il m'expliquer ce qu'est exactement la RAM inconsciente? J'ai trouvé l' explication suivante qui me rend un peu clair, mais je voudrais avoir une idée des aspects techniques: Le chiffrement n'est pas toujours suffisant pour garantir la confidentialité. Si un adversaire peut...
Supposons que j'ai un graphe clairsemé fini non orienté et que je dois être capable d'exécuter efficacement les requêtes suivantes: - renvoie T s'il existe un chemin entre N 1 et, sinonIsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2)TTTN1N1N_1 FN2N2N_2FFF
Est-ce que le 2 dans un algorithme à 2 approximations signifie que la solution est dans 2 * OPT ou OPT /
Comment pouvons-nous nous assurer que nous continuons à faire des déclarations solides et valables sur les classes de complexité lors de l'utilisation d'Oracle Turing Machines? Selon ma compréhension (sur la base des définitions données dans les manuels d'introduction sur le sujet), les machines...
J'aimerais citer Nielsen & Chuang, Quantum Computation and Quantum Information, édition du 10e anniversaire, page 5 (c'est moi qui souligne): Une classe de défis à la forte thèse de Church-Turing vient du domaine du calcul analogique. Au cours des années qui se sont écoulées depuis Turing, de...
J'étudie actuellement pour un examen d'informatique et je suis tombé sur un concept qui m'a quelque peu déconcerté. Quand on tape une touche sur le clavier, un caractère ASCII est transmis au CPU. Lors de la réception de ce caractère, la CPU émet le même caractère à l'écran. Ce processus est appelé...
Bien que je travaille en tant que programmeur dans ma vie quotidienne et que j'utilise tous les langages à la mode (Python, Java, C, etc.), je n'ai toujours pas de vision claire de ce qu'est la programmation fonctionnelle. D'après ce que j'ai lu, une propriété des langages fonctionnels est que les...