L'informatique

6

Comment pouvons-nous supposer que les opérations de base sur les nombres prennent un temps constant?

Normalement, dans les algorithmes, nous ne nous soucions pas de la comparaison, de l'addition ou de la soustraction de nombres - nous supposons qu'ils sont exécutés dans le temps . Par exemple, nous supposons cela lorsque nous disons que le tri basé sur la comparaison est O ( n log …

74 algorithms complexity-theory algorithm-analysis time-complexity reference-question

9

Pourquoi l'addition est-elle aussi rapide que les opérations en bits dans les processeurs modernes?

Je sais que les opérations binaires sont très rapides sur les processeurs modernes, car ils peuvent fonctionner en parallèle sur 32 ou 64 bits. Les opérations binaires ne prennent donc qu'un cycle d'horloge. Toutefois, l’ajout est une opération complexe qui consiste en au moins une, voire une douzaine d’opérations par …

73 computer-architecture arithmetic circuits cpu digital-circuits

9

Quelles propriétés d'un langage de programmation rendent la compilation impossible?

Question: "Certaines propriétés d'un langage de programmation peuvent nécessiter que le seul moyen d'obtenir l'exécution du code qui y est écrit soit par interprétation. En d'autres termes, la compilation en code machine natif d'un processeur traditionnel n'est pas possible. Quelles sont ces propriétés?" Les compilateurs: principes et pratique par Parag …

72 programming-languages compilers interpreters

4

(Quand) la recherche dans la table de hachage est-elle O (1)?

On dit souvent que la recherche de table de hachage fonctionne à temps constant: vous calculez la valeur de hachage, ce qui vous donne un index pour une recherche de tableau. Pourtant, cela ignore les collisions; dans le pire des cas, chaque élément arrive dans le même compartiment et le …

71 algorithm-analysis data-structures runtime-analysis hash-tables

3

Comment les ordinateurs gardent-ils le temps?

Comment les ordinateurs peuvent-ils indiquer l'heure et la date correctes à chaque fois? À chaque fois que je ferme (arrête) l'ordinateur, toutes les connexions et tous les processus à l'intérieur s'arrêtent. Comment se fait-il que lorsque j'ouvre à nouveau l'ordinateur, il indique l'heure exacte exacte? L'ordinateur ne s'arrête-t-il pas complètement …

69 computer-architecture clocks

6

Pourquoi la machine de Turing est-elle un modèle de calcul populaire?

Je suis un étudiant de premier cycle en CS. Je comprends comment Turing a créé sa machine abstraite (modéliser une personne effectuant un calcul), mais cela me semble être une abstraction maladroite et inélégante. Pourquoi considérons-nous une "bande" et une tête de machine écrivant des symboles, changeant d'état, déplaçant la …

68 turing-machines computation-models

4

Quelle est la nouveauté de MapReduce?

Il y a quelques années, MapReduce a été salué comme une révolution de la programmation distribuée. Il y a eu aussi des critiques, mais dans l'ensemble, il y a eu un battage médiatique enthousiaste. Il a même été breveté! [1] Le nom rappelle mapet reducedans la programmation fonctionnelle, mais quand …

68 algorithms distributed-systems parallel-computing algorithm-design

2

Qu'est-ce que la coinduction?

J'ai entendu parler de l'induction (structurelle). Il vous permet de construire des structures finies à partir de plus petites et vous donne des principes de preuve pour raisonner sur de telles structures. L'idée est assez claire. Mais qu'en est-il de la coinduction? Comment ça marche? Comment peut-on dire quelque chose …

68 terminology logic proof-techniques formal-methods coinduction

1

Comparaison théorique des langages des grammaires LL et LR

Les gens disent souvent que les analyseurs syntaxiques LR (k) sont plus puissants que les analyseurs syntaxiques LL (k) . Ces déclarations sont vagues la plupart du temps; en particulier, devrions-nous comparer les classes pour un fixe ou l'union sur tous les k ? Alors, comment est la situation vraiment? …

68 formal-languages formal-grammars parsers reference-question

6

Vérification formelle du programme en pratique

En tant qu’ingénieur logiciel, j’écris beaucoup de code pour les produits industriels. Trucs relativement compliqués avec des classes, des threads, des efforts de conception, mais aussi des compromis sur les performances. Je fais beaucoup de tests, et j'en ai marre, alors je me suis intéressé aux outils de preuve formels, …

66 programming-languages program-correctness software-verification

7

La législation est-elle complète?

J'aimerais savoir s'il y a eu des travaux reliant le code juridique à la complexité. En particulier, supposons que nous ayons le problème de décision "Compte tenu de ce recueil de lois et de ce cas particulier, le défendeur est-il coupable?" À quelle classe de complexité appartient-il? Il y a …

64 complexity-theory np-complete decision-problem

14

Comment puis-je expliquer à mes parents que j'étudie les langages de programmation?

Je suis en train de terminer ma maîtrise en informatique. Je suis intéressé par les langages de programmation, en particulier dans les systèmes de types. Je me suis intéressé à la recherche dans ce domaine et le semestre prochain, je commencerai un doctorat sur le sujet. Maintenant, voici la vraie …

64 programming-languages education typing research

10

Un langage dynamique comme Ruby / Python peut-il atteindre des performances comparables à celles du C / C ++?

Je me demande s’il est possible de construire des compilateurs pour des langages dynamiques comme Ruby afin d’avoir des performances similaires et comparables à celles du C / C ++? D'après ce que je comprends des compilateurs, prenons Ruby par exemple, compiler du code Ruby ne peut jamais être efficace, …

64 programming-languages compilers

12

Pourquoi les compilateurs n'insèrent-ils pas automatiquement les désallocations?

Dans des langages tels que C, le programmeur est censé insérer des appels pour libérer. Pourquoi le compilateur ne le fait-il pas automatiquement? Les humains le font dans un délai raisonnable (en ignorant les bugs), donc ce n'est pas impossible. EDIT: Pour une référence future, voici une autre discussion qui …

63 compilers memory-management garbage-collection

3

Algorithme en place pour l'entrelacement d'un tableau

On vous donne un tableau de éléments2n2n2n a1,a2,…,an,b1,b2,…bna1,a2,…,an,b1,b2,…bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n La tâche consiste à entrelacer le tableau, en utilisant un algorithme sur place tel que le tableau résultant ressemble à b1,a1,b2,a2,…,bn,anb1,a1,b2,a2,…,bn,anb_1, a_1, b_2, a_2, \dots , b_n, a_n Si l'exigence en place n'existait pas, nous …

62 algorithms arrays permutations in-place