A metric space for computer programs and the principle of computational least action

  • Authors:
  • Robert W. Numrich

  • Affiliations:
  • Minnesota Supercomputing Institute, University of Minnesota, Minneapolis, USA

  • Venue:
  • The Journal of Supercomputing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We define a normed metric space for computer programs and derive from it the Principle of Computational Least Action. In our model, programs follow trajectories determined by Newton's equation of motion in an abstract computational phase space and generate computational action as they evolve. A program's action norm is the L 1-norm of its action function, and its distance from other programs is the distance derived from the action norm. The Principle of Computational Least Action states the goal of performance optimization as finding the program with the smallest action norm. We illustrate this principle by analyzing a simple program.