9 Jul
2007
9 Jul
'07
12:45 p.m.
At 9:07 AM -0700 7/9/07, Sarad AV wrote:
One of the most common ways used to prove algorithmic correctness is mathematical induction, isn't it?
I thought the "random input" bit was interesting... Cheers, RAH -- ----------------- R. A. Hettinga <mailto: rah@ibuc.com> The Internet Bearer Underwriting Corporation <http://www.ibuc.com/> 44 Farquhar Street, Boston, MA 02131 USA "... however it may deserve respect for its usefulness and antiquity, [predicting the end of the world] has not been found agreeable to experience." -- Edward Gibbon, 'Decline and Fall of the Roman Empire'