Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] a introduit le problème d'apprentissage avec erreurs (LWE), une généralisation du problème de parité d'apprentissage avec erreur. L'hypothèse de la dureté de ce problème pour certains choix de paramètres sous-tend...
Ma question concerne la théorie des modèles finis / la complexité descriptive, donc signifiera "premier ordre sur des mots binaires finis, en utilisant des prédicats Rs et un prédicat unaire P vrai sur la position du 1 dans le mot".FO ( R )FO(R)FO(R) Je voudrais savoir, existe-t-il une...
Le livre d'Arora et Barak contient des notes de chapitre sur PCP Nous notons que la stratégie générale de Dinur rappelle quelque peu la construction en zig-zag des graphiques d'extension et l'algorithme déterministe de l'espace de journalisation de Reingold pour la connectivité non dirigée décrit...
Il est bien connu que la complexité de la requête quantique d'erreur bornée de la fonction est Θ ( √O R ( x1, x2, … , Xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Maintenantla question est que si nous voulonsnotre algorithme quantique pour réussir à chaque entrée avecprobabilité1-εplutôt que...
Intrigué par la question intéressante de Chris Pressey sur les fonctions élémentaires-récursives , j'explorais davantage et je n'arrivais pas à trouver une réponse à cette question sur le web. Les fonctions récursives élémentaires correspondent bien à la hiérarchie exponentielle, .DTIME ( 2n) ∪...
Ce qui suit me semble être une définition naturelle et je me demande si cela a été étudié quelque part Considérons un ensemble de langues. Alors K ⊂ { 0 , 1 } ω est appelé " information X- vérifiable" quand il y a L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
Chaque langage indécidable reconnaissable par Turing a-t-il un sous-ensemble NP-complet? La question pourrait être considérée comme une version plus forte du fait que chaque langue infinie reconnaissable par Turing a un sous-ensemble décidable
Dans l'article d'Adi Shamir [1] de 1979, il montre que l'affacturage peut se faire en un nombre polynomial d' étapes arithmétiques . Ce fait a été réaffirmé et a donc été porté à mon attention dans le récent article de Borwein et Hobart [2] dans le contexte des programmes en ligne droite (SLP)....
Soit la classe de langages décidée en alternant les machines de Turing qui s'arrêtent dans le temps f ( n ) en utilisant l'espace g ( n ) . Soit A A L T S P ( f ( n ) , g ( n ) ) la classe de langages décidée en alternant les machines de Turing qui cessent d'utiliser f (A T I S P (f( n ) , g( n )...
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour l'échange théorique de pile informatique. Fermé il y a 7 ans . Comment exprimer " " comme une formule de premier...
Une grande partie de la littérature sur l'informatique quantique se concentre sur le modèle de circuit. L'informatique quantique adiabatique n'est pas basée sur l'application d'une séquence d'opérateurs unitaires, mais sur la modification d'un hamiltonien dépendant du temps. Je recherche un aperçu...
Supposons que nous opérions dans un champ fini. On nous donne un grand polynôme fixe p (x) (de, disons, degré 1000) sur ce champ. Ce polynôme est connu à l'avance et nous sommes autorisés à faire des calculs en utilisant beaucoup de ressources dans la «phase initiale». Ces résultats peuvent être...
Considérez une formule monotone 3CNF ayant les deux restrictions supplémentaires suivantes: Chaque variable apparaît dans exactement clauses.222 Étant donné clauses, elles partagent au plus 1 variable.222111 Je voudrais savoir à quel point il est difficile de compter les affectations satisfaisantes...
Soit une famille de sous-ensembles d'éléments d'un univers fini d'objets. Une famille de sous-ensembles d'éléments de , avec , est un - ensemble de frappes de si pour chaque il existe au moins un ensemble tel que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Je recherche la complexité de la satisfiabilité d'une formule ou d'une formule où est la formule de la forme: Où est la constante dans et le domaine des variables est également .∃ x 1 , … , x m ∀ y 1 , … , y n , ϕ ϕ ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕ → ϕ | ψ ψ : = t > t | t∀ y1, … , Yn, ∃ x1, … , Xm,...
Il est bien connu que l'existence de fonctions unidirectionnelles est nécessaire et suffisante pour une grande partie de la cryptographie (signatures numériques, générateurs pseudo-aléatoires, cryptage à clé privée, etc.). Ma question est: quelles sont les conséquences théoriques de la complexité...
Do Natural preuves , relativisation et algébrisation affectent également la séparation des autres classes de complexité comme etc?L ≠ NL ≠ NP≠ c o NP≠ PH≠ PSPUNE CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Par exemple barrière des preuves naturelles doit affecter toute...
Nous savons tous que la complexité minimale d'un algorithme de tri basé sur la comparaison est les comparaisons . J'essaie de faire un tri aveugle , c'est-à-dire étant donné un nombre sortie, un circuit (avec des portes booléennes, arithmétiques et de "comparaison") qui trie une liste de...
Quelles sont certaines des meilleures sources (livres et articles) pour motiver et apprendre la complexité de la communication par elle-même et en relation avec sa relation avec la théorie de la complexité
Dans le problème des cliques plantées, il faut récupérer une -clique plantée dans un graphe aléatoire Erdos-Renyi G ( n , p ) . Cela a surtout été examiné pour p = 1kkkG ( n , p )G(n,p)G(n,p) , auquel cas il est connu pour être soluble dans le temps polynomial sik>√p = 12p=12p=\frac{1}{2} et...