L'informatique

3

Quel est le nom de cette variante logistique du TSP?

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 entre un …

8 algorithms optimization reference-request approximation

1

Comment fonctionne l'algorithme NegaScout?

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 échoué?

8 algorithms algorithm-analysis search-algorithms

1

Trouver une sous-séquence de longueur maximale satisfaisant simultanément deux contraintes d'ordre

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 …

8 algorithms arrays constraint-programming subsequences

1

Évaluation du calcul lambda

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. …

8 logic lambda-calculus

1

À quoi servent les valeurs minimales sur les arbres minimax?

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, …

8 data-structures trees game-theory

4

Comment les statistiques sont-elles appliquées en informatique pour évaluer l'exactitude des allégations de recherche?

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 des articles publiés …

8 software-engineering empirical-research statistics

1

Le moyen le plus efficace pour faire correspondre les commandes

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 exemple B …

8 algorithms

4

Comment mieux connaître les algorithmes en profondeur

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 …

8 algorithms education

2

Limites de l'inspection de la pile

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 de …

8 security stack-inspection

1

Prouver la fermeture sous complémentation des langues acceptées par les automates à tas min

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 …

8 formal-languages automata closure-properties

1

La différence essentielle entre le renforcement des réseaux de neurones et les ANN de génération précédente

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, …

8 terminology artificial-intelligence neural-networks

3

Dériver l'expression régulière pour le style C / ** / commentaires

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, c'est une expression plutôt désordonnée, et …

8 compilers parsers regular-languages

1

Quelle est la complexité de la mise en œuvre d'un filtre à particules?

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 cela?

8 computational-geometry knowledge-representation reasoning statistics

1

Somme de sous-ensemble, solution de programmation dynamique temporelle pseudo-polynomiale?

J'ai trouvé le problème P vs NP il y a quelque temps et j'ai récemment travaillé sur le problème de la somme des sous-ensembles. J'ai lu un article Wikipédia sur le problème de la sous-somme ainsi que la question Algorithme de la sous-somme J'ai examiné le problème et trouvé des …

8 algorithms dynamic-programming

3

Fonctions ML des listes polymorphes aux listes polymorphes

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 …

8 programming-languages typing functional-programming