L'informatique

11

Le hasard de von Neumann dans la citation de péché n'est-il plus applicable?

Un type a dit ce qui suit: Quiconque tente de générer des nombres aléatoires par des moyens déterministes vit, bien sûr, dans un état de péché. Cela signifie toujours que vous ne pouvez pas générer de vrais nombres aléatoires avec juste un ordinateur. Et il a dit que lorsque les …

25 randomness data-compression entropy random-number-generator

2

Structure de données cartographiques efficace prenant en charge la recherche approximative

Je recherche une structure de données qui prend en charge des recherches approximatives efficaces de clés (par exemple, la distance de Levenshtein pour les chaînes), renvoyant la correspondance la plus proche possible pour la clé d'entrée. La structure de données la mieux adaptée que j'ai trouvée jusqu'à présent est celle …

25 data-structures strings efficiency

6

Quelle est la relation entre les langages de programmation, les expressions régulières et les langages formels

J'ai cherché sur le net une réponse à cette question et il semble que tout le monde connaisse implicitement la réponse sauf moi. On peut supposer que cela est dû au fait que les seules personnes qui s’en soucient sont celles qui ont fait des études supérieures sur le sujet. …

25 formal-languages programming-languages regular-expressions

2

Existe-t-il des preuves que l'utilisation de langages dynamiques a un impact sur la productivité?

Je me demande s'il y a des expériences qui montrent l'existence ou la non-existence d'une corrélation entre l'utilisation d'un langage dynamique (comme Python, Ruby ou même des langages qui s'exécutent sur la plate-forme Java comme Groovy, Clojure) sur un langage statique (comme C / C ++), et la différence de …

25 programming-languages empirical-research software-engineering

1

Pourquoi l'algorithme de rotation de l'arbre d'affichage prend-il en compte le nœud parent et grand-parent?

Je ne comprends pas très bien pourquoi la rotation dans la structure de données de l'arbre d'affichage prend en compte non seulement le parent du nœud de notation, mais aussi le grand-parent (opération zig-zag et zig-zig). Pourquoi les éléments suivants ne fonctionneraient-ils pas: Lorsque nous insérons, par exemple, un nouveau …

25 algorithms data-structures binary-trees search-trees

4

Comment prouver qu'une grammaire est sans ambiguïté?

Mon problème est de savoir comment prouver qu'une grammaire est sans ambiguïté? J'ai la grammaire suivante: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } …

25 context-free formal-grammars proof-techniques ambiguity

5

Pourquoi ce problème indécidable dans NP?

Il n'y a clairement aucun problème indécidable dans NP. Cependant, selon Wikipedia : NP est l'ensemble de tous les problèmes de décision pour lesquels les cas où la réponse est "oui" ont [.. des preuves qui sont] vérifiables en temps polynomial par une machine de Turing déterministe. [...] Un problème …

25 complexity-theory computability undecidability decision-problem

1

Quelle est la température dans le LSTM (et les réseaux de neurones en général)?

L'un des hyperparamètres des réseaux LSTM est la température. Qu'Est-ce que c'est?

25 machine-learning neural-networks

3

Le problème P vs NP deviendrait-il trivial à la suite du développement des ordinateurs quantiques universels?

Si quelqu'un devait construire un ordinateur quantique universel, cela aurait-il des implications sur le problème de P contre NP?

25 complexity-theory complexity-classes quantum-computing

2

Y a-t-il des problèmes faciles à calculer mais difficiles à vérifier?

En supposant que P NP, les problèmes NP-complets sont "difficiles à résoudre, mais ont des réponses faciles à vérifier". Est-il sensé de considérer le contraire, c'est-à-dire des problèmes pour lesquels il est facile de calculer une réponse correcte, mais difficile de vérifier une prétendue solution arbitraire?≠≠\neq Je pense qu'un tel …

25 complexity-theory

3

Quels algorithmes ne peuvent pas être parallélisés?

Existe-t-il un algorithme très difficile à paralléliser ou la recherche est-elle toujours active? Je voulais connaître tout algorithme ou tout domaine de recherche en calcul parallèle. Tout ce que j'ai recherché a une implémentation «parallèle». Je veux juste faire une étude sur n'importe quel domaine informatique parallèle inexploré.

24 algorithms parallel-computing

6

Est-ce que deux arbres couvrant un graphe simple ont toujours des bords communs?

J'ai essayé quelques cas et j'ai trouvé que deux arbres couvrant un graphique simple avaient des bords communs. Je veux dire que je n'ai pas trouvé de contre-exemple jusqu'à présent. Mais je n'ai pas pu prouver ou réfuter cela non plus. Comment prouver ou infirmer cette conjecture?

24 graphs graph-theory spanning-trees

3

Tous les générateurs de nombres pseudo-aléatoires sont-ils finalement périodiques?

Tous les générateurs de nombres pseudo-aléatoires sont-ils finalement périodiques? Ou sont-ils finalement périodiques? Par périodique, je veux dire que, comme les nombres rationnels, ils génèrent finalement une sous-séquence périodique ... Et pseudo-aléatoire signifie génération algorithmique / mathématique de nombres aléatoires ...

24 randomness pseudo-random-generators

3

Est-il vraiment possible de prouver des limites inférieures?

Compte tenu de tout problème de calcul, la tâche de trouver des limites inférieures pour un tel calcul est-elle vraiment possible? Je suppose que cela se résume à la façon dont une seule étape de calcul est définie et quel modèle nous utilisons pour la preuve, mais étant donné que, …

24 complexity-theory time-complexity proof-techniques lower-bounds

7

Pourquoi A implique B vrai si A est faux et B est faux?

Il me semble que le «implique» en anglais ne signifie pas la même chose que l'opérateur logique «implique», de la même manière que le mot «OU» dans la plupart des cas signifie «OU exclusif» dans notre utilisation quotidienne de la langue. Prenons deux exemples: Si aujourd'hui est lundi, demain est …

24 terminology logic first-order-logic propositional-logic