摘要: # 循环不变量 用于证明迭代算法 ![image-20230627092857590](https://img2023.cnblogs.com/blog/3051960/202306/3051960-20230629122404742-2015116990.png) 例题:用循环不变量证明选择排序正 阅读全文
posted @ 2023-06-28 15:33 sakuraLGGM 阅读(60) 评论(0) 推荐(0)