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