Le problème de savoir si deux automates déroulants reconnaissent la même langue est indécidable. Le problème de savoir si un automate pushdown reconnaît la langue vide est décidable, d'où il est également décidable s'il reconnaît une langue finie donnée. Il est indécidable que la langue acceptée par un automate pushdown …
Vous et un ami vous êtes perdus sur la ligne à un concert, et vous ne savez pas lequel d'entre vous est plus avancé. Formellement, chacun a une coordonnée entière et ne peut marcher que vers une coordonnée plus élevée ou rester en place. En supposant que vous et votre …
Le théorème de Galois dit effectivement que l'on ne peut pas exprimer les racines d'un polynôme de degré> = 5 en utilisant des fonctions rationnelles de coefficients et de radicaux - ne peut-on lire pour dire que, étant donné un polynôme, il n'y a pas d'algorithme déterministe pour trouver les …
Lorsque nous regardons le modèle d'acteur et les processus séquentiels communicants, nous voyons qu'ils essaient tous les deux de faire de la concurrence basée sur le passage de messages , mais ils sont distincts . (Nous voyons des implémentations du modèle CSP dans les goroutines de go-lang (et core.async de …
Cette question concerne une approche des adversaires informatiques que j'ai créés et qui sont actuellement utilisés ou prévus pour être utilisés dans plusieurs jeux informatiques. Contexte L'année dernière, en essayant d'améliorer un adversaire informatique pour un jeu appelé "Démineur Démineur" (brève description: une version multijoueur au tour par tour de …
Lorsque nous utilisons A * (ou tout autre meilleur algorithme de recherche de chemin), nous disons que l'heuristique utilisée doit être admissible , c'est-à-dire qu'elle ne doit jamais surestimer la longueur (ou les déplacements) réels du chemin de la solution. Comment une heuristique admissible assure-t-elle une solution optimale? Je recherche …
Je viens d'apprendre récemment l'existence de cette mémoire temporelle hiérarchique (HTM) . J'ai déjà lu le document Hierarchical Temporal Memory: Concepts, Theory and Terminology (par Jeff Hawkins et Dileep George), qui semble assez facile à comprendre, mais un drapeau rouge est que le document n'est ni révisé par des pairs …
Je voudrais créer un système d'apprentissage automatique en ligne sur le Web, où les utilisateurs peuvent continuellement ajouter des échantillons classifiés et mettre le modèle à jour en ligne. Je souhaite utiliser un perceptron ou un algorithme d'apprentissage en ligne similaire. Mais, les utilisateurs peuvent faire des erreurs et insérer …
Considérez la question 1C de Google Code Jam suivante : La Grande Muraille de Chine commence comme une ligne infinie, où la hauteur à tous les endroits est de .000 Certains nombre de tribus , N ≤ 1000 , va attaquer la paroi de la paroi en fonction des paramètres …
Donné est un graphe planaire et soit dénoter son encastrement dans le plan st chaque arête a la longueur . J'ai en outre un ensemble de points où chaque point est contenu dans . De plus, il tient pour tout point dans qu'il existe un avec une distance géodésique à …
J'ai utilisé FSM dans les conceptions de circuits séquentiels numériques. Mais je ne connais pas les automates finis. Quelqu'un peut-il m'aider à comprendre la différence «fondamentale» entre les deux?
Une question d'entretien courante consiste à fournir un algorithme pour déterminer si un arbre binaire donné est équilibré en hauteur (définition de l'arbre AVL). Je me demandais si nous pouvions faire quelque chose de similaire avec les arbres rouges-noirs. Étant donné un arbre binaire non coloré arbitraire (avec des nœuds …
Dans de nombreuses discussions sur le tas binaire, seule la touche de diminution est normalement répertoriée comme opération prise en charge pour un tas min. Par exemple, CLR chapitre 6.1 et cette page wikipedia . Pourquoi la clé d'augmentation n'est-elle pas normalement répertoriée pour le segment de mémoire minimal? J'imagine …
On dit que le langage est dense s'il existe un polynôme tel que pour tous lesEn d'autres termes, pour une longueur donnée, il n'existe que de nombreux mots polynomiaux de longueur qui ne sont pas enJ⊆Σ∗J⊆Σ∗J \subseteq \Sigma^{*}ppp|Jc∩Σn|≤p(n)|Jc∩Σn|≤p(n) |J^c \cap \Sigma^n| \leq p(n)n∈N.n∈N.n \in \mathbb{N}.nnnnnnJ.J.J. Le problème que j'étudie actuellement …
Je me demande si cela est encore possible, puisque {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Par conséquent, un PDA qui peut distinguer un mot w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} du reste de {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} pourrait aussi bien l'accepter, ce qui me semble contradictoire. Je suppose …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.