Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Energy is very valuable computational resource especially in mobile computing. Optimizing the energy consumed during the execution of algorithms has significant practical implications. Intuitively, It seems that such abstract energy measure has to be correlated to the time complexity, the space complexity, and the frequency of space (memory) access operations. Communications costs should be accounted for if we consider distributed computing model.

Are there abstract notions of energy (possibly analogous to the action quantity in physics) which could be useful for establishing energy-complexity classes for computational problems?

This is a follow-up to this question on SE TCS

share|improve this question
add comment

2 Answers

The answer is no, energy cannot be considered a cost of computation.

Classical computations can be transformed, with only polynomial size blow-up, to reversible computations (computations which do not have operations like AND, OR which lose information). Instead, operation like $x \rightarrow x + y z$ are used, which are involutions. This transformation may require writing to an auxiliary scratch space, also polynomial sized. Reversible computations, in principle, do not require energy.

You allude to practical considerations like mobile computing. I do not believe (but am not sure of this) that the intrinsic energy loss from information-destroying operations plays a significant role in the real-world energy losses of computational devices.

share|improve this answer
5  
There has been some research on making low-energy computer chips using ideas from reversible computation, where reversible steps take considerably less energy than irreversible steps (although neither came anywhere close to the $kT\,\ln 2$ of Landauer's principle). I don't know whether any companies are currently considering making low-energy chips based on reversibility, though. –  Peter Shor Jan 21 '11 at 2:09
add comment

Yes, DJ Bernstein has a big rant which shows up (for example) in his work on integer factorization circuits. He goes a bit further than "energy" and discusses assigning a cost in dollars to a computation (in terms of the hardware needed, etc). He uses this measure to evaluate various trade-offs in serial vs. parallel computation, and argues that lots of existing analyses use the wrong measures and for that reason reach the wrong conclusions even asymptotically. Some links:

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.