Improved method for finding optimal formulae for bilinear maps in a finite field
نویسنده
چکیده
In 2012, Barbulescu, Detrey, Estibals and Zimmermann proposed a new framework to exhaustively search for optimal formulae for evaluating bilinear maps, such as Strassen or Karatsuba formulae. The main contribution of this work is a new criterion to aggressively prune useless branches in the exhaustive search, thus leading to the computation of new optimal formulae, in particular for the short product modulo X and the circulant product modulo (X − 1). Moreover, we are able to prove that there is essentially only one optimal decomposition of the product of 3× 2 by 2× 3 matrices up to the action of some group of automorphisms.
منابع مشابه
Finding Optimal Formulae for Bilinear Maps
We describe a unified framework to search for optimal formulae evaluating bilinear — or quadratic — maps. This framework applies to polynomial multiplication and squaring, finite field arithmetic, matrix multiplication, etc. We then propose a new algorithm to solve problems in this unified framework. With an implementation of this algorithm, we prove the optimality of various published upper bo...
متن کاملNumerical Study on Effect of Bilinear Pressure Path on Corner Filling in Hydroforming of Tube in Box-Shape Die
Die corner filling is very important in tube hydroforming process. Definition of the internal pressure path is a key factor in improving the corner filling. However, the factors that cause improvement of corner filling are still unclear. In this paper, effect of bilinear pressure path on corner filling in hydroforming of tube in box-shape die is studied using both finite element simulation and...
متن کاملApproximate Closed-form Formulae for Buckling Analysis of Rectangular Tubes under Torsion
The buckling torque may be much less than the yield torque in very thin rectangular tubes under torsion. In this paper, simple closed-form formulae are presented for buckling analysis of long hollow rectangular tubes under torsion. By the presented formulae, one can obtain the critical torque or the critical angle of twist of the tube in terms of its geometrical parameters and material constant...
متن کاملDynamic Load Carrying Capacity of Flexible Manipulators Using Finite Element Method and Pontryagin’s Minimum Principle
In this paper, finding Dynamic Load Carrying Capacity (DLCC) of flexible link manipulators in point to-point motion was formulated as an optimal control problem. The finite element method was employed for modelling and deriving the dynamic equations of the system. The study employed indirect solution of optimal control for system motion planning. Due to offline nature of the method, many diffic...
متن کاملComparing 511 keV Attenuation Maps Obtained from Different Energy Mapping Methods for CT Based Attenuation Correction of PET Data
Introduction: The advent of dual-modality PET/CT scanners has revolutionized clinical oncology by improving lesion localization and facilitating treatment planning for radiotherapy. In addition, the use of CT images for CT-based attenuation correction (CTAC) decreases the overall scanning time and creates a noise-free attenuation map (6map). CTAC methods include scaling, s...
متن کامل