J'essaie d'étudier pour un examen et j'ai réalisé que je suis confus quant au fonctionnement du TLB et du cache de données. Je comprends que le TLB est essentiellement un cache des adresses physiques les plus récemment utilisées. Cependant, je regardais un diagramme dans mon manuel (illustré...
Le problème de clique est un problème complet de bien connu NPNPNPoù la taille de la clique requise fait partie de l'entrée. Cependant, le problème de k-clique a un algorithme de temps polynomial trivial ( O(nk)O(nk)O(n^k) lorsque kkk est constant). Je m'intéresse aux bornes supérieures les plus...
D'après ce que j'ai appris, la liaison asymptotiquement étroite signifie qu'elle est liée par le haut et par le bas comme dans la notation thêta. Mais que signifie la limite supérieure asymptotiquement serrée pour la notation
J'essaie de construire toutes les matrices inéquivalentes (ou n × n si vous le souhaitez) avec les éléments 0 ou 1. L'opération qui donne des matrices équivalentes est l'échange simultané de la ligne i et j ET de la colonne i et j. par exemple. pour 1 ↔ 2 ( 0 0 0 0 1 1 1 0 0 ) ∼ ( 1 0 1 0 0 0 0 1...
Je sais qu'il peut être prouvé que PROLOG est Turing-complete en construisant un programme qui simule une machine de Turing comme ceci: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :-...
J'essaie d'envelopper ma tête autour d'une preuve d'exhaustivité NP qui semble tourner autour de SAT / 3CNF-SAT. C'est peut-être l'heure tardive, mais je crains de ne pas pouvoir penser à une formule 3CNF qui ne puisse être satisfaite (il me manque probablement quelque chose d'évident). Pouvez-vous...
J'ai un tétraèdre et un polyèdre . est contraint de telle sorte qu'il partage toujours tous ses sommets avec . Je veux déterminer si se trouve à l' intérieur de .ttt ppptttpppttt ppp Je voudrais ajouter un détail au problème au cas où il pourrait contribuer à la solution: est un tétraèdre de...
Je ne comprends pas pourquoi les concepteurs de MIPS incluraient 5 bits dédiés au décalage et auraient des bits d'opcode et de fonction séparés. Parce que MIPS est tellement RISC, je suppose que seul le décalage serait effectué en quelques instructions, donc ces 5 bits semblent gaspiller de...
Certains CPU ont un registre de drapeaux (ARM, x86, ...), d'autres non (MIPS, ...). Quel est l'avantage d'avoir une instruction CMP pour mettre à jour le registre des drapeaux suivie d'une instruction de branche au lieu d'utiliser un registre zéro et des branches conditionnelles pour vérifier le...
Un puzzle "Flow Free" se compose d'un entier positif et d'un ensemble de paires (non ordonnées) de sommets distincts dans le graphique de grille sorte que chaque sommet se trouve dans au plus une paire. Une solution à un tel casse-tête est un ensemble de chemins non orientés dans le graphique de...
Il est possible d'analyser un document en un seul passage depuis une machine d'état. Quel est l'avantage d'avoir deux passes, à savoir. avoir un lexer pour convertir du texte en jetons, et avoir un analyseur pour tester les règles de production sur ces jetons? Pourquoi ne pas avoir un seul passage...
J'ai lu l'algèbre linéaire et ses applications pour aider à comprendre le matériel informatique (principalement l'apprentissage automatique), mais je crains que beaucoup d'informations ne soient pas utiles à CS. Par exemple, savoir comment résoudre efficacement des systèmes d'équations linéaires ne...
L'automne dernier, j'ai fait une visite du supercalculateur Blue Waters à l'Université de l'Illinois. J'ai demandé si quelqu'un avait déjà utilisé tout l'ordinateur. On m'a dit qu'il travaillait toujours sur plusieurs projets. Cela m'a fait me questionner sur l'utilité des superordinateurs....
Dans mon manuel, il est mentionné que: où est une langue vide.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Cependant, nous savons que , où est n'importe quelle langue.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Je ne suis pas en mesure de saisir intuitivement ce concept car l'opération de...
Que signifie ?logO(1)nlogO(1)n\log^{O(1)}n Je connais la notation big-O, mais cette notation n'a aucun sens pour moi. Je ne trouve rien non plus à ce sujet, car il n'y a aucun moyen qu'un moteur de recherche interprète cela correctement. Pour un peu de contexte, la phrase où je l'ai trouvée se lit...
Un algorithme de temps pseudo-polynomial est un algorithme qui a un temps d'exécution polynomial sur la valeur d'entrée (amplitude) mais un temps d'exécution exponentiel sur la taille d'entrée (nombre de bits). Par exemple, tester si un nombre est premier ou non, nécessite une boucle à travers les...
Dans l'article de Philip Wadler sur les théorèmes gratuits, il déclare dans la section 2 sur la paramétrie que il n'y a pas de modèles naïfs de théorie des ensembles du calcul lambda polymorphe Dans le modèle naïf de la théorie des ensembles, les types sont des ensembles et les fonctions sont des...
Soit Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un langage L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* est dit d'avoir la propriété « anti-palindrome » si pour chaque chaîne www qui est un palindrome, w∉Lw∉Lw\notin L . De plus, pour chaque chaîne uuu qui n'est pas un palindrome, soit u∈Lu∈Lu\in L ou...
Je connais très bien Dijkstra et j'ai une question spécifique sur l'algorithme. Si j'ai un énorme graphique, par exemple 3,5 milliards de nœuds (toutes les données OpenStreetMap), je ne pourrais clairement pas avoir le graphique en mémoire, donc le graphique est stocké sur disque dans une base de...
Supposons deux listes d'éléments comparables: u et s. Soit INV (u) le nombre d'inversions dans u. Je recherche un algorithme efficace pour insérer les éléments de s dans u avec une augmentation minimale de INV (u). Fondamentalement, je voudrais insérer des objets dans une liste tout en la gardant...