Loop invariant

The basic principle of calculus is that the small element division solution approximates the final value , The actual algorithm writing process is to approach the final solution through this continuous progressive way （ Local left and right solutions ）. That is, we can think that calculus and computer algorithm are consistent , Prove or solve the final problem by approaching infinitely . When it comes to solving , The description of physical laws is generally a summary of natural laws , It is the result of human long-term experience . The computer solution of a complex problem generally requires a description of the physical principle formula and the calculus solution process . The solving process of calculus must involve initial conditions 、 Termination decision and loop invariants are three important core problems .