Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

2
Facile à optimiser mais difficile à évaluer
Existe-t-il des exemples naturels connus de problèmes d'optimisation pour lesquels il est beaucoup plus facile de produire une solution optimale que d'évaluer la qualité d'une solution candidate donnée? Par souci de concrétisation, nous pouvons considérer les problèmes d'optimisation résolubles en temps polynomial de la forme: "étant donné x, minimiser ", …
2
Algorithme de multiplication vectorielle matricielle utilisant un nombre minimal d'additions
Considérez le problème suivant: Étant donné une matrice nous voulons optimiser le nombre d'additions dans l'algorithme de multiplication pour calculer v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Je trouve ce problème intéressant en raison de ses liens avec la complexité de la multiplication matricielle (ce problème est une …
1
Problèmes de communication pour lesquels un théorème déterministe à somme directe n'est pas connu
tttttt Θ ( journaln )Θ(Journal⁡n)\Theta(\log n)tttΘ ( t + logt ⋅ logn )Θ(t+Journal⁡t⋅Journal⁡n)\Theta(t + \log t \cdot \log n) FFfFFfcccFFftttΩ ( t ⋅ ( c√- journaln ) )Ω(t⋅(c-Journal⁡n))\Omega(t \cdot (\sqrt{c} - \log n)) Je ne connais aucun autre résultat général positif sur le problème de la somme directe. Cependant, il …
1
Peut-on construire une permutation indépendante k-sage sur [n] en utilisant uniquement le temps et l'espace constants?
Soit k > 0k>0k>0 une constante fixe. Etant donné un entier nnn , nous voulons construire une permutation σ∈ Snσ∈Sn\sigma \in S_n telle que: La construction utilise un temps et un espace constants (c'est-à-dire que le prétraitement prend un temps et un espace constants). Nous pouvons utiliser la randomisation. Étant …
1
Les équations différentielles peuvent-elles être classées dans leurs propres classes de complexité?
Les problèmes ont été, dans leur ensemble, classés, grâce à la complexité informatique. Mais, dans les équations différentielles, est-il possible de classer les équations différentielles en fonction de leur structure de calcul? Par exemple, si une équation non homogène du premier ordre est relativement difficile à résoudre qu'une équation homogène …
3
Représentation graphique des restrictions théoriques aux preuves dans la théorie de la complexité des preuves
La complexité de la preuve est l'un des domaines les plus élémentaires de la théorie de la complexité informatique. Un objectif ultime de ce domaine est de prouver , c'est-à-dire que tout prouveur ne peut pas fournir une preuve d'insatisfiabilité d'une formule d'entrée donnée. NP≠ c o NPNP≠coNPNP\neq coNP Un …
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.