Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Notes introductives sur la parallélisation, en particulier les schémas de problèmes et les algorithmes
Je recherche des notes de cours disponibles en ligne ou d'autres ressources qui donnent une bonne introduction à la programmation parallèle, tout comme l'analogue parallèle des cours de base en informatique. Mon objectif est le suivant: alors que je suis en mesure de parler de division et de conquête, d'algorithmes …
3
Dureté de calcul des programmes informatiques "réels"
J'ai souvent entendu dire que vous ne pouvez pas écrire un programme pour détecter les bogues dans un navigateur Web, un traitement de texte ou un système d'exploitation, à cause du théorème de Rice: toute propriété sémantique pour un langage complet de Turing est indécidable. Cependant, je ne sais pas …
2
Les registres à décalage à rétroaction linéaire sont-ils généralement découragés par les cryptologues?
Katz et Lindell mentionnent dans leur livre que le LFSR a été horrible comme base pour les générateurs pseudo-aléatoires, et préconisent qu'ils ne soient plus utilisés (enfin, ils recommandent également aux gens d'utiliser des chiffrements par blocs au lieu de chiffrements par flux). Mais je vois par exemple que l'un …
3
Améliorations de l'approximation de paires pour l'analyse de réseau
Lorsque l'on considère les interactions sur les réseaux, il est généralement très difficile de calculer la dynamique analytiquement , et des approximations sont utilisées. Les approximations de champ moyen finissent généralement par ignorer complètement la structure du réseau, et sont donc rarement une bonne approximation. Une approximation populaire est l'approximation …
1
Densité des langues P-complètes
Supposons que soit un langage booléen, de chaînes finies sur . Soit le nombre de chaînes de de longueur . Pour une fonction des entiers positifs aux nombres réels positifs, a une densité supérieure si L n ≤ 2 n d ( n ) pour tout n suffisamment grand .LLL{0,1}{0,1}\{0,1\}LnLnL_nLLLnnnd(n)ré(n)d(n)LLL …
1
Trouver un plan de coupe qui divise un polyèdre uniformément
Disons que nous avons un polyèdre sous forme standard: Ax=bx≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Existe-t-il des méthodes connues pour trouver un hyperplan qui divise le polyèdre de manière à ce que le nombre de sommets de chaque côté de l'hyperplan soit approximativement le même? …
1
Recherche d'une correspondance dont la contraction minimise le nombre d'arcs dans un graphique
Étant donné un graphique mixte avec les arêtes et les arcs , trouvez une correspondance dans qui minimise le nombre d'arcs dans , où est obtenu à partir de en contractant les sommets correspondants et en supprimant arcs parallèles.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG (La version de décision de) ce problème est-il NP-complet? At-il été …
4
Enquêtes sur le codage réseau
Je veux commencer à apprendre le codage réseau: http://en.wikipedia.org/wiki/Network_coding Connaissez-vous une bonne enquête (par exemple à partir des enquêtes et des tutoriels IEEE) sur les sujets ci-dessus. J'ai trouvé des cours universitaires sur google mais j'aimerais avoir des recommandations de personnes qui ont déjà lu et connaissent une bonne source. …
1
Réduction des produits principaux d'affacturage en produits entiers d'affacturage (dans le cas moyen)
Ma question porte sur l'équivalence de la sécurité des différentes fonctions unidirectionnelles candidates qui peuvent être construites en fonction de la dureté de l'affacturage. En supposant que le problème de FACTEUR: [Étant donné pour des nombres premiers aléatoires P , Q < 2 n , trouver P , Q. ]N= …
1
Référence pour l'indéfinissabilité du module de continuité fonctionnelle en PCF?
Quelqu'un peut-il m'indiquer la référence pour la non-définissabilité du module de continuité fonctionnelle en PCF? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer a écrit un très bon article de blog explorant certains des problèmes plus en détail, mais je résumerai juste un peu de son article pour …
3
Correspondance du modèle de permutation dans les chaînes
En gros, l'appariement des modèles de permutation traite des problèmes du type suivant: Étant donné les permutations dans et dans , avec , contient-il une sous- séquence de longueur dont les éléments sont ordonnés selon ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm≤nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Par exemple, si et , la sous-séquence correspond . Comme vous pouvez …
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.