L'informatique

2

Quels sont les algorithmes de pointe pour la recherche de chemin sur une carte continue de la Terre?

Supposons que j'ai un vaisseau de surface autonome à énergie solaire quelque part dans les fjords de Norvège, fourni avec un ensemble de cartes assez récent, un récepteur GPS et aucun moyen de rétrograder des commandes détaillées de ma part. Ce navire doit atteindre, disons, l'île de Hainan le plus …

14 artificial-intelligence search-algorithms

1

Pourquoi l'algorithme Hindley-Milner ne donnera-t-il jamais un type comme t1 -> t2?

Je lis à propos de l'algorithme de typage Hindley-Milner lors de l'écriture d'une implémentation, et je vois que, tant que chaque variable est liée, vous obtiendrez toujours des types atomiques ou des types où les arguments détermineront le type final, comme t1 -> t1ou (t1 -> t2) -> (t1 -> …

14 lambda-calculus type-theory typing type-inference

1

Le nombre de langues régulières différentes

Étant donné un alphabet , combien de langues différentes sont régulièrement là- bas qui peuvent être acceptées par un -state automate fini non déterministe?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn À titre d'exemple, considérons . Nous avons alors configurations de transition différentes et configurations d'état de début et de fin différentes, nous …

14 formal-languages regular-languages finite-automata combinatorics

3

Complexité du problème d'adoption de chaton

Cela s'est produit alors que j'essayais de répondre à cette question sur la minimisation de la longueur de câblage . J'allais appeler cela le problème du "mariage polygame", mais Internet, donc les chatons. Yay! Supposons que nous ayons MMM chatons qui doivent être adoptées par personnes, . Pour chaque chaton, …

14 algorithms complexity-theory

4

La transitivité est-elle requise pour un algorithme de tri

Est-il possible d'utiliser un algorithme de tri avec une comparaison non transitive, et si oui, pourquoi la transitivité est-elle répertoriée comme exigence pour le tri des comparateurs? Contexte: Un algorithme de tri trie généralement les éléments d'une liste selon une fonction de comparaison C (x, y), avec C( x , …

14 algorithms sorting quicksort transitivity

4

Calcul de la différence entre deux grands ensembles

J'ai deux grands ensembles d'entiers et B . Chaque ensemble contient environ un million d'entrées et chaque entrée est un entier positif de 10 chiffres au maximum. AAABBB Quel est le meilleur algorithme pour calculer et B ∖ A ? En d'autres termes, comment puis-je calculer efficacement la liste des …

14 algorithms data-structures sets

1

Le hachage universel en pratique

Une famille HHH de fonctions de hachage est universelle si Vous pouvez trouver plus d'informations sur le hachage universel dans cet article wikipedia .h : U→ { 0 , … , M- 1 }h:U→{0,…,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x …

14 data-structures education hash-tables applied-theory

1

Comment limiter l'erreur d'une approximation sans connaître la solution optimale?

J'ai regardé ce site et il dit que les gens ont trouvé des solutions pour les tournées TSP qui sont juste 0,031% plus élevées que la tournée optimale. Sans trouver le tour optimal, comment savent-ils quelle longueur il est censé être?

14 complexity-theory approximation

2

Échantillonnage efficace et aléatoire des chemins

Laissez GGG un graphe, et que sss et ttt deux sommets de GGG . Pouvons-nous échantillonner efficacement un chemin sss - plus court de tttmanière uniforme et indépendante au hasard dans l'ensemble de tous les chemins les plus courts entre sss et ttt ? Pour simplifier, nous pouvons supposer que …

14 graph-theory reference-request shortest-path sampling

2

Chemin le plus court sans intersection pour un graphe intégré dans un plan euclidien (2D)

Quel algorithme utiliseriez-vous pour trouver le chemin le plus court d'un graphe, qui est intégré dans un plan euclidien, de telle sorte que le chemin ne contienne aucune auto-intersection (dans l'incorporation)? Par exemple, dans le graphique ci-dessous, vous souhaitez passer de . Normalement, un algorithme comme l'algorithme de Dijkstra produirait …

14 algorithms graphs shortest-path graph-traversal weighted-graphs

2

Existe-t-il des articles évalués par des pairs qui étudient les avantages et les inconvénients de la programmation fonctionnelle?

Quelqu'un peut-il me renvoyer à des articles évalués par des pairs qui étudient les avantages ou les inconvénients de l'écriture de code dans un style fonctionnel? Existe-t-il des articles qui discutent des applications de Lambda Calculus dans des domaines tels que l'apprentissage automatique, la conception de langage, etc.?

14 reference-request programming-languages lambda-calculus functional-programming

4

Push Automatons "suppose" - qu'est-ce que cela signifie?

Je me rends compte que les automates de refoulement non déterministes peuvent être une amélioration par rapport aux déterministes car ils peuvent "choisir" parmi plusieurs états et il existe des langages sans contexte qui ne peuvent pas être acceptés par un refoulement déterministe. Pourtant, je ne comprends pas exactement comment …

14 automata pushdown-automata nondeterminism

1

Est-il décidable si une langue décrite par nombre d'occurrences est régulière?

On sait que la langue des mots contenant un nombre égal de 0 et 1 n'est pas régulière, tandis que la langue des mots contenant un nombre égal de 001 et 100 est régulière ( voir ici ). Étant donné deux mots w1,w2w1,w2w_1,w_2 , est-il décidable si la langue des …

14 regular-languages undecidability

1

Les limites d'exécution sont-elles décidables pour quelque chose de non trivial?

Problème Étant donné une machine de Turing qui a un temps d'exécution connu O ( g ( n ) ) par rapport à la longueur d'entrée n , est le temps d'exécution de M ∈ O ( f ( n ) ) ?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Le problème ci-dessus est-il décidable …

14 complexity-theory time-complexity

3

Pourquoi la minimisation NFA est-elle un problème difficile alors que la minimisation DFA ne l'est pas?

Je sais que nous pouvons minimiser les DFA en trouvant et en fusionnant des états équivalents, mais pourquoi ne pouvons-nous pas faire de même avec les NFA? Je ne cherche pas une preuve ou quelque chose comme ça - à moins qu'une preuve soit plus simple à comprendre. Je veux …

14 complexity-theory finite-automata nondeterminism