Informatique théorique

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

1
Gap-3SAT NP est-il complet même pour les formules 3CNF où aucune paire de variables n'apparaît dans beaucoup plus de clauses que la moyenne?
Dans cette question, une formule 3CNF signifie une formule CNF où chaque clause implique exactement trois variables distinctes . Pour un 0 < s <1 constant , Gap-3SAT s est le problème de promesse suivant: Gap-3SAT de l' instance : A 3CNF formule de φ. Oui-promesse : φ est satisfaisable. …
11
Qu'est-ce que le modèle de calcul quantique?
J'ai parfois entendu des gens parler d'algorithmes quantiques et d'états et de la possibilité d'envisager plusieurs possibilités à la fois, mais je n'ai jamais réussi à demander à quelqu'un d'expliquer le modèle de calcul derrière cela. Pour être clair, je ne demande pas comment les ordinateurs quantiques sont construits physiquement, …
6
Y a-t-il un tas stable?
Existe-t-il une structure de données de file d'attente prioritaire qui prend en charge les opérations suivantes? Insérer (x, p) : ajouter un nouvel enregistrement x avec la priorité p StableExtractMin () : Renvoie et supprime l'enregistrement avec une priorité minimale, rompant les liens par ordre d'insertion . Ainsi, après Insert …
1
La hiérarchie rationnelle d'Eilenberg des automates et des langages non rationnels - où est-elle maintenant?
Dans la préface de ses livres très influents Automates, Langages et Machines (Volumes A, B), Samuel Eilenberg a promis de façon alléchante les Volumes C et D traitant "d'une hiérarchie (appelée hiérarchie rationnelle) des phénomènes non rationnels ... utilisant des relations rationnelles comme un outil de comparaison. Les ensembles rationnels …
6
Inverser Chernoff lié
Y a-t-il une borne inverse de Chernoff qui limite la probabilité de queue au moins autant. c'est-à-dire si X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_n sont des variables aléatoires binomiales indépendantes et μ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] . Alors peut-on prouver Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n) pour une fonction fff .
2
Quelles classes de programmes mathématiques peuvent être résolues exactement ou approximativement, en temps polynomial?
Je suis plutôt confus par la littérature sur l'optimisation continue et la littérature TCS sur les types de programmes mathématiques (MP) (continus) qui peuvent être résolus efficacement et ceux qui ne le peuvent pas. La communauté de l'optimisation continue semble affirmer que tous les programmes convexes peuvent être résolus efficacement, …
5
Problèmes NEXP-complets
Il y a des tonnes de problèmes NP-complets et des sources qui les collectent, par exemple, voir le livre de Garey et Johnson. Je serais également intéressé de voir une liste des problèmes NEXP-complete. Y en a-t-il un disponible? Comme je suppose qu'il n'y en a pas, j'ouvre cette question …
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.