Le problème est le suivant: Nous avons un tableau / grille de nombres en deux dimensions, chacun représentant un «avantage» ou un «profit». Nous avons également deux entiers fixes et (pour "largeur" et "hauteur"). Et un entier fixe .h nwwwhhhnnn Nous souhaitons maintenant superposer rectangles de...
Soit une fonction assez agréable (par exemple, continue, différenciable, pas trop de maxima locaux, peut-être concave, etc.). Je veux trouver un maximum de : une valeur qui rend aussi grand que possible. f x ∈ R d f ( x )F: Rré→ Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}Fffx ∈ Rréx∈Rdx \in \mathbb{R}^dF(...
Tout en essayant d'améliorer les performances de ma classe de détection de collision, j'ai constaté que ~ 80% du temps passé sur le processeur graphique, il passait sur les conditions if / else à essayer de comprendre les limites des compartiments qu'il devait parcourir. Plus précisément: chaque...
Les nombres naturels sont définis par induction comme (en utilisant la syntaxe Coq comme exemple) Inductive nat: Set := | O: nat | S: nat -> nat. Existe-t-il un moyen standard de définir les entiers (et peut-être d'autres ensembles comme les rationnels et les réels) de manière...
Les exemples courants de problèmes NP-difficiles (clique, 3-SAT, vertex cover, etc.) sont du type où nous ne savons pas si la réponse est "oui" ou "non" au préalable. Supposons que nous ayons un problème dans lequel nous savons que la réponse est oui, en outre, nous pouvons vérifier un témoin en...
En ce qui concerne le thread Prouvant que la conversion de CNF en DNF est NP-Hard (et un thread Math connexe ): Que diriez-vous de l'autre direction, de DNF à CNF? Est-ce facile ou difficile? À la page 2 de cet article , ils semblent suggérer que les deux directions sont également difficiles quand...
Je sais que le problème de formule booléenne quantifiée pour une formule où ne contient aucun quantificateur et seulement les variables est un exemple d'un -complet. Cependant, je me demande s'il existe des problèmes naturels connus pour être -complets, tout comme la minimisation des circuits est...
J'essaie de trouver les réponses à deux questions sur la machine Universal Turing. Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui est simulée a un plus grand nombre d'états? Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui...
Que signifient «en position positive» et «en position négative» dans le contexte de la théorie des types? La seule chose que j'ai compris du billet de blog de Bob Harper sur le sujet est qu'il existe un lien entre la polarité dans ce sens dans la théorie des types et la polarité dans la logique,...
L'algorithme de Brzozowski peut être étendu aux automates de Moore mais sa complexité temporelle est exponentielle en général. Existe-t-il un autre algorithme pour minimiser les automates Moore? Quels sont les temps d'exécution de ces algorithmes, le cas
Dans un analyseur LR (0), chaque état consiste en une collection d'éléments LR (0), qui sont des productions annotées avec une position. Dans un analyseur LR (1), chaque état consiste en une collection d'éléments LR (1), qui sont des productions annotées avec une position et un caractère...
Il existe un moyen d'effectuer une analyse floue (accepte les chaînes même avec des fautes de frappe à une certaine distance d'édition), avec un DFA et un automate Levenshtein construit au moment de l'exécution du mot d'entrée. Peut-on faire quelque chose de similaire avec un analyseur Earley? J'ai...
Après avoir lu les réalisations de google deepmind sur les jeux d'Atari , j'essaie de comprendre le q-learning et les q-réseaux, mais je suis un peu confus. La confusion survient dans le concept du facteur d'actualisation. Bref résumé de ce que je comprends. Un réseau neuronal convolutionnel...
Je lis "L'âme d'une nouvelle machine" de Tracy Kidder où une équipe de Data General conçoit une nouvelle machine (nom de code "Eagle", plus tard nommé MV / 8000). Il s'agit d'une extension 32 bits d'une architecture précédente (Eclipse 16 bits). Un des thèmes tournants semble être qu'ils ne veulent...
Je lisais les systèmes d'exploitation par Galvin et suis tombé sur la ligne ci-dessous, Cependant, tous les états dangereux ne sont pas bloqués. Un état dangereux peut entraîner un blocage Quelqu'un peut-il expliquer comment l' impasse! = État dangereux ? J'ai aussi attrapé la même ligne ici S'il...
J'essaie de comprendre comment fonctionne l'allocation de dalle et pourquoi elle est différente ou meilleure que la pagination ordinaire. J'ai trouvé ce schéma qui je pense serait utile s'il avait plus d'explications. Quelques questions: Que représentent les éléments de 3 Ko et 7 Ko? Doivent-ils...
Cette question est en quelque sorte l'inverse d' une question précédente sur les ensembles formés à partir d'opérations sur les ensembles NP-complets: Si l'ensemble résultant de l'union, de l'intersection ou du produit cartésien de deux ensembles décidables et L 2 est NP-complet, au moins l'un de L...
C'est probablement une idée stupide, mais supposons que nous ayons un ordinateur programmé pour effectuer une séquence infinie de calculs et supposons que le calcul prenne secondes pour terminer. Cet ordinateur peut alors effectuer un nombre infini de calculs en un temps limité.jeeithi^\text{th}1 /...
J'ai essayé de résoudre l'exercice suivant mais je suis resté coincé en essayant de trouver toutes les paires critiques . J'ai les questions suivantes: Comment savoir quelle paire critique a produit une nouvelle règle? Comment savoir si j'ai trouvé toutes les paires critiques? Soit où est binaire,...
J'ai récemment lu une entrée de blog très intéressante de Google Research Blog sur le réseau neuronal. Fondamentalement, ils utilisent ces réseaux de neurones pour résoudre divers problèmes comme la reconnaissance d'image. Ils utilisent des algorithmes génétiques pour "faire évoluer" les poids des...