検索内容:
アルゴリズムを検証するために、彼女はループ開始時に成り立ち各反復で保持される性質を表すループ不変式を定式化した。
アルゴリズムの正しさを証明するとき、私たちは反復の間に保持すべきいくつかのループ不変式を慎重に特定しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★