Informatique théorique

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

1
Conditions de tractabilité de la satisfaction 3SAT
Ce que je me demande précisément, c'est s'il existe une condition intéressante sur le pourcentage d'affectations qui satisfont à une formule 3SAT pour garantir que ces problèmes sont traitables. Supposons par exemple la classe de problèmes 3SAT que des 2 n affectations possibles satisfont la formule booléenne; pouvons-nous trouver efficacement …
2
Gaussiens indépendants par paire
Étant donné (iid gaussiens avec moyenne et variance ), est-il possible (comment?) D'échantillonner (pour ) Y_1, \ ldots, Y_m tels que les Y_i sont des gaussiens indépendants par paire avec moyenne 0 et variance 1 .X1,…,XkX1,…,XkX_1,\ldots,X_k000111m=k2m=k2m=k^2Y1,…,YmY1,…,YmY_1, \ldots, Y_mYiYiY_i000111
2
Est-ce que
Par http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si est un langage complet-PSPACE, P A = N P A .UNEAAPUNE= NPUNEPA=NPAP^{A}=NP^{A} Si est un oracle à temps polynomial déterministe, P B ≠ N P B (en supposant P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP est la classe de problèmes de décision analogique pour # …
3
Existe-t-il un algorithme en ligne pour suivre les composants d'un graphique non orienté en évolution?
Problème J'ai un graphique non orienté (avec plusieurs arêtes), qui changera au fil du temps, des nœuds et des arêtes peuvent être insérés et supprimés. A chaque modification du graphe, je dois mettre à jour les composants connectés de ce graphe. Propriétés Les propriétés supplémentaires sont qu'aucun composant ne sera …
1
Trouver la pénombre d'un problème de satisfaction de contraintes
La question suivante s'est posée à plusieurs reprises lors du test de la sécurité d'un système ou d'un modèle. Motivation: les failles de sécurité logicielles ne proviennent souvent pas de bogues dus à des entrées valides, mais de bogues résultant d'entrées non valides suffisamment proches des entrées valides pour passer …
12 lo.logic  csp  security 
4
Problèmes NP-hard dirigés sur les DAG
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Plusieurs problèmes NP-difficiles sont traitables sur des graphiques avec une largeur d'arbre bornée. Si un problème reste NP-dur sur les arbres, la largeur de l'arbre ne peut pas nous sauver. C'était la motivation derrière une de mes questions …
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.