Complexité en ligne droite des monômes


11

Soit k un champ. Comme d'habitude, pour un fk[x1,x2,,xn] nous définissons L(f) comme la complexité linéaire de f sur k . Soit F l'ensemble des monômes de f , à savoir les monômes qui apparaissent en f avec un coefficient non nul.

Est-il vrai que mF:L(m)L(f) ?

Même une limite supérieure plus faible pour L(m) est connue?

Réponses:


13

f=(Σi=1nxi)2n
(2n+n1n1)2n2L(f)=O(n)2O(nlogn)O(n)fmL(m)=Ω~(L2(f))

2
Comme un petit exemple constructif basé sur la réponse de domotorp, on peut prendre avec tandis que . f=(x+y)8L(f)=4L(x7y)=L(x7)+1=5
Bruno

@domotorp, Merci pour la belle réponse. Cela semble-t-il également être la limite supérieure? Ou peut-il y avoir de meilleures limites inférieures?
Gorav Jindal

Je ne sais pas, mais comme cet exemple était si simple, je suppose que l'écart peut être plus grand, peut-être même exponentiel.
domotorp

1
J'ai une "preuve" qu'il existe une borne supérieure linéaire ... Où je me trompe (puisque vous avez prouvé une borne inférieure quadratique)? Il se présente comme suit: Avec une SLP de taille , vous calculer un polynôme de degré total . Maintenant, a un SLP de taille au plus avec exponentiation binaire. Un monôme degré- -variable a alors un SLP de taille au plus (borne très grossière): calculer tous les , , puis leur produit. Ainsi, si nous considérons un polynôme , son degré total est au plus , et chaque monôme a une SLP de taille au plusL2LxD2logDD n2nlogD+n1xiDiDiDf2L(f)2nL(f)+n1.
Bruno

1
@Bruno: Belle preuve et il n'y a rien de mal à cela, mais ce n'est pas linéaire, car vous multipliez et . Mais comme nous savons que peut dépendre au maximum de variables , nous pouvons supposer , ce qui implique la borne quadratique requise. Ainsi . nL(f)fL(f)+1nL(f)+1L(m)=O(L2(f))
domotorp

8

Remarque: Il s'agit d'une extension d'un commentaire précédent, car l'OP a explicitement demandé des limites supérieures plus faibles.

Le degré total du polynôme est limité par car chaque opération peut au plus doubler le degré du polynôme. Ainsi, pour chaque , .f2L(f)mMdeg(m)2L(f)

Maintenant, pour une variable et un degré , il y a un SLP qui contamine par exponentiation binaire si la taille est au maximum de . Pour un monôme , on peut calculer séparément chaque puis prendre leur produit. Ainsi où est le degré total de (qui est bien sûr une borne supérieure sur chaque ).xdxd2log(d)m=x1d1xndnxidiL(m)2nlog(d)+(n1)dmdi

Ensemble, on obtient pour : mM

L(m)2nlog(deg(m))+(n1)2nL(f)+(n1).

Puisque , on peut conclure nL(f)+1

mM,L(m)2L(f)2+3L(f).

Remarques. La limite comme indiqué est très approximative. En particulier, la borne supérieure de donnée est que le deuxième paragraphe n'est pas serré. Pourtant, la réponse de domotorp montre que l'on ne peut espérer une bien meilleure borne, et plus précisément que la dépendance quadratique à l'égard de ne peut pas être supprimée. Pour resserrer la construction, on pourrait utiliser les constructions les plus connues sur les chaînes d'addition . Notez que les limites précises ne sont toujours pas connues pour ce problème.L(m)L(f)

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.