L'informatique

1

Cela semble être une question qui devrait avoir une réponse facile, mais je n'en ai pas de définitive: nnna , pa,pa, pun mod pamodpa\bmod p Diviser simplement uneaa par ppp prendrait le temps O ( M( n ) )O(M(n))O(M(n)) où M( n )M(n)M(n) est la complexité de la multiplication. Mais …

23 algorithms number-theory

8

Langage de programmation où chaque expression a du sens

Par recommandation, je republie cela à partir de Stack Overflow . Récemment, j'ai réfléchi au problème suivant. Considérez le code pour un standard "Bonjour tout le monde!" programme: main() { printf("Hello World"); } Maintenant, presque tout changement dans ce code le rendra complètement inutile, en fait presque chaque changement empêchera …

23 programming-languages computation-models

5

Quelle est la différence entre la détection d'objets, la segmentation sémantique et la localisation?

J'ai lu ces mots dans de nombreuses publications et j'aimerais avoir de belles définitions pour ces termes qui montrent clairement quelle est la différence entre la détection d'objet et la segmentation sémantique et la localisation. Ce serait bien si vous pouviez donner des sources pour vos définitions.

23 terminology computer-vision

4

Comment les ramasseurs de déchets évitent-ils les débordements de pile?

Je pensais donc au fonctionnement des ramasseurs d'ordures et j'ai pensé à un problème intéressant. Vraisemblablement, les ramasseurs d'ordures doivent traverser toutes les structures de la même manière. Ils ne peuvent pas savoir le temps qu'ils parcourent une liste chaînée ou un arbre équilibré ou autre. Ils ne peuvent pas …

23 programming-languages memory-management garbage-collection

2

Pourquoi le push_back dans les vecteurs C ++ est-il constamment amorti?

J'apprends le C ++ et j'ai remarqué que le temps d'exécution de la fonction push_back pour les vecteurs est constant "amorti". La documentation note en outre que "Si une réallocation se produit, la réallocation est elle-même jusqu'à linéaire dans toute la taille." Cela ne devrait-il pas signifier que la fonction …

23 algorithms time-complexity amortized-analysis

10

Un langage d'assemblage universel pour tous les ordinateurs est-il possible?

Je voudrais poser quelques questions sur le langage de l'Assemblée. Ma compréhension est qu'il est très proche du langage machine, ce qui le rend plus rapide et plus efficace. Étant donné que différentes architectures informatiques existent, cela signifie-t-il que je dois écrire du code différent dans Assembly pour différentes architectures? …

23 programming-languages computer-architecture

10

Pourquoi le non-déterminisme est-il un concept utile?

Un automate est un modèle abstrait d'un ordinateur numérique. Les ordinateurs numériques sont complètement déterministes; leur état à tout moment est uniquement prévisible à partir de l'entrée et de l'état initial. Lorsque nous essayons de modéliser des systèmes réels, pourquoi inclure le non-déterminisme dans la théorie des automates?

23 automata nondeterminism applied-theory

4

Quelle est la différence entre un réseau de neurones, un système d'apprentissage profond et un réseau de croyances profondes?

Quelle est la différence entre un réseau de neurones, un système d'apprentissage profond et un réseau de croyances profondes? Si je me souviens bien, votre réseau de neurones de base est une sorte de truc à 3 couches, et j'ai décrit les systèmes de croyance profonde comme étant des réseaux …

23 machine-learning neural-networks boltzmann-machine

3

Catégorisation des systèmes de types (fort / faible, dynamique / statique)

En bref: comment les systèmes de types sont-ils classés dans des contextes académiques; en particulier, où puis-je trouver des sources fiables qui rendent les distinctions entre les différents types de système de types clairs? Dans un sens, la difficulté avec cette question n'est pas que je ne trouve pas de …

23 reference-request programming-languages type-theory

1

Regroupement de chansons (le problème de Joe Walsh)

Les Eagles sont un super groupe rock des années 70 et 80, responsable de classiques tels que Hotel California . Ils ont deux sons assez distincts, l'un où le guitariste Joe Walsh est présent (par exemple, dans Life in the Fast Lane ) et l'autre où il est absent. Ces …

23 machine-learning modelling

1

Comment fonctionne la table de routage de Populating Pastry?

Cette question a été migrée à partir de Software Engineering Stack Exchange car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . J'essaie d'implémenter la table de hachage distribuée de pâtisserie, mais certaines choses échappent à ma compréhension. J'espérais que quelqu'un pourrait …

23 algorithms data-structures distributed-systems hash-tables

5

-calcul avec réflexion

Je recherche un calcul simple qui prend en charge le raisonnement sur la réflexion , à savoir l'introspection et la manipulation des programmes en cours d'exécution. Existe-t-il une extension -calculus non typée qui permet de convertir termes en une forme qui peut être manipulée syntaxiquement puis évaluée par la suite?λλλ\lambdaλλ\lambda …

23 logic lambda-calculus semantics reflection

8

Quel hasard est vraiment

Je suis un étudiant en informatique et je suis actuellement inscrit au cours de simulation et modélisation de systèmes. Cela implique de gérer les systèmes quotidiens autour de nous et de les simuler dans différents scénarios en générant des nombres aléatoires dans différentes courbes de distribution, comme l'IID, la gaussienne, …

23 randomness modelling

2

Payer collectivement le problème de la facture

Il y a personnes à une table. La ème personne doit payer dollars.nnnjejeipjepjep_i Certaines personnes n'ont pas les bonnes factures pour payer exactement , alors elles proposent l'algorithme suivant.pjepjep_i Tout d'abord, tout le monde met une partie de son argent sur la table. Ensuite, chaque individu reprend l'argent qu'il a …

23 algorithms optimization

1

Y a-t-il un équivalent d'arbres van Emde Boas pour les cordes?

Quelqu'un que je connais envisage d'implémenter un éditeur de texte dans un avenir proche, ce qui m'a incité à réfléchir au type de structures de données rapides pour un éditeur de texte. Les structures les plus utilisées sont apparemment des cordes ou des tampons d'espacement . Les arbres Van Emde …

23 data-structures