A probabilistic algorithm for verifying matrix products using O( n2) time and log 2n + O(1) random bits

Abstract

L'article presente un algorithme permettant de verifier le produit de matrices de dimensions nxn. Cet algorithme a une complexite de l'ordre de o(log n); il est plus simple et plus direct que les precedents. En plus, il peut etre etendu de facon probabiliste de maniere a majorer la probabilite d'erreur