When designing an algorithm, one often critical step is to find a good representation for the problem input and output, that will help us think about it clearly.
When writing a proof, one often critical step is to find the right notation. Once you have decided what objects are worth having an independent notation, that will direct (or mislead) the proof.
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.