Informatique théorique

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

2
Conséquence la plus courante
Une chaîne a 2n2n2^n séquences, mais elles ne sont généralement pas toutes distinctes. Quelle est la complexité de trouver la fréquence maximale d'une sous-séquence? Par exemple, la chaîne "sous-séquence" contient 7 copies de la sous-séquence "sue" et c'est le maximum. Exemple de code de force brute sur http://ideone.com/UIp3t Existe-t-il des …
3
Le NPI est-il contenu dans P / poly?
On que car l'inverse impliquerait . Le théorème de Ladner établit que si alors . Cependant, la preuve ne semble pas généraliser à donc la possibilité ie semble ouvert.NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}PH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne \mathsf{NP}NPI:=NP∖(NPC∪P)≠∅NPI:=NP∖(NPC∪P)≠∅\mathsf{NPI} := \mathsf{NP} \setminus(\mathsf{NPC} \cup \mathsf{P}) \ne \emptysetP/polyP/poly\mathsf{P}/\text{poly}NPI⊂P/polyNPI⊂P/poly\mathsf{NPI} \subset \mathsf{P}/\text{poly}NP⊂NPC∪P/polyNP⊂NPC∪P/poly\mathsf{NP} \subset \mathsf{NPC} \cup \mathsf{P}/\text{poly} En supposant …
2
Hiérarchie pour BPP vs dérandomisation
En une phrase: l'existence d'une hiérarchie pour impliquerait-elle des résultats de dérandomisation?BPTIMEBPTIME\mathsf{BPTIME} Une question connexe mais plus vague est: l'existence d'une hiérarchie pour implique-t-elle des limites inférieures difficiles? La résolution de ce problème heurte-t-elle une barrière connue dans la théorie de la complexité?BPTIMEBPTIME\mathsf{BPTIME} Ma motivation pour cette question est de …
2
Méthode polynomiale pour les résultats de complexité
Les méthodes polynomiales , par exemple Nullstellensatz combinatoire et le théorème de Chevalley-Warning sont des outils puissants en combinatoire additive. En représentant un problème avec des polynômes appropriés, ils peuvent garantir l'existence d'une solution ou le nombre de solutions aux polynômes. Ils ont été utilisés pour résoudre des problèmes tels …
1
Fonctions booléennes de coefficients de Fourier décrites par des circuits de profondeur bornés avec des portes ET OU et XOR
Soit une fonction booléenne et considérons f comme une fonction de à . Dans ce langage, l'expansion de Fourier de f est simplement l'expansion de f en termes de monômes libres carrés. (Ces monômes forment une base pour l'espace des fonctions réelles sur . La somme des carrés des coefficients …
3
Certificat coNP pour l'isomorphisme graphique
Il est facile de voir que l' isomorphisme graphique (GI) est en NP. C'est un problème ouvert majeur si l'IG est en coNP. Existe-t-il des candidats potentiels aux propriétés des graphiques qui peuvent être utilisés comme certificats IG de coNP? Des conjectures impliquant ? Quelles sont les implications de G …
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.