Questions marquées «cc.complexity-theory»

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

1
L'équivalence de deux définitions d'exhaustivité et de solidité dans les systèmes de preuve interactifs
L'exhaustivité et la solidité des systèmes de preuve interactifs sont définies de manière informelle comme: Exhaustivité: Si une déclaration est vrai, l' honnête prouveur peut convaincre l' honnête vérificateur de ce fait PVT . Solidité: si une déclaration est fausse, le prouveur de fraude ne peut pas convaincre le vérificateur …
4
La diagonalisation capture-t-elle l'essence de la séparation des classes?
Je ne me souviens pas d'avoir vu une séparation de classes non basée sur des résultats de diagonalisation et de relativisation. La diagonalisation pourrait toujours être utilisée pour séparer les classes connues restantes, car des arguments non relativisants pourraient toujours être utilisés dans la conclusion de la diagonalisation ou dans …
3
Merlin peut-il convaincre Arthur d'une certaine somme?
Merlin, qui a des ressources informatiques illimitées, veut convaincre Arthur que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k pour (N,m,k)(N,m,k)(N,m,k) avec k=O(logN)k=O(log⁡N)k=O(\log N) et m=O(N).m=O(N).m=O(N). Le calcul simple de cette somme (exponentiation modulaire et addition) prend du temps N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} avec une multiplication basée sur FFT. * Mais Arthur …
1
Pourquoi les problèmes NP-complets n'ont-ils pas des ratios d'approximation similaires?
Étant donné que 2 problèmes NP-complets sont par définition réductibles l'un à l'autre, une solution à l'un d'eux peut donc être obtenue en utilisant une boîte noire résolvant l'autre, pourquoi n'ont-ils pas des ratios d'approximation similaires (en se référant à leurs homologues d'optimisation )? Je suppose qu'une dérive constante ou …
1
Limites inférieures pour la communication multipartite non déterministe
Il s'agit d'une continuation de ma question précédente sur les limites inférieures de communication pour les fonctions booléennes partielles . Quelqu'un peut-il suggérer une référence sur les limites inférieures pour la communication multipartite non déterministe? J'ai examiné les articles sur le terrain, mais tout le monde semble montrer les séparations …
1
Théorème du PCP - Étape de réduction de l'alphabet
Ce qui suit peut sembler stupide (et cela reflète probablement ma mauvaise compréhension - alors soyez patient avec moi) J'avais une requête sur le théorème du PCP. Nous savons qu'après les trois premières étapes, à savoir. Réduction de degré, expansion et amplification de l'écart, nous avons un graphe de contraintes …
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.