Coq inclut des let-expressions dans son langage principal. Nous pouvons traduire des expressions let dans des applications comme celle-ci: let x : t = v in b ~> (\(x:t). b) v je comprends que cela ne fonctionne pas toujours car la valeur vne serait pas disponible lors de la vérification de...
Dans une vidéo présentant les avantages des filtres à particules pour la localisation, il a été laissé entendre qu'il existe une certaine ambiguïté quant au coût de complexité de la mise en œuvre des filtres à particules. Est-ce correct? Quelqu'un pourrait-il expliquer...
Je travaille sur un analyseur pour un langage de style C, et pour cet analyseur, j'ai besoin de l'expression régulière qui correspond au style C / ** / commentaires. Maintenant, j'ai trouvé cette expression sur le web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Cependant, comme vous pouvez le voir,...
J'apprends la programmation en ML (OCaml), et plus tôt j'ai posé des questions sur les fonctions ML de type'a -> 'b . Maintenant, j'expérimente un peu avec les fonctions de type 'a list -> 'b list. Il y a quelques exemples simples évidents: let rec loop l = loop l let return_empty l = [] let...
Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des langages...
Ceci est un suivi du fonctionnement de l' inspection des piles? qui explore la notion plus en détail L'inspection de la pile est un mécanisme permettant d'assurer la sécurité dans le contexte des machines virtuelles JVM et CLR lorsque des modules de code téléchargés en externe de différents niveaux...
J'ai lu ce site avec beaucoup d'intérêt, mais j'en trouve beaucoup qui me dépasse. Cela m'a donné envie d'en apprendre beaucoup plus sur les algorithmes et le CS en général. Pour autant que je puisse en juger par mes recherches, il existe deux façons principales de procéder. Je peux par un joli...
Considérons deux tableaux 2D Bje jBjejB_{ij} (le tableau d'achat) et Sje jSjejS_{ij} (le tableau de vente) où chaque jet hjethi^{th} L'élément est associé à un tableau de valeurs à virgule flottante et chacune des valeurs à virgule flottante, à son tour, est associée à un tableau d'entiers. Par...
Je sais que c'est une question simple mais quelqu'un peut-il me montrer comment ( λ y. λ x . λ y. y) ( λ x . λ y. y)(λy.λx.λy.y)(λx.λy.y)(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y) réduit à λ x . λ y. yλx.λy.y\lambda x. \lambda y.
Considérons un arbre minimax pour un problème de recherche contradictoire. Par exemple, dans cette image (élagage alpha-bêta): Lorsque nous marquons l'arbre avec des valeurs bas en haut, nous traversons d'abord le nœud 3 et attribuons B. \ max = 3 . Ensuite, nous parcourons 12 et 8 dans cet ordre,...
J'ai remarqué dans ma courte vie universitaire que de nombreux articles publiés dans notre domaine n'ont parfois pas beaucoup de rigueur en matière de statistiques. Ce n'est pas seulement une hypothèse; J'ai entendu des professeurs dire la même chose. Par exemple, dans les disciplines CS, je vois...
Concernant l'élagage Alpha-Beta, NegaScout affirme qu'il peut accélérer le processus en définissant [Alpha, Beta] sur [Alpha, Alpha-1]. Je ne comprends pas tout le processus de NegaScout. Comment ça marche? Quel est son mécanisme de récupération lorsque sa supposition a
On nous donne un ensemble de Fruits. Chaque fruit a un prix et une teneur en vitamines ; nous avons associé le fruit à la paire ordonnée . Maintenant, nous devons organiser ces fruits de telle sorte que la liste triée contienne les prix en ordre croissant et le contenu en vitamines en ordre...
Soit une matrice . Nous disons que deux entrées sont voisines si elles sont adjacentes horizontalement ou verticalement, et les deux entrées sont à . On veut trouver un nombre minimum de à ajouter, donc chaque peut atteindre un autre à travers une séquence de voisins.MMM(0,1)(0,1)(0, 1)111111111...
Je veux compter le nombre de chaînes ssssur un alphabet fini , qui ne contient pas de répétitions, et par là je veux dire pour toute sous-chaîne de ,, il n'y a pas de copie disjointe de à l' . Par exemple, laissez . Alors est l' une des chaînes que je veux compter, car pour la sous-chaîne , il n'y...
Supposons que l'on me donne un tableau de entiers de largeur fixe (c'est-à-dire qu'ils tiennent dans un registre de largeur ), . Je veux calculer la somme sur une machine avec l'arithmétique du complément à 2, qui effectue des ajouts modulo avec une sémantique enveloppante. C'est facile - mais la...
J'ai un problème logistique qui peut être vu comme une variante de TSPTSP\text{TSP}. C'est tellement naturel, je suis sûr qu'il a été étudié en recherche opérationnelle ou quelque chose de similaire. Voici une façon de voir le problème. J'ai entrepôts sur le plan cartésien. Il existe un chemin...
On m'a demandé de trouver les arguments adversaires nécessaires pour trouver les limites inférieures pour la sélection et le tri par insertion. Je n'ai pu trouver aucune référence à cela nulle part. J'ai quelques doutes à ce sujet. Je comprends que les arguments adversaires sont généralement...
Je sais que les problèmes de sac à dos 2D et 3D sont des NPC, mais existe-t-il un moyen de les résoudre dans un délai raisonnable si les instances ne sont pas très compliquées? La programmation dynamique fonctionnerait-elle? Par sac à dos 2D (3D), je veux dire que j'ai un carré (cube) et une liste...
Je travaille sur le problème H dans le cadre du concours ACM ICPC 2004-2005 Europe du Nord-Est . Le problème est essentiellement de trouver le pire cas qui produit un nombre maximal d'échanges dans l'algorithme (tamiser vers le bas) pour construire le tas. Entrée: le fichier d'entrée contient nnn...