L'informatique

1

Analyse et références des topologies de réseaux de type flocons de neige (et autres exotiques) de Koch

Dans les réseaux informatiques et la conception d'ordinateurs en grappes hautes performances, la topologie de réseau fait référence à la conception de la manière dont les nœuds sont connectés par des liens pour former un réseau de communication. Les topologies de réseau courantes incluent le maillage, le tore, l'anneau, l'étoile, …

10 computer-networks network-topology

3

Tous les problèmes NP se réduisent à des problèmes NP-complets: alors comment les problèmes NP ne peuvent-ils pas être NP-complets?

Mon livre dit ceci Si un problème de décision B est dans P et A se réduit à B, alors le problème de décision A est dans P. Un problème de décision B est NP-complet si B est dans NP et pour chaque problème dans A dans NP, A se …

10 complexity-theory np-complete decision-problem

7

Liste de livres d'introduction au TCS pour ceux qui ne connaissent pas grand-chose au TCS [fermé]

Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une discussion approfondie. …

10 education

3

Intuition derrière les valeurs propres d'une matrice d'adjacence

Je travaille actuellement à comprendre l'utilisation de la limite de Cheeger et de l'inégalité de Cheeger, et leur utilisation pour le partitionnement spectral, la conductance, l'expansion, etc., mais j'ai encore du mal à avoir un début d'intuition concernant la deuxième valeur propre de la matrice d'adjacence. Habituellement, dans la théorie …

10 graph-theory adjacency-matrix

1

Pourquoi P et P / poly ne sont-ils pas trivialement les mêmes?

La définition de P est un langage qui peut être décidé par un algorithme de temps polynomial. La définition de P / poly peut être interprétée comme signifiant un langage qui peut être décidé par un circuit de taille polynomiale (voir http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Maintenant, pourquoi un circuit de taille polynomiale …

10 complexity-theory time-complexity circuits

4

Une langue dans NSPACE (O (n)) et très probablement pas dans DSPACE (O (n))

En fait, j'ai trouvé que l'ensemble des langues contextuelles, CSLCSL\mathbf{CSL} ( =NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} langues acceptées) ne sont pas aussi largement discutées que REGREG\mathbf{REG} (langues régulières) ou CFLCFL\mathbf{CFL} (langues sans contexte). Et aussi le problème ouvert DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} n'est pas aussi célèbre que le problème "analogue": "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP} …

10 complexity-theory np-complete space-complexity context-sensitive

2

Propriétés décidables des réels calculables

Le «théorème de Rice pour les réels calculables» - c'est-à-dire qu'aucune propriété non triviale du nombre représenté par un réel calculable donné n'est décidable - est-il vrai? Cela correspond-il d'une manière directe à la connectivité des réels?

10 computability real-numbers computable-analysis

5

Existe-t-il une méthode connue pour construire une grammaire étant donné un ensemble fini de chaînes finies?

D'après ma lecture, il semble que la plupart des grammaires se préoccupent de générer un nombre infini de chaînes. Et si vous travailliez dans l'autre sens? Si on donne n chaînes de m longueur, il devrait être possible de faire une grammaire qui générera ces chaînes, et juste ces chaînes. …

10 formal-languages regular-languages formal-grammars finite-sets

2

Complexité de la recherche d'union avec compression de chemin, sans rang

Wikipedia dit que l'union par rang sans compression de chemin donne une complexité temporelle amortie de , et que l'union par rang et la compression de chemin donnent une complexité temporelle amortie de (où est le inverse de la fonction Ackerman). Cependant, il ne mentionne pas le temps d'exécution de …

10 complexity-theory time-complexity union-find

3

Une expression régulière peut-elle être infinie?

Je sais que les langages qui peuvent être définis à l'aide d'expressions régulières et ceux reconnaissables par DFA / NFA (automates finis) sont équivalents. De plus, aucun DFA n'existe pour la langue . Mais il peut encore être écrit en utilisant des expressions régulières (pour cette question toute langue non …

10 formal-languages regular-languages regular-expressions

2

Quelqu'un peut-il expliquer ce diagramme sur l'allocation des dalles?

J'essaie de comprendre comment fonctionne l'allocation de dalle et pourquoi elle est différente ou meilleure que la pagination ordinaire. J'ai trouvé ce schéma qui je pense serait utile s'il avait plus d'explications. Quelques questions: Que représentent les éléments de 3 Ko et 7 Ko? Doivent-ils être liés d'une manière ou …

10 operating-systems paging memory-allocation

1

Pourquoi les comparaisons sont-elles si chères sur un GPU?

Tout en essayant d'améliorer les performances de ma classe de détection de collision, j'ai constaté que ~ 80% du temps passé sur le processeur graphique, il passait sur les conditions if / else à essayer de comprendre les limites des compartiments qu'il devait parcourir. Plus précisément: chaque thread obtient un …

10 computer-architecture parallel-computing

2

Définitions constructives standard d'entiers, de rationnels et de réels?

Les nombres naturels sont définis par induction comme (en utilisant la syntaxe Coq comme exemple) Inductive nat: Set := | O: nat | S: nat -> nat. Existe-t-il un moyen standard de définir les entiers (et peut-être d'autres ensembles comme les rationnels et les réels) de manière constructive?

10 arithmetic dependent-types coq

1

Preuve de complexité temporelle pour la mise en œuvre de l'arborescence des segments du problème de somme à distance

Je comprends que les arbres du segment peuvent être utilisés pour trouver la somme de tableau sous de . Et que cela peut se faire en temps selon le tutoriel ici .O ( log n )UNEAAO (logn )O(log⁡n)\mathcal{O}(\log n) Cependant, je ne suis pas en mesure de prouver que le …

10 data-structures runtime-analysis search-trees intervals

2

Quelle est la différence entre les variables et les pointeurs?

En lisant un article décrivant les différences entre OO et la programmation fonctionnelle, je suis tombé sur des pointeurs de fonction. Cela fait un moment que je n'ai pas obtenu mon diplôme en informatique (2003) et j'ai donc cherché des pointeurs pour rafraîchir ma mémoire. Les pointeurs sont des variables …

10 terminology programming-languages