Limites inférieures de la fonction de seuil


9

Dans la complexité de l'arbre de décision d'une fonction booléenne, une méthode de borne inférieure très connue est de trouver un polynôme (approximatif) qui représente la fonction. Paturi a donné une caractérisation des fonctions booléennes symétriques (partielles et totales) en termes de quantité notée Γ :

Théorème ( Paturi ): Soit toute fonction symétrique non constante, et dénote lorsque (c'est-à-dire que le poids de hamming de est ). Le degré approximatif de , noté , est , oùffk=f(x)|x|=kxkfdeg~(f)Θ(n(nΓ(f)))Γ(f)=min{|2kn+1|:fkfk+1 and 0kn1}

Soit maintenant Thrt(x) la fonction seuil, ie Thrt(x)=1 si xt . Dans cet article (cf. section 8, page 15) dit que deg~(f)=(t+1)(Nt+1) .

Remarquez que pour la fonction de seuil, nous avons Γ(Thrt)=|2(t1)n+1|, car lorsque |x|=t1 la fonction passe de 0 à 1. Ai-je raison?

Si j'applique directement le théorème de Paturi à cette valeur de Γ , je n'obtiens pas la borne inférieure de la fonction de seuil rapportée dans d'autres articles. La valeur de Γ(Thrt) ci-dessus est-elle correcte? Qu'est-ce que je rate?

Edit: J'ai également essayé de calculer la limite inférieure de l'adversaire quantique pour le seuil. Tout d'abord, passons en revue le théorème.

Théorème (Adversaire Quantique Non Pondéré): Soit une fonction booléenne partielle, et que et soit un sous-ensemble d'entrées (dures). Soit une relation, et définissons pour chaque . Soit le nombre minimal de 1 dans n'importe quelle ligne et n'importe quelle colonne dans la relation respectivement, et soit le nombre maximal de uns dans n'importe quelle ligne et colonne dans n'importe laquelle des relations respectivement. Alors .fAf1(0)Bf1(1)RA×BRi={(x,y)R:xiyi}1inm,mR,RiQ2(f)=Ω(mm)

Si je définis comme l'ensemble de toutes les entrées avec le nombre de 1s supérieur ou égal à , et toutes les entrées avec 1s strictement inférieur à , j'obtiens (après une algèbre) que .BtAtmm=n2ln(nt)ln(nnt)

Donc, je n'obtiens toujours pas les mêmes limites inférieures rapportées dans d'autres articles. Maintenant, comparons ces limites. La figure ci-dessous montre pour et sans les racines carrées, une comparaison entre le théorème de Paturi lié (bleu), l'adversaire lié (rouge) et le rapporté rapporté d'autres papiers (vert).n=200

entrez la description de l'image ici

Mes questions sont:

1- Comment puis-je faire rapport de la limite dans d'autres articles?

2- Vous pouvez voir sur la figure, que la limite inférieure signalée (verte) limite également la limite de Paturi et la limite de l'adversaire. N'est-ce pas affaiblir la "vraie" borne inférieure? Par exemple, si Paturi dit que pour toutes les fonctions symétriques, nous avons cette limite, alors comment obtenir une limite supérieure correspondante pour le comptage quantique ( )? Cette limite supérieure ne viole-t-elle pas le théorème de Paturi?(t+1)(nt+1)


Vous la valeur absolue dans le calcul de (cela semble être un changement trop petit pour une modification). Γ(Thrt)
Hartmut Klauck

Je pense que vous avez raison et c'est une sorte d'approximation de la valeur absoluepour obtenir le diplôme mentionné dans le document. Les tracés des fonctions me laissent supposer que :)Γ(Thrt)=|2(t1)n+1|
Marc Bury

oui, cela ressemble à une approximation (voici l'intrigue wolframalpha.com/input/… ). Et il limite inférieure . Si c'est le cas, pourquoi se donner la peine de le faire? Pourquoi ne pas simplement appliquer la borne inférieure résultante de celle de Paturi? Γ(Thrt)
Marcos Villagra

1
Je suppose qu'ils veulent éviter la fonction de valeur absolue. Ils obtiennent une forme plus facile de la fonction et évitent l'analyse au cas par cas pour tout calcul. Je suis intéressé par la façon dont ils obtiennent cette approximation de la fonction d'origine?
Marc Bury

1
C'est la même chose jusqu'à une constante.
Kristoffer Arnsfelt Hansen

Réponses:


6

Je ne sais pas comment obtenir ou voir la limite de partir de la limite d'origine mais voici la preuve que ces bornes sont asymptotiquement égales jusqu'à un facteur constant:(t+1)(nt+1)n(n|(2(t1)n+1|)

Voyons d'abord que (j'exclue car la fonction de seuil est toujours ) t=01

n(n|(2(t1)n+1|)={n(2t1)1tn/2+1/2n(2n2t+1)n/2+1/2tn1

Définissez , et .f1(t)=n(2t1)f2(t)=n(2n2t+1)g(t)=(t+1)(nt+1)

Maintenant, vous devez calculer la valeur maximale (en fonction de dans les intervalles définis) des fractions , , et . Vous pouvez le faire avec un calcul différentiel ou une approximation à l'aide du graphique (avec assez grand):tf1(t)/g(t)f2(t)/g(t)g(t)/f1(t)g(t)/f2(t)n

f1(t)/g(t)f1(n/2+1/2)/g(n/2+1/2)n2n2/4=4

f2(t)/g(t)f2(n/2+1/2)/g(n/2+1/2)n2n2/4=4

g(t)/f1(t)g(1)/f1(1)=2nn=2

g(t)/f2(t)g(n1)/f2(n1)=n/2n/33/2

Cela vous donne et aussi le résultat souhaité

n(n|2(t1)n1|)=Θ((t+1)(nt+1))
n(n|2(t1)n1|)=Θ((t+1)(nt+1)).

Existe-t-il un moyen plus simple de voir / d'obtenir ce résultat?


1
Oui, je pense que vous avez raison. Mon impression est que les auteurs originaux connaissaient cette borne inférieure en raison de certains résultats comme la coutume quantique. En calcul quantique, nous avons une limite supérieure de , et en appliquant le théorème de Paturi et les limites de l'adversaire, ils ont montré ce que vous venez de montrer ici. (t+1)(nt+1)
Marcos Villagra

Merci pour vos efforts!! Je pense que c'est la réponse. Je suis plus convaincu maintenant que c'est peut-être le seul moyen d'obtenir ce résultat.
Marcos Villagra
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.