Je pense que je sais ce qu'est un système d'exploitation en temps réel "dur". Il s'agit d'un système d'exploitation avec un planificateur qui fournit un contrat avec le programmeur d'application. Une application fournit un délai à chaque demande d'allocation de ressources. Si les demandes de délai...
Les solveurs SAT sont de plus en plus efficaces dans la résolution de grandes instances et sont utilisés comme back-end dans divers contextes. Chaque fois que l'on veut les utiliser pour résoudre un problème dans un domaine spécifique, il / elle doit proposer un encodage ad hoc qui a non seulement...
Selon Wikipedia , L'opération de test et de configuration peut résoudre le problème du consensus sans attente pour pas plus de deux processus simultanés. Pourquoi ne peut-il pas résoudre le problème pour plus de deux
xorporte, maintenant je dois construire cette porte en utilisant seulement 4 nandportes a b out 0 0 0 0 1 1 1 0 1 1 1 0 le xor = (a and not b) or (not a and b), qui est A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Je connais la réponse, mais comment obtenir le...
Je vous donne une liste de nnn vecteurs bit de largeur kkk . Votre objectif est de renvoyer deux vecteurs de bits de la liste qui n'ont pas de 1 en commun, ou bien de signaler qu'aucune telle paire n'existe. Par exemple, si je vous donne [00110,01100,11000][00110,01100,11000][00110, 01100, 11000]...
Dans mon cours sur les algorithmes et les structures de données , les professeurs, les diapositives et le livre ( Introduction aux algorithmes, 3e édition ) ont utilisé le mot NILpour désigner par exemple un enfant d'un nœud (dans un arbre) qui n'existe pas. Une fois, pendant une conférence, au...
De mes lectures sur les systèmes d'exploitation (lecture du matériel de base sur Wikipedia, les sites technologiques, etc.), j'ai appris que le système d'exploitation est un programme qui permet aux programmes et aux applications d'interagir avec le matériel de manière efficace et sûre. Cependant,...
J'ai lu quelque part que le plus algorithme efficace trouvé peut calculer les facteurs le temps, mais le code que j'ai écrit est O ( n ) ou éventuellement O ( n log n ) en fonction de la rapidité de la division et du module. Je suis sûr que j'ai mal compris quelque chose, mais je ne sais pas où....
Par exemple, lorsque nous considérons un DFA qui autorise les chaînes n'ayant aucune sous-chaîne 00ou 11je peux produire les deux DFA suivants:
Il y a beaucoup (et je veux dire beaucoup) de langues dénombrables qui sont décidables par Turing. Est-ce qu'une langue innombrable peut être décidable de
Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Texte original: Yeux étranges vus près du lac Encodé : 0000101100000110011100010101101101001111101011111100011001111110100100101 Pourquoi n'y a-t-il pas besoin d'un séparateur dans l'encodage...
De Wikipedia: En informatique théorique, l'exactitude d'un algorithme est affirmée quand on dit que l'algorithme est correct par rapport à une spécification. Mais le problème est que pour obtenir la spécification "appropriée" n'est pas une tâche triviale, et il n'y a pas de méthode correcte à 100%...
La boîte noire de f(x)f(x)f(x) signifie que je peux évaluer le polynôme f(x)f(x)f(x) à tout moment. Entrée : Une boîte noire de polynôme monique de degré d .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Sortie: les coefficients du polynôme f ( x ) .dddf(x)f(x)f(x) Mon algorithme: laissez...
Je commence à lire un livre sur la complexité informatique et les machines de Turing. Voici une citation: Un algorithme (c'est-à-dire une machine) peut être représenté comme une chaîne de bits une fois que nous avons décidé d'un codage canonique. Cette affirmation est fournie comme un simple fait,...
Je lisais sur les algorithmes de compression des données et la limite théorique pour la compression des données. Récemment, j'ai rencontré une méthode de compression appelée "Combinatorial Entropy Encoding", l'idée principale de cette méthode est de coder le fichier comme les caractères présentés...
Comment l'ALU dans un microprocesseur ferait-il la différence entre un nombre signé, -7 qui est désigné par 1111 et un nombre non signé 15, également désigné par
Spécifier une grille arbitraire 9x9 nécessite de donner la position et la valeur de chaque carré. Un codage naïf pour cela pourrait donner 81 triplets (x, y, valeur), nécessitant 4 bits pour chaque x, y et valeur (1-9 = 9 valeurs = 4 bits) pour un total de 81x4x3 = 972 bits. En numérotant chaque...
Un automate fini déterministe (DFA) est un modèle de machine à états capable d'accepter tous et seulement les langages réguliers. Les DFA peuvent être (et sont généralement) définis de telle manière que chaque état doit fournir une transition pour tous les éléments de l'alphabet d'entrée; en...
Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des langages...
Notez qu'il s'agit d'une question liée à l'étude dans un cours de CS dans une université, ce n'est PAS des devoirs et peut être trouvé ici sous l'examen d'automne 20112. Voici les deux questions que je regarde d'un examen passé. Ils semblent être liés, le premier: Laisser FINITECFG={<G>∣G is...