Informatique théorique

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

2
Obstacles à la séparation d'autres classes de complexité
Do Natural preuves , relativisation et algébrisation affectent également la séparation des autres classes de complexité comme etc?L ≠ NL ≠ NP≠ c o NP≠ PH≠ PSPUNE CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Par exemple barrière des preuves naturelles doit affecter toute preuve de puisqu'elle séparera P ≠ N …
1
Trouver une parallélisation optimale à partir d'un graphe général non orienté pondéré
Je résous un problème de "mélange" d'ensembles d'images qui se chevauchent. Ces ensembles peuvent être représentés par un graphique pondéré non orienté tel que celui-ci: Chaque nœud représente une image. Les images qui se chevauchent sont reliées par un bord. Le poids des bords représente la taille de la zone …
1
Qui a inventé le terme «entropie empirique»?
Je connais le travail de Shannon avec l'entropie, mais récemment j'ai travaillé sur des structures de données succinctes dans lesquelles l' entropie empirique est souvent utilisée dans le cadre de l'analyse du stockage. Shannon a défini l'entropie des informations produites par une source d'informations discrète comme −∑ki=1pilogpi−∑i=1kpilog⁡pi-\sum_{i=1}^k p_i \log{p_i} , …
1
Quand les stratégies d'équilibre
Les équilibres de Nash ne sont généralement pas calculables. Un équilibre -Nash est un ensemble de stratégies où, compte tenu des stratégies des adversaires, chaque joueur obtient à moins de ϵ du gain maximum possible. Trouver un équilibre ϵ -Nash, étant donné ϵ et un jeu, est P P A …
2
Conséquences des OWF pour la complexité
Il est bien connu que l'existence de fonctions unidirectionnelles est nécessaire et suffisante pour une grande partie de la cryptographie (signatures numériques, générateurs pseudo-aléatoires, cryptage à clé privée, etc.). Ma question est: quelles sont les conséquences théoriques de la complexité de l'existence de fonctions à sens unique? Par exemple, owfs …
2
Annulation et déterminant
L'algorithme de Berkowitz fournit un circuit de taille polynomiale avec une profondeur logarithmique pour déterminer une matrice carrée en utilisant des puissances matricielles. L'algorithme utilise implicitement l'annulation. L'annulation est-elle essentielle pour atteindre un circuit de taille polynomiale avec une profondeur logarithmique ou linéaire pour calculer le déterminant (et tout meilleur …
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.