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é de l'existence de fonctions à sens unique? Par exemple, owfs …
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 \in HW⊂VW⊂VW \subset V Étant donné …
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 , ϕ ϕ …
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 d'une telle formule. Mise à jour 06/04/2013 12:55 J'aimerais également …
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 …
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 de l'un des éléments suivants. L'informatique quantique adiabatique est-elle …
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 …
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 …
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 …
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 infini.
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 …
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 l'habituel2/3. Maintenant, en termes deϵquelles seraient …
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) ∪ DTIME ( 22n) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) …
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 au chapitre 20, ce qui …
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 caractérisation de …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.