L'informatique

2

Algorithme de racine carrée de précision arbitraire entière?

Existe-t-il des algorithmes sous-quadratiques connus pour calculer le plancher de la racine carrée d'un nentier binaire? L'algorithme naïf serait quelque chose comme def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x …

9 algorithms numerical-algorithms

2

Les ordinateurs analogiques et la thèse de Church-Turing

J'aimerais citer Nielsen & Chuang, Quantum Computation and Quantum Information, édition du 10e anniversaire, page 5 (c'est moi qui souligne): Une classe de défis à la forte thèse de Church-Turing vient du domaine du calcul analogique. Au cours des années qui se sont écoulées depuis Turing, de nombreuses équipes différentes …

9 computation-models church-turing-thesis

3

Pourquoi le processeur est-il impliqué pendant l'écho du clavier?

J'étudie actuellement pour un examen d'informatique et je suis tombé sur un concept qui m'a quelque peu déconcerté. Quand on tape une touche sur le clavier, un caractère ASCII est transmis au CPU. Lors de la réception de ce caractère, la CPU émet le même caractère à l'écran. Ce processus …

9 computer-architecture operating-systems user-interface

2

Comment l'utilisation de machines Oracle Turing ne conduit-elle pas à des contradictions?

Comment pouvons-nous nous assurer que nous continuons à faire des déclarations solides et valables sur les classes de complexité lors de l'utilisation d'Oracle Turing Machines? Selon ma compréhension (sur la base des définitions données dans les manuels d'introduction sur le sujet), les machines Oracle Turing peuvent déterminer le statut d'appartenance …

9 complexity-theory oracle-machines

1

Quels sont l'algorithme et la structure de données les plus efficaces pour conserver les informations sur les composants connectés sur un graphique dynamique?

Supposons que j'ai un graphe clairsemé fini non orienté et que je dois être capable d'exécuter efficacement les requêtes suivantes: - renvoie T s'il existe un chemin entre N 1 et, sinonIsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2)TTTN1N1N_1 FN2N2N_2FFF ConnectedNodes(N)ConnectedNodes(N)ConnectedNodes(N) - retourne l'ensemble des nœuds accessibles depuis NNN Cela se fait facilement en pré-calculant les …

9 algorithms graph-theory graphs data-structures

1

Qu'est-ce que la RAM inconsciente et comment fonctionne-t-elle?

Quelqu'un pourrait-il m'expliquer ce qu'est exactement la RAM inconsciente? J'ai trouvé l' explication suivante qui me rend un peu clair, mais je voudrais avoir une idée des aspects techniques: Le chiffrement n'est pas toujours suffisant pour garantir la confidentialité. Si un adversaire peut observer vos modèles d'accès au stockage chiffré, …

9 terminology computer-architecture security memory-hardware memory-access

3

L'immuabilité dans la programmation fonctionnelle existe-t-elle vraiment?

Bien que je travaille en tant que programmeur dans ma vie quotidienne et que j'utilise tous les langages à la mode (Python, Java, C, etc.), je n'ai toujours pas de vision claire de ce qu'est la programmation fonctionnelle. D'après ce que j'ai lu, une propriété des langages fonctionnels est que …

9 data-structures functional-programming

1

Si l'on montre que k-SAT UNIQUE est en P, cela implique-t-il P = NP?

Valiant et Vazirani ont prouvé que la SAT est réductible à la SAT UNIQUE sous des réductions probabilistes randomisées du temps polynomial. Calabro et al . a montré que UNIQUE k-SAT est aussi dur que k-SAT. Maintenant, la question est, si quelqu'un montre que k-SAT UNIQUE est dans P, cela …

9 complexity-theory satisfiability p-vs-np

1

Étant donné n chaînes, l'une d'elles est-elle une sous-chaîne d'une autre?

Supposons que l'on nous donne une collection de chaînes, S 1 , … , S n . Je voudrais savoir si l'une de ces chaînes est une sous-chaîne d'une autre chaîne de la collection. En d'autres termes, j'aimerais un algorithme pour la tâche suivante:nnnS1,…,SnS1,…,SnS_1,\dots,S_n Entrée: S1,…,SnS1,…,SnS_1,\dots,S_n Sortie: telle que S …

9 algorithms strings efficiency substrings

1

Exercice baz_num_elts de Software Foundations

Je suis à l'exercice suivant dans Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] …

9 coq

3

Équivalence de l'analyse du flux de données, de l'interprétation abstraite et de l'inférence de type?

@ La réponse de Babou à une question récente me rappelle qu'à un moment donné, je pense avoir lu un article sur l'équivalence (en termes à la fois des faits qui peuvent être inférés ou prouvés et de la complexité temporelle de l'exécution de l'algorithme d'inférence) de l'analyse du flux …

9 reference-request compilers type-inference program-optimization

1

Quel est le nom du problème? (graphique de partitionnement en trois couvertures)

Je me demandais si ce problème avait un nom: Étant donné un graphique simple dont les bords sont colorés en rouge, bleu et vert, , existe-t-il une coloration vertex telle que chaque bord a un point final avec la même couleur?G = ( V, B ∪ R ∪ G )g=(V,B∪R∪g)G=(V,B\cup …

9 algorithms complexity-theory graphs satisfiability colorings

1

Écriture d'un système d'exploitation multitâche pour un processeur sans MMU

J'ai pensé à écrire un système d'exploitation pour certains des processeurs ARM. Il existe de nombreux ordinateurs à carte unique populaires avec ARM MPU, donc je voulais simplement en acheter un (en choisir un avec une documentation plus ouverte). J'ai été surpris quand j'ai découvert que même les cartes avec …

9 operating-systems memory-management memory-hardware os-kernel

1

Comment fonctionne le terme de momentum pour l'algorithme de rétropropagation?

Lors de la mise à jour des poids d'un réseau neuronal en utilisant l'algorithme de rétropropagation avec un terme de momentum, le taux d'apprentissage devrait-il également être appliqué au terme de momentum? La plupart des informations que j'ai pu trouver sur l'utilisation de l'élan ont les équations ressemblant à ceci: …

9 machine-learning neural-networks

1

Distributions de probabilités et complexité informatique

Cette question concerne l'intersection de la théorie des probabilités et de la complexité de calcul. Une observation clé est que certaines distributions sont plus faciles à générer que d'autres. Par exemple, le problème Étant donné un nombre nnn , renvoyer un nombre uniformément distribué iiiavec 0≤i<n0≤i<n0 \leq i < n …

9 complexity-theory reference-request probability-theory probabilistic-algorithms