Examines the framework for research in the theory of complexity of computations. Emphasis on the interrelation between seemingly diverse problems and methods; Evaluation of an algebraic expression; Cost functions of a...
详细信息
Examines the framework for research in the theory of complexity of computations. Emphasis on the interrelation between seemingly diverse problems and methods; Evaluation of an algebraic expression; Cost functions of algorithms.
Since any function f(x1, … , xm) from {0, 1}m in a finite field k can be uniquely written as a multilinear polynomial, we associate to it its inverse dual f*(x1, … , xm) expressing the coefficients of this canonical...
详细信息
Since any function f(x1, … , xm) from {0, 1}m in a finite field k can be uniquely written as a multilinear polynomial, we associate to it its inverse dual f*(x1, … , xm) expressing the coefficients of this canonical polynomial. We show that the unlikely hypothesis that the class P(k) of sequences of functions of polynomial complexity be closed by duality is equivalent to the well-known hypothesis P = #pP, where p is the characteristic of *** a first section we expose the result in the frame of classical Boolean calculus, that is, when k = ℤ/2ℤ. In a second section we treat the general case, introducing a notion of transformation whose duality is a special case; the transformations form a group isomorphic to GL2(k); among them, we distinguish the benign transformations, which have a weak effect on the complexity of functions; we show that, in this respect, all the non-benign transformations have the same power of *** the third section we consider functions from km into k, and in the last, after introducing #P = P to the landscape, we compare our results with those of Guillaume Malod, concerning the closure by ‘coefficient-function’ of various classes of complexity of sequences of polynomial defined in Valiant's *** k est un corps fini, toute fonction f(x1, … , xm) de {0, 1}m dans k s'écrit de manière unique comme un polynôme, à coefficients dans k, de degré un ou zéro en chacune de ses variables ; on peut donc lui associer une fonction f*(x1, … , xm), sa duale inverse, qui exprime les coefficients de son polynôme canonique. Nous considérons l'improbable hypothèse que la classe P(k), formée des suites de fonctions calculables en un nombre d'opérations (additions et multiplications) de croissance polynomialement bornée, soit close par dualité ; nous montrons qu'elle équivaut à une hypothèse bien connue en Théorie de la Complexité sous le nom de P = #pP, où p est la caractéristique de *** une première section, nous exposons ce résultat lorsque k = ℤ/2ℤ
The multiplicative complexity of the direct product of algebras $A_p $ of polynomials modulo a polynomial P is studied. In particular, we show that if P and Q are irreducible polynomials then the multiplicative comple...
详细信息
The multiplicative complexity of the direct product of algebras $A_p $ of polynomials modulo a polynomial P is studied. In particular, we show that if P and Q are irreducible polynomials then the multiplicative complexity of $A_{\text{P}} \times A_{\text{Q}} $ is $2\deg ({\text{P}})\deg ({\text{Q}}) - {\text{k}}$, where k is the number of factors of P in the field extended by a root of ${\text{Q}}$.
We consider a wide series of classes of algorithmic complexity. We fix such a class and investigate the complexity of the inversion operation in classical algebraic structures, like groups or fields. In addition, we a...
详细信息
We consider a wide series of classes of algorithmic complexity. We fix such a class and investigate the complexity of the inversion operation in classical algebraic structures, like groups or fields. In addition, we analyze the properties of quotient structures.
We define a superclass of the class of context-free languages, denoted ACFL (almost context-free languages) and construct an infinite sequence of non-context-free languages of decreasing complexity, belonging to ACFL....
详细信息
We define a superclass of the class of context-free languages, denoted ACFL (almost context-free languages) and construct an infinite sequence of non-context-free languages of decreasing complexity, belonging to ACFL. The languages in ACFL share many important properties of context-free *** example, a slight generalization of pumping lemma for context-free languages holds also for languages in ACFL. Similarly, some of the questions decidable for context-free languages are decidable in ACFL and start to be undecidable immediately outside the class. ACFL is a full AFL and contains an infinite strictly decreasing chain of full AFLs.
暂无评论