Les circuits arithmétiques sont-ils plus faibles que booléens?

12

Soit la taille minimale d'un circuit arithmétique (non monotone) calculant un polynôme multilinéaire et désignent la taille minimale d'un circuit booléen (non monotone) calculant la version booléenne de défini par: A(f)(+,×,)

f(x1,,xn)=eEcei=1nxiei,
B(f)(,,¬) fbf
fb(x1,,xn)=eE i:ei0xi.
Les polynômes connus pour lesquels est plus petit que ? fB(f)A(f)

Si nous considérons des versions monotones des circuits - pas de portes Moins et Pas - alors peut même être exponentiellement plus petit que : prenez, par exemple, le polynôme le plus court du chemin st sur ; alors et . Mais que se passe-t-il dans le "monde non monotone"? Bien sûr, de grands écarts ne peuvent pas être connus simplement parce que nous n'avons pas de grandes limites inférieures sur . Mais peut-être y a-t-il au moins quelques petites lacunes connues? ()(¬)B(f)A(f)fKnB(f)=O(n3)A(f)=2Ω(n)A(f)


NOTE (15.03.2016) Dans ma question, je n'ai pas précisé la taille des coefficients autorisés. Igor Sergeev m'a rappelé que, par exemple, le polynôme suivant (univarié) a (Strassen et les gens de son groupe). Mais pour ce polynôme, puisque . Nous pouvons obtenir fron un polynôme multivarié de variables en utilisant la substitution de Kronecker. Associer à chaque exposant un monôme , oùcef(z)=j=1m22jmzjA(f)=Ω(m1/2)B(f)=0fb(z)=zff(x1,,xn)n=logmjXj=i:ai=1xi(a1,,an)sont les coefficients 0-1 de la représentation binaire de . Alors le polynôme souhaité est , et nous avons que Mais la version booléenne de n'est qu'un OU de variables, donc , et nous avons même un écart exponentiel. Ainsi, si l'amplitude des coefficients peut être triple exponentielle dans le nombre de variables, alors l'écart peut être montré comme même exponentiel. (En fait, pas la grandeur elle-même - plus la dépendance algébrique des coefficients.) C'est pourquoi le vrai problème avec est le cas des petitsjf=j=1mcjXj
A(f)+nA(f)=Ω(m1/2)=2Ω(n).
fB(f)n1nA(f)/B(f) A(f)coefficients (idéalement, seulement 0-1). Mais dans ce cas, comme l'a rappelé Joshua, la borne inférieure de Strassen et Baur (avec des coefficients 0-1) reste la meilleure que nous ayons aujourd'hui.A(f)=Ω(nlogn)

Stasys
la source

Réponses:

9

Le permanent semble se qualifier, au moins conditionnellement (c'est-à-dire en supposant ). Notez que la version booléenne du permanent consiste simplement à décider si un graphe biparti donné a une correspondance parfaite, qui a des circuits de taille poly.VP0VNP0

[Résumant les commentaires ci-dessous:] Bien que cet exemple soit conditionnel, rien de plus qu'un écart logarithmique ne peut être attendu inconditionnellement pour le moment, car est toujours la borne inférieure la plus connue sur les circuits algébriques généraux. Comme l'a souligné Stasys, cet écart logarithmique est atteint par la fonction (nécessite des circuits algébriques de taille par Baur-Strassen), dont la valeur booléenne est la version est juste .Ω(nlogn)i=1nxinΩ(nlogn)x1x2xn

Joshua Grochow
la source
Salut Joshua: tu as raison, permanent est un exemple (quoique conditionnel)! Eh bien, nous ne connaissons pas de borne inférieure sur A (f) pour permanent. Mais si les versions sans constante de VP et VNP diffèrent, alors nous connaissons la séparation B (f) contre A (f) sans connaître une limite (réelle).
Stasys
2
@Stasys: Notez que même les "petites lacunes" que vous avez demandées sont peu susceptibles d'être connues inconditionnellement, car la meilleure limite inférieure actuelle par rapport à un circuit algébrique général n'est que ! Il est donc possible qu'il y ait un écart entre un circuit booléen de taille linéaire et une borne inférieure algébrique quasi linéaire, mais rien de plus fort n'est connu sans condition, et c'est un très petit écart ...Ω(nlogn)
Joshua Grochow
1
à Joshua: à droite, bon point encore. Si f est une somme des n-èmes puissances de toutes les n variables uniques, alors B (f) est au plus n, et Baur-Strassen montre que A (f) est au moins environ n fois le logarithme de n. C'est le plus connu pour A (f). Ainsi, l' écart explicite le plus important connu pour ma question n'est en effet que logarithmique. (Une question de côté: savez-vous pourquoi mon @ disparaît toujours dans les commentaires?)
Stasys
@Stasys: bel exemple. (Re: à part. Je ne le fais pas. Je pense que le système fait une déduction automatique de qui les choses sont "at-ed", et si vous dirigez un message vers la "personne par défaut", alors il le supprime. Je pense .)
Joshua Grochow
Droite. L'auteur d'un poste est toujours informé de nouveaux commentaires, de sorte que le système supprime la notification explicite @ comme redondante.
Emil Jeřábek