L'informatique

1

Quels algorithmes existent pour résoudre les systèmes linéaires de nombres naturels?

Je regarde le problème suivant: Étant donné les vecteurs à dimensions des nombres naturels v 1 , … , v m et un vecteur d'entrée u , u est-il une combinaison linéaire des v i avec des coefficients de nombres naturels?nnnv1, … , Vmv1,…,vmv_1, \ldots, v_muuuuuuvjeviv_i c'est-à-dire qu'il y a …

9 algorithms reference-request linear-algebra integers knapsack-problems

1

Trouver efficacement le GCD par paire maximum d'un ensemble de nombres naturels

Considérez le problème suivant: Soit un sous-ensemble fini des nombres naturels.S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Soit | où est le plus grand diviseur commun de etG={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j)si,sj∈S,si,sj∈S,s_i, s_j \in S, si≠sj}si≠sj} s_i \neq s_j \}gcd(x,y)gcd(x,y)gcd(x,y)xxxyyy Trouver l'élément maximum de .GgG Ce problème peut être …

9 algorithms number-theory

1

Comment reconstruire la forêt d'arbres syntaxiques à partir du vecteur Earley?

L'utilisation du vecteur Earley comme identificateur est assez simple: lorsque la fin de la chaîne est atteinte, il vous suffit de vérifier si la production axiomatique terminée a commencé à la position 0. Si vous en avez au moins une, la chaîne est acceptée. L'utilisation du vecteur Earley pour reconstruire …

9 context-free dynamic-programming parsers ambiguity syntax-trees

2

Les fonctions booléennes sont-elles complètes

Une fonction booléenne est une fonction f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} . La base booléenne (∨,∧)(∨,∧)(\vee,\wedge) est connue pour être complète de Turing car elle permet à toute séquence d'être retournée ou de rester inchangée. On peut en dire autant des portes .X O Rs∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} En ce sens, nous pouvons commencer par une configuration …

9 turing-machines turing-completeness boolean-algebra

6

Les machines Turing supposent-elles quelque chose d'infini à un moment donné?

Dans une question précédente Qu'est-ce qu'un algorithme exactement? , J'ai demandé si avoir un "algorithme" qui renvoie la valeur d'une fonction basée sur un tableau de valeurs précalculées était un algorithme. L'une des réponses qui a retenu mon attention est celle-ci: L'exemple factoriel entre dans un modèle de calcul différent, …

9 turing-machines computation-models

1

Pourquoi l'introsort utilise-t-il l'oreille plutôt que le mergesort?

Dans le cadre d'une affectation de devoirs couvrant la mise en œuvre de l' introsort, on me demande pourquoi le heapsort est utilisé plutôt que le mergesort (ou d'autres algorithmes d'ailleurs). O ( n log( n ) )O(nlog⁡(n))O(n\log(n)) Introsort est un algorithme de tri hybride qui fournit à la fois …

9 algorithms algorithm-analysis sorting

2

Algorithme de remplacement de page d'horloge - Pages déjà existantes

Lors de la simulation de l'algorithme de remplacement de la page d'horloge, lorsqu'une référence est déjà en mémoire, l'aiguille de l'horloge incrémente-t-elle toujours? Voici un exemple: Avec 4 emplacements, en utilisant l'algorithme de remplacement de la page d'horloge Liste de référence: 1 2 3 4 1 2 5 1 3 …

9 algorithms paging virtual-memory

1

Pourquoi l'exactitude du module en virgule flottante est-elle importante?

La plupart des dialectes Smalltalk implémentent actuellement un module flottant inexact naïf (fmod / reste). Je viens de changer cela pour améliorer Squeak / Pharo et éventuellement d'autres adhérences Smalltalk aux normes (IEEE 754, ISO / IEC 10967), comme je l'ai déjà fait pour d'autres opérations en virgule flottante de …

9 arithmetic floating-point

1

Quels sont les défauts de la méthode de sauvegarde réversible de l'informatique réversible?

Je suis un étudiant de premier cycle qui commence tout juste à lire sur l'informatique réversible. Je sais qu'en raison du principe de Landauer, les calculs irréversibles dissipent la chaleur (et les réversibles non). J'en ai parlé avec mon professeur, qui n'avait jamais entendu parler de l'informatique réversible auparavant, et …

9 computability reversible-computing

1

Quels sont les isomorphismes appropriés entre les langages formels?

Un langage formel sur un alphabet Σ est un sous-ensemble de Σ ∗ , c'est-à-dire un ensemble de mots sur cet alphabet. Deux langages formels L et L ′ sont égaux, si les ensembles correspondants sont extensionnellement égaux en tant que sous-ensembles de L ∪ L ′ . On peut …

9 complexity-theory formal-languages reference-request

1

Reconnaître les cours d'eau sur une photo aérienne - polygones d'images de détection de bord

J'essaie de reconnaître les cours d'eau à partir de photographies aériennes (disons de Google Maps). Les gouvernements locaux ont souvent des données SIG qui indiquent où se trouvent les voies navigables (et les routes, les bâtiments, etc.), mais les données sur l'eau sont souvent quelque peu inexactes, et nous pourrions …

9 image-processing

3

Représentation compacte des chemins dans un graphique

J'ai un sous-ensemble des chemins simples dans un graphique. La longueur des chemins est délimitée par .rédd Quelle est la manière la plus compacte (en termes de mémoire) que je peux représenter les chemins de sorte qu'aucun autre chemin en dehors de ceux sélectionnés ne soit représenté? Notez que je …

9 graphs data-structures

2

Inférence de type + surcharge

Je suis à la recherche d'un algorithme d'inférence de type pour un langage que je développe, mais je n'ai pas pu trouver celui qui correspond à mes besoins car ils sont généralement soit: à la Haskell, avec polymorphisme mais sans surcharge ad hoc à la C ++ (auto) dans laquelle …

9 type-theory type-inference

3

Quand devrais-je aller au-delà de k voisin le plus proche

Pour de nombreux projets d'apprentissage automatique que nous faisons, nous commençons par le classificateur k le plus proche voisin. Il s'agit d'un classificateur de départ idéal car nous avons généralement suffisamment de temps pour calculer toutes les distances et le nombre de paramètres est limité (k, métrique de distance et …

9 neural-networks classification

2

Arbre de Huffman et profondeur maximale

Connaissant les fréquences de chaque symbole, est-il possible de déterminer la hauteur maximale de l'arbre sans appliquer l'algorithme de Huffman? Existe-t-il une formule qui donne cette hauteur d'arbre?

9 trees coding-theory