ループ不変式造句

例句与造句

1. 次に，ｉ２ループについて考えるときは，制御変数ｉ１はｉ２ループ不変式なので，第２次元添字‘ｉ２＋ｉ１’はＦ＊Ｉｓ＋Ｄの形と見なされ，やはりアルゴリズムの３，４行目が適用される．
   其次，当考虑ｉ２循环时，由于控制变量ｉ１为ｉ２循环不变式，因此第２维下标‘ｉ２＋ｉ１’将被视为Ｆ＊Ｉｓ＋Ｄ的形，仍然适用算法程序的第３行、第４行。
2. 用ループ不変式造句挺难的，這是一个万能造句的方法