Informatique théorique

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

2
Réduire les questions de seuil aux questions de finitude
Il est généralement plus simple de raisonner sur le calcul où la limitation est la finitude du calcul plutôt qu'un seuil comme "calculable en temps polynomial". Dans la théorie des langages formels par exemple, plutôt d'utiliser le ∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n pour caractériser le monoïde apériodique, il est plus …
1
Complexité des circuits monotones des fonctions de calcul sur les entrées clairsemées
Le poidsd'une chaîne binaire est le nombre de uns dans la chaîne. Que se passe-t-il si nous sommes intéressés à calculer une fonction monotone sur des entrées avec quelques-unes?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n On sait que décider si un graphe a une -clique est difficile pour les circuits monotones (voir entre autres Alon Boppana, …
3
Une langue «simple» en dehors de
Je recherche une langue L avec les propriétés suivantes: L ne doit pas être hors contexte. Le complément de L ne doit pas être hors contexte. (Tout ce que vous voyez dans les manuels comme exemples de langues non contextuelles semble ne pas répondre à cette deuxième exigence.) L ne …
1
Oracle par rapport auquel
La complexité de Zoologie par Greg Kuperberg indique qu'il existe un langage XXX tel que BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - en d'autres termes, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - mais ne donne pas de référence pour ce résultat. Pourquoi cela tient-il? Ou où trouver une preuve? Cette question est en partie motivée …
4
Formulaire Master Equations et Operator Sum
Je suis plus un gars de l'optique quantique qu'un gars de l'information quantique, et je m'occupe principalement des équations principales. Je suis intéressé par la forme de somme d'opérateur, et j'aimerais dériver les erreurs dans cette forme pour un petit système quantique que je simule. Le hic: Le système quantique …
2
Complexité des tests d'adhésion pour les groupes abéliens finis
Considérez le problème de test d'appartenance au sous-groupe abelian suivant . Contributions: Un groupe abélien fini G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} avec arbitrairement grand .didid_i Un générateur de jeu d'un sous - groupe .{h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbraceH⊂GH⊂GH\subset G Un élément .b∈Gb∈Gb\in G Sortie: 'oui' si et 'non' ailleurs '.b∈Hb∈Hb\in H Question: Ce problème peut-il être résolu …
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.