L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

4
Le problème de l'arrêt limité est décidable. Pourquoi ce conflit n'est-il pas avec le théorème de Rice?
Une déclaration du théorème de Rice est donnée à la page 35 de "Complexité computationnelle: une approche moderne" (Arora-Barak): Une fonction partielle de {0,1}∗{0,1}∗\{0,1\}^* à {0,1}∗{0,1}∗\{0,1\}^* est une fonction qui n'est pas nécessairement définie sur toutes ses entrées. On dit qu'un TM MMM calcule une fonction partielle fff si pour …
1
Comment ws avec | w | = | s | et w ≠ s être hors contexte alors que w # s ne l'est pas?
Pourquoi (si c'est le cas) le séparateur fait-il une différence entre les deux langues?##\# Disons: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Voici une preuve et une grammaire représentant enLLLCFLCFLCFL Et ci-dessous, j'ajoute une preuve pour :L#∉CFLL#∉CFLL_{\#} \notin CFL …
2
Compter les îles dans les matrices booléennes
Étant donné une matrice booléenne , soit entrées représentent la mer et entrées représentent la terre. Définissez un îlot comme verticalement ou horizontalement (mais pas en diagonale) adjacent entrées.X 0 1 1n×mn×mn \times mXX\mathrm X000111111 La question initiale était de compter le nombre d'îles dans une matrice donnée. L'auteur a …
2
Cohérence externe vs linéarisation
Dans Spanner, TrueTime & The CAP Theorem , Eric Brewer écrit: Une chose subtile à propos de Spanner est qu'il obtient la sérialisation des verrous, mais il obtient la cohérence externe (similaire à la linéarisation ) de TrueTime [non souligné dans l'original ]. Quelle est la définition de la cohérence …
1
Comment maximiser
Je vois de nombreux problèmes algorithmiques qui réduisent toujours à quelque chose de long: Vous avez un tableau entier h[1..n]≥0h[1..n]≥0h[1..n]\geq 0 , vous devez trouver i,ji,ji,j tel que maximise (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) en temps O(n)O(n)O(n) . Évidemment, la solution temporelle O(n2)O(n2)O(n^2) consiste à considérer toutes les paires, mais y a-t-il un moyen …
2
Existe-t-il une résolution différente du problème «balançant le reste» autre que «correspondre le plus près»?
La grammaire non contextuelle suivante présente une ambiguïté de type "balançant le reste" (imaginez que représente et b représente et c représente un autre type d'instruction ou de bloc): Saaaif expr thenbbbelseccc Par exemple,aacbcpeut être analysé comme(a(acbc))ou comme(a(ac)bc)(c'est le mot ambigu le plus simple / le plus court pour cette …
1
Qu'est-ce qu'un super univers?
Je lis cet article bien connu sur les univers en théorie des types . Au début, je m'attendais à quelque chose de similaire à SetωAgda, mais il s'avère que c'est même quelque chose de plus général. Il semble généraliser la construction de l'univers d'un simple type inductif-récursif à un liant …
2
Qu'est-ce qu'un fichier?
Je cherche une définition formelle de fichier qui n'inclut pas seulement le stockage mais aussi des abstractions comme procfs ou / dev / null (ou tout fichier basé sur un fusible) qui ne se rapportent pas au stockage. Jusqu'à présent, je sais que tous les fichiers sont des abstractions Peut …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.