k ビット整数環境におけるループ終了条件の数理解析
問題の定式化
C 言語様の_for_ループ構造において、制御変数が k ビットの符号なし整数型として振る舞う場合の実行回数を求める問題について解説します。具体的なループ構造は以下のように定義されます。
for (variable = A; variable != B; variable += C)
statement;
このループは、変数 variable を初期値 A で開始し、B に一致するまでステートメントを実行し、毎 ...
9月20日 04:33 投稿