Some techniques for proving certain simple programs optimal

  • Authors:
  • J. E. Hopcroft;L. R. Kerr

  • Affiliations:
  • -;-

  • Venue:
  • SWAT '69 Proceedings of the 10th Annual Symposium on Switching and Automata Theory (swat 1969)
  • Year:
  • 1969

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper develops techniques for establishing a lower bound on the number of arithmetic operations necessary for sets of simple expressions. The techniques are applied to matrix multiplication. A modification of Strassen's algorithm is developed for multiplying n 脳 p matrices by p 脳 q matrices. The techniques are used to prove that this algorithm minimizes the number of multiplications for a few special cases. In so doing we establish that matrix multiplication with elements from a commutative ring requires fewer multiplications than with elements from a non-commutative ring.