Questions marquées «cc.complexity-theory»

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

1
Meilleure complexité des requêtes de l'algorithme d'apprentissage Goldreich-Levin / Kushilevitz-Mansour
Quelle est la complexité de requête la plus connue de l'algorithme d'apprentissage Goldreich-Levin? Les notes de cours du blog de Luca Trevisan , Lemma 3, l'indiquent comme . Est-ce le plus connu en termes de dépendance à n ? Je serai particulièrement reconnaissant pour une référence à une source citable!O(1/ϵ4nlogn)O(1/ϵ4nlog⁡n)O(1/\epsilon^4 …
3
P contient-il des langues dont l'existence est indépendante de PA ou ZFC? (Wiki de la communauté TCS)
Réponse: inconnue. Les questions posées sont naturelles, ouvertes et apparemment difficiles; la question est maintenant un wiki communautaire. Aperçu La question vise à diviser les langages appartenant à la classe de complexité PPP - ainsi que les machines de Turing de décision (TM) qui acceptent ces langages - en deux …
2
Une question à la preuve # P-complète du permanent de Ben-Dor / Halevi
Dans l'article de Ben-Dor / Halevi [1], il est donné une autre preuve que le permanent est #P#P\#P complet. Dans la dernière partie de l'article, ils montrent la chaîne de réduction IntPerm∝NoNegPerm∝2PowersPerm∝0/1-PermIntPerm∝NoNegPerm∝2PowersPerm∝0/1-Perm\begin{equation} \text{IntPerm} \propto \text{NoNegPerm} \propto \text{2PowersPerm} \propto \text{0/1-Perm} \end{equation} tandis que la valeur permanente est préservée le long de …
1
contre
Je sais que (nombre d'appels logarithmiques à l'oracle NP) est équivalent à (polynôme nombre de requêtes parallèles à l’oracle NP). Je me demandais si la version "fonctionnelle" de ces classes était également équivalente, c'est-à-dire siP N P | |PN P [logn ]PNP[Journal⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PN P | |PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = …
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.