Finding Optimal Formulae for Bilinear Maps - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2012

Finding Optimal Formulae for Bilinear Maps

Recherche automatique de formules pour calculer des formes bilinéaires

Résumé

This talk will focus on the bilinear rank problem: given a bilinear map (e.g., the product of polynomials, of finite-field elements, or of matrices), what is the smallest number of multiplications over the coefficient ring required to evaluate this function? For instance, Karatsuba's method allows one to compute the product of two linear polynomials using only three multiplications instead of four. In this talk, we give a formalization of the bilinear rank problem, which is known to be NP-hard, and propose a generic algorithm to efficiently compute exact solutions, thus proving the optimality of (or even improving) known complexity bounds from the literature.
Dans cet exposé, nous nous intéressons au problème du rang bilinéaire : étant donnée une application bilinéaire (par exemple, le calcul d’un produit de polynômes, d’éléments d’un corps fini, ou encore de matrices), quel est le nombre minimal de multiplications sur le corps de base nécessaires pour évaluer cette application ? Ainsi, par exemple, la méthode de Karatsuba permet de calculer le produit de deux polynômes linéaires en seulement trois multiplications au lieu de quatre. Nous donnons dans cet exposé une formalisation du problème du rang bilinéaire, connu pour être NP-dur, et proposons un algorithme général permettant de calculer efficacement des solutions exactes, qui nous permettent ainsi de prouver l’optimalité de, voire même d’améliorer certaines bornes de la littérature.
Fichier principal
Vignette du fichier
talk.pdf (490.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01413162 , version 1 (09-12-2016)

Identifiants

  • HAL Id : hal-01413162 , version 1

Citer

Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals, Paul Zimmermann. Finding Optimal Formulae for Bilinear Maps. AriC Seminar, Mar 2012, Lyon, France. ⟨hal-01413162⟩
229 Consultations
117 Téléchargements

Partager

Gmail Facebook X LinkedIn More