Informatique théorique

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

5
Théorie algorithmique des jeux - concepts d'équilibre non standard?
Je commence mes études de théorie des jeux algorithmiques, et il semble que le concept d'équilibre généralement utilisé est celui d'un point fixe dans un graphe. Cependant, les gens ont-ils envisagé d'autres concepts d'équilibre, tels que les cycles limites? Je peux imaginer qu'un cycle limite "serré" - c'est-à-dire un cycle …
3
Extension au problème du mariage stable?
Cela peut ressembler davantage à une question de sciences sociales qu'à une question TCS, mais ce n'est pas le cas. En lisant " Algorithmes randomisés " qui décrit le problème du mariage stable, on peut lire ce qui suit (p54) "On peut montrer que pour chaque choix de listes de …
3
Algorithmes randomisés utilisant une pile
J'ai développé une nouvelle technique de dérandomisation qui vise des algorithmes randomisés récursifs (ou) plus généralement des algorithmes randomisés qui utilisent une pile. Malheureusement, je n'ai pas pu trouver d'algorithmes aléatoires naturels pour appliquer mes techniques. Les chaînes de Markov récursives et les grammaires stochastiques sont très proches de ce …
1
Les gens regardent-ils l'imbrication des boucles dans les circuits booléens?
Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels, ils sont courants. Maintenant, modulo …
3
Quels algorithmes peuvent être exprimés en utilisant un langage fonctionnel total avec des opérateurs de données parallèles?
Imaginez un langage de programmation fonctionnel dont les seuls types de données sont des scalaires numériques et des imbrications arbitraires de tableaux. La langue ne dispose d'aucun moyen d'itération illimitée, les éléments suivants sont donc interdits: boucles explicites (pas très utiles sans effets secondaires de toute façon) récursivité fonctions arbitraires …
2
Dureté des séparateurs de sommet
Pour un graphe donné , le problème du séparateur demande s'il existe un ensemble de sommets ou d'arêtes de petite cardinalité (ou poids) dont la suppression divise G en deux graphes disjoints de tailles approximativement égales. C'est ce qu'on appelle le problème du séparateur de sommets lorsque l'ensemble supprimé est …
1
Utiliser la complexité de Kolmogorov pour établir des limites inférieures de complexité de preuve?
La motivation de cette question est le fait que la plupart des chaînes de n bits sont incompressibles. Intuitivement, nous pouvons proposer par analogie que la plupart des preuves pour les tautologies sont incompressibles à la taille polynomiale. Fondamentalement, mon intuition est que certaines preuves sont intrinsèquement aléatoires et ne …
2
La norme de trace de la différence de deux matrices de densité étant une implique-t-elle que ces deux matrices de densité peuvent être diagonalisables simultanément?
Je pense que la réponse à cette question est bien connue; mais, malheureusement, je ne sais pas. En informatique quantique, nous savons que les états mixtes sont représentés par des matrices de densité. Et la norme de trace de la différence de deux matrices de densité caractérise la distinction des …
2
Intégrations de distorsion moyennes
(X,d)(X,d)(X, d)(Y,f)(Y,f)(Y, f)μ:X→Yμ:X→Y\mu : X \rightarrow Yμμ\muρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)}ρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)} \rho = \max_{p,q \in X} \{ \frac{d(x,y)}{f(\mu(x), \mu(y))}, \frac{f(\mu(x), \mu(y))}{d(x,y)} \} Il existe cependant d'autres mesures de la qualité: Dhamdhere et al étudient la distorsion "moyenne": σ=∑d(x,y)∑f(μ(x),μ(y)).σ=∑d(x,y)∑f(μ(x),μ(y)). \sigma = \frac{\sum d(x,y)}{\sum f(\mu(x), \mu(y))}. Cependant, la mesure qui m'intéresse ici est celle utilisée par …
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.