Je pensais que cette question était mieux servie dans la partie CS de Stack Exchange. Maintenant que nous avons des GPGPU avec des langages comme CUDA et OpenCL, les extensions multimédia SIMD (SSE / AVX / NEON) ont-elles toujours une utilité? J'ai lu récemment un article sur la façon dont les...
Nos ordinateurs actuels utilisent des bits, ils utilisent donc le système numérique binaire. Mais j'ai entendu dire que les futurs ordinateurs quantiques utiliseront des qubits au lieu de simples bits. Puisque dans le mot "qubit" il y a le mot "bi", j'ai d'abord pensé que cela signifiait que les...
Lorsqu'une interruption se produit, le processeur prévaut le processus en cours et appelle le code du noyau pour gérer l'interruption. Comment le processeur sait-il où entrer dans le noyau? Je comprends qu'il existe des gestionnaires d'interruptions qui peuvent être installés pour chaque ligne...
Certains hyperviseurs optimisent l'utilisation de la mémoire à l'aide d'une méthode appelée bulle (du moins c'est ce que KVM l'appelle), cette méthode déduplique la mémoire entre les machines virtuelles et définit les pages communes en lecture seule avec copie en écriture. C'est en quelque sorte...
Je me moquais de l'autre jour sur ce site Web: http://regexcrossword.com/ et cela m'a fait me demander quelle était la meilleure façon de le résoudre. Pouvez-vous résoudre le problème suivant en temps polynomial ou est-il NP-difficile? Étant donné une grille NxM avec N expressions régulières pour...
Je suis toujours un peu confus avec les termes "longueur d'entrée" et "taille d'entrée" lorsqu'ils sont utilisés pour analyser et décrire la limite supérieure asymptomatique d'un algorithme Il semble que la longueur d'entrée de l'algorithme dépende en grande partie du type de données et de...
La page de problème d'isomorphisme de Wikipedia semble indiquer que non, elle n'a pas été résolue. Cependant, un de mes amis a souligné un algorithme de temps polynomial pour l'isomorphisme graphique . Je ne suis pas assez sophistiqué pour suivre le raisonnement du document. J'ai ma propre...
J'ai trouvé que si je ne comprends pas l'étymologie derrière un terme cs / programmation, cela signifie généralement que j'ai manqué ou mal compris un concept sous-jacent important. Je ne comprends pas pourquoi l'étoile Kleene est aussi appelée la fermeture Kleene. Est-ce lié aux fermetures de...
Je pensais avoir bien compris la saisie dépendante (DT), mais la réponse à cette question: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-intuitionistic-type-theory m'a fait penser le contraire. Après avoir lu sur DT et essayé de comprendre ce qu'ils sont, j'essaie de me...
En 1962, vous pourriez gagner un prix de 10 000 $ (environ 80 000 $ en argent d'aujourd'hui) si vous trouviez la solution à un problème de vendeur ambulant euclidien défini dans 33 villes. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html En regardant l'image, le problème semble assez...
Je suis en train de lire un livre sur un sujet informatique, mais je manque de connaissances préalables. Normalement, lorsque je rencontre des termes que je ne comprends pas, je les recherche simplement, mais pour la recherche universelle, je n'ai tout simplement pas été en mesure de trouver une...
Contexte \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr...
Je me demande si décider de la décidabilité du problème est un problème décidable. Je suppose que non, mais après des recherches initiales, je ne trouve aucune documentation sur ce
J'essaie de comprendre l'existence de langues non reconnaissables. Pour cela, j'ai besoin de savoir pourquoi une machine Turing ne reconnaît qu'une seule langue, pas plusieurs. Pourquoi
J'ai un problème avec cet exercice: Soit G la grammaire ambiguë suivante pour le λ-calcul: E → v | λv.E | EE | (E) où E est le symbole non terminal unique, λv.E représente l'abstraction par rapport à la variable v dans E et EE représente l'application. Définissez une grammaire LL (1) G ′ telle que...
La fonction de comptage de nombres premiers , rétrogradée , est définie comme le nombre de nombres premiers inférieurs ou égaux à x .π(x)π(x)\pi(x)xxx Nous pouvons définir un problème de décision à partir de comme suit:π(x)π(x)\pi(x) Étant donné deux nombres et n , écrits en binaire, décidez si π (...
J'ai vu dans ce post sur stackoverflow qu'il existe des algorithmes relativement rapides pour tamiser un intervalle de nombres pour voir s'il y a un nombre premier dans cet intervalle. Cependant, cela signifie-t-il que le problème de décision global de: (Existe-t-il un nombre premier dans un...
Beaucoup de problèmes indécidables «célèbres» sont néanmoins au moins semi-décidables, leur complément étant indécidable. Un exemple par-dessus tout peut être le problème de l'arrêt et son complément. Cependant, quelqu'un peut-il me donner un exemple dans lequel un problème et son complément sont...
Y a-t-il des modifications qui pourraient être apportées aux processeurs pour les rendre plus performants pour des exécutions simultanées comme Rust? Par exemple, y a-t-il des changements dans les implémentations de prédiction de branche ou les tailles de cache qui pourraient aider les exécutions...
Je viens de trouver cette phrase à la page 6 de "Ordinateurs et intractabilité" de Garey et Johnson. Tout algorithme dont la fonction de complexité temporelle ne peut pas être ainsi bornée est appelé algorithme de temps exponentiel (bien qu'il convient de noter que cette définition inclut certaines...