L'informatique

2

Qu'est-ce qui rend PROLOG Turing complet?

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) :- symbol(Rs0, Sym, …

15 programming-languages turing-completeness logic-programming prolog

2

Pourquoi MIPS a-t-il inclus shamt et distingué funct / opcode?

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 l'espace lorsqu'ils …

15 computer-architecture

1

Construire des matrices binaires non équivalentes

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 ( …

15 algorithms combinatorics

1

Tester si un tétraèdre se trouve à l'intérieur d'un polyèdre

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 …

15 algorithms computational-geometry topology

1

Comment fonctionne un TLB et un cache de données?

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é ci-dessous), et je …

15 computer-architecture cpu-cache virtual-memory

1

Pourquoi le taux de compression utilisant bzip2 pour une séquence de «a» est-il si nerveux?

library(ggplot2) compress <- function(str) { length(memCompress(paste(rep("a", str), collapse=""), type="bzip2")) / nchar(paste(rep("a", str), collapse="")) } cr <- data.frame(i = 1:10000, r = sapply(1:10000, compress)) ggplot(cr[cr$i>=5000 & cr$i<=10000,], aes(x=i, y=r)) + geom_line() Le taux de compression commence à 37 pour "a" et atteint le seuil de rentabilité à 39 "a" s (taux …

15 data-compression

6

Comment implémenter deux piles dans une même baie?

Je veux commencer par dire que ce n'est PAS une question de devoirs. Je lis Introduction to Algorithms - le fameux texte CLRS pour devenir un meilleur programmeur. J'essaie de résoudre les problèmes et les exercices donnés dans le livre par moi-même. J'essaie de résoudre Excercise 10.1-2 du chapitre 10 …

15 data-structures arrays stacks

2

Problèmes de décision en

Quels sont quelques exemples de problèmes de décision difficiles qui peuvent être résolus en temps polynomial? Je recherche des problèmes pour lesquels l'algorithme optimal est "lent", ou des problèmes pour lesquels l'algorithme connu le plus rapide est "lent". Voici deux exemples: Reconnaissance de graphes parfaits. Dans leur article FOCS'03 [1] …

15 algorithms complexity-theory reference-request

3

Taille minimale de la sous-traitance d'un DAG dans un nouveau DAG

Nous avons un DAG. Nous avons une fonction sur les nœuds (en gros, nous numérotons les nœuds). Nous aimerions créer un nouveau graphique dirigé avec ces règles:F: V→ NF:V→NF\colon V\to \mathbb N Seuls les nœuds avec le même numéro peuvent être contractés dans le même nouveau nœud. . (Cependant, .)F( …

15 algorithms graphs np-complete reductions

1

Séparation exponentielle entre NFA et DFA en présence de syndicats

Récemment, une question intéressante a été posée puis supprimée. Pour un langage régulier , sa complexité DFA est la taille du DFA minimal qui l'accepte, et sa complexité NFA est la taille du NFA minimal qui l'accepte. Il est bien connu qu'il existe une séparation exponentielle entre les deux complexités, …

15 regular-languages finite-automata

1

Qui sont les législateurs de Paxos?

Dans le document sur les systèmes distribués séminaux The Part Time Parliament (le protocole de Paxos), Leslie Lamport nomme des législateurs fictifs qui sont impliqués dans le protocole du Parlement de Paxon. Selon cet écrit , il note que: J'ai donné aux législateurs grecs les noms des informaticiens travaillant dans …

15 distributed-systems history

6

À quoi servent les treillis?

Wikipédia dit : Des réseaux complets apparaissent dans de nombreuses applications en mathématiques et en informatique S'agit-il simplement du fait que l'algèbre booléenne standard utilisée dans le calcul est un réseau complet? Y a-t-il quelque chose que nous gagnons à travailler au niveau abstrait des réseaux au lieu de la …

15 lattices order-theory

4

Le graphique comporte deux / trois arbres de portée minimale différents?

J'essaie de trouver une méthode efficace pour détecter si un graphe donné G a deux arbres de recouvrement minimal différents. J'essaie également de trouver une méthode pour vérifier si elle a 3 différents arbres couvrant minimal. La solution naïve à laquelle j'ai pensé consiste à exécuter l'algorithme de Kruskal une …

15 algorithms graph-theory graphs spanning-trees

2

Hidoku NP est-il complet?

Un Hidoku est une grille avec quelques entiers préremplis de 1 à . Le but est de trouver un chemin d'entiers successifs (de 1 à ) dans la grille. Plus concrètement, chaque cellule de la grille doit contenir un entier différent de 1 à et chaque cellule de valeur doit …

15 complexity-theory reductions np-hard

3

Exemple d'un langage sans contexte qui peut néanmoins être pompé?

Donc, fondamentalement, L satisfait aux conditions du lemme de pompage pour les CFL mais n'est pas un CFL (ce qui est possible selon la définition du lemme).

15 formal-languages context-free pumping-lemma