L'informatique

5

Qu'est-ce qui rend une langue «optimisée» pour une tâche spécifique?

Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. Il existe souvent des langages de programmation spécialisés pour des tâches spécifiques. …

15 programming-languages

9

Comment trouver 5 valeurs répétées en temps O (n)?

Supposons que vous ayez un tableau de taille contenant des entiers de à inclus, avec exactement cinq répétitions. J'ai besoin de proposer un algorithme qui puisse trouver les nombres répétés en temps . Je ne peux, pour ma vie, penser à rien. Je pense que le tri, au mieux, serait …

15 algorithms arrays searching

4

Inégalité causée par l'inexactitude du flotteur

Au moins en Java, si j'écris ce code: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; la valeur de serait . Je crois que cela est dû au …

15 arithmetic floating-point numerical-algorithms

1

Classes de complexité relatives à la liste de toutes les solutions?

Je lisais une question sur Stack Overflow demandant si c'était NP- difficile de lister tous les cycles simples dans un graphique contenant un nœud particulier et il m'est venu à l'esprit que je ne pouvais penser à aucune classe de complexité existante qui était bien adaptée pour parler de problèmes …

15 complexity-theory reference-request complexity-classes enumeration

6

Qu'est-ce qui différencie précisément l'informatique des mathématiques dans un contexte théorique?

Je suis un étudiant universitaire en informatique ayant une grande passion pour étudier les mathématiques. Je suis fermement convaincu que l'informatique ou l'informatique théorique est une branche directe des mathématiques et de la logique et je suis également d'avis qu'un diplôme en informatique doit toujours être orienté mathématiques en fait. …

15 mathematical-foundations

2

Insertion efficace dans la liste en gardant un nombre minimal d'inversions

Supposons deux listes d'éléments comparables: u et s. Soit INV (u) le nombre d'inversions dans u. Je recherche un algorithme efficace pour insérer les éléments de s dans u avec une augmentation minimale de INV (u). Fondamentalement, je voudrais insérer des objets dans une liste tout en la gardant "aussi …

15 algorithms sorting

1

Pas de modèles théoriques naïfs de calcul lambda polymorphe?

Dans l'article de Philip Wadler sur les théorèmes gratuits, il déclare dans la section 2 sur la paramétrie que il n'y a pas de modèles naïfs de théorie des ensembles du calcul lambda polymorphe Dans le modèle naïf de la théorie des ensembles, les types sont des ensembles et les …

15 functional-programming

3

Trouver des exemples de langues «anti-palindromiques»

Soit Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un langage L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* est dit d'avoir la propriété « anti-palindrome » si pour chaque chaîne www qui est un palindrome, w∉Lw∉Lw\notin L . De plus, pour chaque chaîne uuu qui n'est pas un palindrome, soit u∈Lu∈Lu\in L ou Reverse(u)∈LReverse(u)∈L\mathrm{Reverse}(u) \in …

15 formal-languages

4

Algorithme de Dijkstra sur d'énormes graphes

Je connais très bien Dijkstra et j'ai une question spécifique sur l'algorithme. Si j'ai un énorme graphique, par exemple 3,5 milliards de nœuds (toutes les données OpenStreetMap), je ne pourrais clairement pas avoir le graphique en mémoire, donc le graphique est stocké sur disque dans une base de données. Il …

15 algorithms graph-theory graphs shortest-path

1

Pourquoi séparer lexing et analyse?

Il est possible d'analyser un document en un seul passage depuis une machine d'état. Quel est l'avantage d'avoir deux passes, à savoir. avoir un lexer pour convertir du texte en jetons, et avoir un analyseur pour tester les règles de production sur ces jetons? Pourquoi ne pas avoir un seul …

15 compilers parsers

2

Opération Kleene Star sur la langue vide

Dans mon manuel, il est mentionné que: où est une langue vide.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Cependant, nous savons que , où est n'importe quelle langue.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Je ne suis pas en mesure de saisir intuitivement ce concept car l'opération de l'étoile de Kleene indique que .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 …

15 formal-languages kleene-star

2

but des superordinateurs

L'automne dernier, j'ai fait une visite du supercalculateur Blue Waters à l'Université de l'Illinois. J'ai demandé si quelqu'un avait déjà utilisé tout l'ordinateur. On m'a dit qu'il travaillait toujours sur plusieurs projets. Cela m'a fait me questionner sur l'utilité des superordinateurs. Peut-être que Blue Waters est inhabituelle en ce qu'elle …

15 computer-architecture

4

Que signifie ?

Que signifie ?logO(1)nlogO(1)⁡n\log^{O(1)}n Je connais la notation big-O, mais cette notation n'a aucun sens pour moi. Je ne trouve rien non plus à ce sujet, car il n'y a aucun moyen qu'un moteur de recherche interprète cela correctement. Pour un peu de contexte, la phrase où je l'ai trouvée se …

15 asymptotics landau-notation

1

Les puzzles «sans flux» sont-ils durs en NP?

Un puzzle "Flow Free" se compose d'un entier positif et d'un ensemble de paires (non ordonnées) de sommets distincts dans le graphique de grille sorte que chaque sommet se trouve dans au plus une paire. Une solution à un tel casse-tête est un ensemble de chemins non orientés dans le …

15 np-hard square-grid

4

pourquoi les architectures CPU utilisent-elles un registre de drapeaux (avantages?)

Certains CPU ont un registre de drapeaux (ARM, x86, ...), d'autres non (MIPS, ...). Quel est l'avantage d'avoir une instruction CMP pour mettre à jour le registre des drapeaux suivie d'une instruction de branche au lieu d'utiliser un registre zéro et des branches conditionnelles pour vérifier le signe, le débordement, …

15 computer-architecture