Informatique théorique

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

3
Conséquences pratiques de la
Contexte La complexité du circuit est définie comme l'ensemble des familles de circuits (c'est-à-dire des séquences de circuits, une pour chaque taille d'entrée) de profondeur bornée et de taille polynomiale construites à l'aide de fan-in illimités ET, OU et NON.AC0AC0AC^0 La fonction de parité avec une entrée à bits est …
1
Hiérarchie uniforme des problèmes couvrant la complexité et les hiérarchies de calcul
Quelqu'un connaît-il un ensemble de problèmes qui varient uniformément et qui couvrent l'une des hiérarchies "intéressantes" de complexité et de calculabilité? Par intéressant, je veux dire, par exemple, la hiérarchie polynomiale, la hiérarchie arithmétique ou la hiérarchie analytique. Ou peut-être (N) P, (N) EXP, 2 (N) EXP,……\ldots Plus concrètement: vous …
1
Permutation unidirectionnelle finie avec domaine infini
Soit une permutation. Notez que tandis que agit sur un domaine infini, sa description peut être finie. Par description , je veux dire un programme qui décrit les fonctionnalités de . (Comme dans la complexité de Kolmogorov.) Voir les explications ci-dessous. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Par exemple, la …
1
Quels algorithmes / éléments de lecture recommanderiez-vous pour résoudre les transactions / verrous en lecture-écriture?
Une transaction de base de données classique simplifiée peut être considérée comme: lecture de M éléments effectuer un calcul basé sur ces lectures écrire quelques résultats N basés sur ces calculs, qui peuvent inclure les éléments lus à l'origine. Lors de l'exécution de ces transactions (simultanément), les propriétés ACID doivent …
1
Élagage d'un digraphe fortement connecté
Étant donné un digraphe G fortement connecté avec des bords pondérés, je voudrais identifier des bords qui ne font manifestement pas partie d'un sous-graphique minimal fortement connecté (MSCS) de G. Une méthode pour trouver de tels bords est un algorithme de Floyd-Warshall modifié. En utilisant l'algorithme Floyd-Warshall, on peut identifier …
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.