L'informatique

9

Y at-il des problèmes qui deviennent plus faciles avec leur taille?

C'est peut-être une question ridicule, mais est-il possible d'avoir un problème qui devient réellement plus facile à mesure que les intrants grossissent? Je doute que des problèmes pratiques se présentent de la sorte, mais peut-être pourrions-nous inventer un problème dégénéré qui possède cette propriété. Par exemple, il commence peut-être à …

62 algorithms asymptotics

6

Calcul distribué vs parallèle

J'entends souvent des gens parler d' informatique parallèle et d'informatique distribuée , mais j'ai l'impression qu'il n'y a pas de frontière claire entre les 2, et les gens ont tendance à confondre cela assez facilement, alors que je pense que c'est très différent: L' informatique parallèle est plus étroitement couplée …

61 terminology distributed-systems parallel-computing

6

Pourquoi ne combinons-nous pas des générateurs de nombres aléatoires?

Il existe de nombreuses applications dans lesquelles un générateur de nombres pseudo aléatoires est utilisé. Ainsi, les gens en implémentent un qu’ils jugent bon de constater plus tard qu’il est défectueux. Quelque chose comme cela s’est passé récemment avec le générateur de nombres aléatoires Javascript. RandU beaucoup plus tôt aussi. …

60 pseudo-random-generators random-number-generator

10

Puissance informatique humaine: Les humains peuvent-ils décider du problème qui s’arrête sur Turing Machines?

Nous savons que le problème d’arrêt (sur les machines de Turing) est indécidable pour les machines de Turing. Y a-t-il des recherches sur la capacité de l'esprit humain à gérer ce problème, éventuellement avec l' aide de Turing Machines ou d'ordinateurs à usage général? Note : Évidemment, dans le sens …

60 computability turing-machines halting-problem human-computing

5

Le zéro est-il autorisé comme poids d'un bord dans un graphique pondéré?

J'essaie d'écrire un script qui génère des graphiques aléatoires et j'ai besoin de savoir si une arête d'un graphique pondéré peut avoir la valeur 0. En fait, il est logique que 0 puisse être utilisé comme poids d’un bord, mais j’ai travaillé avec des graphiques ces derniers jours et je …

60 algorithms graph-theory graphs weighted-graphs

8

Intuition algorithmique pour la complexité logarithmique

Je pense avoir une compréhension raisonnable des complexités telles que , et .Θ ( n ) Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) En termes de liste, est une recherche constante, donc il ne fait que prendre la tête de la liste. est l'endroit où je parcourrais toute la liste, et parcourait …

60 algorithms complexity-theory time-complexity intuition

3

Opérations logiques booléennes expresses en programmation linéaire zéro entier (ILP)

J'ai un programme linéaire entier (ILP) avec des variables destinées à représenter des valeurs booléennes. Les sont contraints d'être des entiers et de contenir 0 ou 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Je veux exprimer des opérations booléennes sur ces variables à …

58 linear-programming integer-programming

3

Types dépendants vs types de raffinement

Quelqu'un pourrait-il expliquer la différence entre les types dépendants et les types de raffinement? Si je comprends bien, un type de raffinement contient toutes les valeurs d’un type satisfaisant un prédicat. Existe-t-il une caractéristique des types dépendants qui les distingue? Si cela peut aider, je suis tombé sur les types …

58 terminology programming-languages type-theory functional-programming dependent-types

4

Pourquoi est-il préférable d'utiliser un nombre premier comme mod dans une fonction de hachage?

Si j'ai une liste de valeurs de clé allant de 1 à 100 et que je souhaite les organiser dans un tableau de 11 compartiments, on m'a appris à former une fonction mod H= k mod 11 H=kmod 11 H = k \bmod \ 11 Maintenant, toutes les valeurs seront …

58 data-structures hash hash-tables primes

12

Un octet contient-il 8 bits ou 9?

J'ai lu dans ce tutoriel de programmation d'assemblage que 8 bits sont utilisés pour les données et 1 bit pour la parité, qui est ensuite utilisée pour détecter une erreur de parité (provoquée par un défaut matériel ou une perturbation électrique). Est-ce vrai?

56 computer-architecture numeral-representations

9

Quelles seraient les implications réelles d'une preuve constructive ?

J'ai une compréhension de haut niveau du problème et je comprends que s'il était absolument "avéré" d'être vrai avec une solution fournie, cela ouvrirait la porte à la résolution de nombreux problèmes du domaine de l'informatique.P=NPP=NPP=NP Ma question est la suivante: si quelqu'un publiait une preuve constructive incontestable de , …

56 complexity-theory p-vs-np

6

Si tout le monde croit P ≠ NP, pourquoi tout le monde est-il sceptique quant aux tentatives de preuve de P P NP?

Beaucoup semblent croire que , mais beaucoup pensent aussi qu'il est très improbable que cela soit prouvé. N'y a-t-il pas une certaine incohérence à cela? Si vous estimez qu'une telle preuve est improbable, vous devez également croire que les arguments solides en faveur de font défaut. Ou bien existe-t-il de …

55 complexity-theory p-vs-np

6

Existe-t-il des critères minimums pour qu'un langage de programmation soit complet?

Existe-t-il un ensemble de constructions de langage de programmation dans un langage de programmation afin que celui-ci soit considéré comme Turing Complete? D'après ce que je peux dire sur wikipedia , la langue doit prendre en charge la récursion ou, apparemment, doit pouvoir fonctionner sans interruption. Est-ce tout ce qu'il …

55 computability programming-languages turing-machines turing-completeness

8

Quel est l'algorithme de tri le plus rapide pour un tableau d'entiers?

J'ai rencontré de nombreux algorithmes de tri au cours de mes études secondaires. Cependant, je ne sais jamais lequel est le plus rapide (pour un tableau aléatoire d'entiers). Donc mes questions sont: Quel est l'algorithme de tri le plus rapide actuellement connu? Théoriquement, est-il possible qu'il y en ait des …

55 algorithms time-complexity optimization sorting

8

Le code Morse sans espaces est-il uniquement déchiffrable?

Toutes les chaînes de code Morse sont-elles uniquement déchiffrables? Sans les espaces, ......-...-..---.-----.-..-..-.. pourrait être, Hello Worldmais peut-être que la première lettre est un 5- en fait, cela semble très improbable, une séquence arbitraire de points et de tirets devrait avoir une traduction unique. On pourrait éventuellement utiliser l' inégalité …

54 information-theory coding-theory