Dans un problème sur lequel je travaille actuellement, une extension de l'opérateur de bruit survient naturellement et j'étais curieux de savoir s'il y avait eu des travaux antérieurs. Permettez-moi d'abord de réviser l'opérateur de bruit de base TεTεT_{\varepsilon} sur les fonctions booléennes à valeur réelle. Étant donné une fonction f:{0,1}n→Rf:{0,1}n→Rf: …
On dit qu'une fonction booléenne f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} est une k-kk junta si fff a au plus kkk variables d'influence. Soit f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n …
Le problème suivant est-il dans PTIME ou coNP-hard: Étant donné deux expressions booléennes et e 2 dans les variables x 1 , … , x n , sans négation (c'est-à-dire que les expressions sont entièrement construites via ∧ et ∨ ). Décidez si e 1 ≡ e 2 , c'est-à-dire …
Dans le document Natural Proofs de Razborov-Rudich , page 6, dans la partie, ils expliquent qu'il existe de "solides preuves de limites inférieures contre les modèles de circuits monotones " et comment elles s'intègrent dans l'image, il y a les phrases suivantes: Ici, le problème n'est pas la constructivité - …
Les solveurs SAT offrent un moyen puissant de vérifier la validité d'une formule booléenne avec un quantificateur. Par exemple, pour vérifier la validité de , nous pouvons utiliser un solveur SAT pour déterminer si φ ( x ) est satisfaisable. Pour vérifier la validité de ∀ x . φ ( …
Je lis l'annexe sur les limites inférieures de l'ACC pour NEXP dans le livre Arora et Barak's Computational Complexity . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf L'un des lemmes clés est une transformation des circuits ACC0ACC0ACC^{0} en polynômes multilinéaires sur les entiers avec un degré polylogarithmique et des coefficients quasipolynomiaux, ou équivalents , la classe …
Résultat 1: le théorème de Linial-Mansour-Nisan dit que le poids de Fourier des fonctions calculées par les circuits A C0UNEC0\mathsf{AC}^0 est concentré sur les sous-ensembles de petite taille à forte probabilité. Résultat 2: Le a son poids de Fourier concentré sur le coefficient du degré n .P A R I …
f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf[f]=defmini∈[n]Infi[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. Étant donné un paramètre p∈[0,1]p∈[0,1]p\in[0,1] , nous choisissons une fonction ppp aléatoire fff en choisissant sa valeur sur chacune des 2n2n2^n entrées indépendamment au hasard pour être 111 avec la probabilité ppp , et …
Soit la fonction majoritaire, c'est-à-dire f ( x ) = 1 si et seulement si ∑ n i = 1 x i > n / 2 . Je me demandais s'il y avait une preuve simple du fait suivant (par «simple», je veux dire ne pas compter sur la méthode …
Soit une fonction booléenne de n variables booléennes. Soit g ( x ) = T ϵ ( f ) ( x ) la valeur attendue de f ( y ) lorsque y est obtenu à partir de x en inversant chaque coordonnée avec la probabilité ϵ / 2 .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) …
Il existe plusieurs résultats bien connus de limites inférieures de taille de circuit basés sur des restrictions aléatoires et le lemme de commutation .AC0AC0\mathsf{AC^0} Pouvons-nous développer un résultat de lemme de commutation pour prouver une taille de borne inférieure pour circuits T C 0 (similaire aux preuves de borne inférieure …
Contexte: En apprentissage automatique, nous travaillons souvent avec des modèles graphiques pour représenter des fonctions de densité de probabilité dimensionnelle élevée. Si nous rejetons la contrainte qu'une densité intègre (somme) à 1, nous obtenons une fonction d'énergie structurée graphiquement non normalisée . Supposons que nous ayons une telle fonction d'énergie, …
Soit une fonction booléenne de sensibilité s ( f ) et de sensibilité de bloc b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) La conjecture de conjecture de sensibilité Sensibilité-Bloc indique qu'il y a un tel que ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, …
Supposons que nous ayons une fonction f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} , telle que ∑x∈Zn2f(x)2=1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (nous pouvons donc penser à {f(x)2}x∈Zn2{f(x)2}x∈Z2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n} comme une distribution) . Il est naturel de définir l'entropie d'une telle fonction comme suit: H(f)=−∑x∈Zn2f(x)2log(f(x)2).H(f)=−∑x∈Z2nf(x)2log(f(x)2).H(f) = -\sum _{x \in \mathbb{Z}_2^n} f(x)^2 \log …
Voici un problème avec une saveur similaire à l'apprentissage des juntes: Entrée: Une fonction F: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , représentée par un oracle d'appartenance, c'est-à-dire un oracle qui a donné XXx , renvoie F( x )F(X)f(x) . Objectif: trouver …
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.