How do I “apply” a loop invariant?
-
06-11-2019 - |
質問
A homework problem I have asks that I "state" a loop invariant, then "prove" it, then "apply" it. I get state and prove, but my textbook doesn't explicitly state how to "apply" a loop invariant.
正しい解決策はありません
所属していません cs.stackexchange