荧光 发表于 2025-3-27 00:22:47

http://reply.papertrans.cn/24/2339/233826/233826_31.png

灰姑娘 发表于 2025-3-27 05:10:06

http://reply.papertrans.cn/24/2339/233826/233826_32.png

迁移 发表于 2025-3-27 07:27:16

Complexity of Polynomial Multiplication over Finite Fieldsovel combination of two known techniques. One technique is the analysis of Hankel matrices representing bilinear forms defined by linear combinations of the coefficients of the polynomial product. The other technique is a counting argument from the coding theory.

植物茂盛 发表于 2025-3-27 12:05:03

Constructive Equivalence Relations on Computable Probability Measuresogorov-Loveland random reals, and having the same computably random reals. In particular, we show that, when restricted to the class of strongly positive generalized Bernoulli measures, they all coincide with the classical equivalence, which requires that two measures have the same nullsets.

红润 发表于 2025-3-27 14:02:25

Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varietiesynomial–time algorithms to substantiate this model are described in zero–characteristic. The main result here is a construction of the intersection of algebraic varieties. As applications we get efficient algorithms for constructing the smooth stratification and smooth cover of an algebraic variety introduced by the author earlier.

Inertia 发表于 2025-3-27 20:11:18

http://reply.papertrans.cn/24/2339/233826/233826_36.png

antenna 发表于 2025-3-28 00:45:27

https://doi.org/10.1057/9780230288164nstraint types are Boolean combinations of the equality relation, and we call the corresponding constraint languages .. We show that an equality constraint language is tractable if it admits a constant unary or an injective binary polymorphism, and is NP-complete otherwise.

N斯巴达人 发表于 2025-3-28 04:19:12

http://reply.papertrans.cn/24/2339/233826/233826_38.png

finite 发表于 2025-3-28 08:52:52

http://reply.papertrans.cn/24/2339/233826/233826_39.png

floaters 发表于 2025-3-28 13:43:51

Development of the Stock Markets,izzini’s techniques: Our construction is polynomial in terms of the number of states but still double-exponential in the size of the alphabet. As opposed to Métivier’s work, our algorithm does not restrict to acyclic dependence alphabets.
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Computer Science -- Theory and Applications; First International Dima Grigoriev,John Harrison,Edward A. Hirsch Conference proceedings 2006