分野：テクノロジ系
中分類：アルゴリズムとプログラミング
小分類：アルゴリズム

まず、S1～S4までを1回ずつ実行した次のケースを考えてみます。

• 1＝1＋1＋1 で成立しません。
• 1＝1＋1－1 で成立します。
• 1＝1－1＋1 で成立します。
• 1＝－1＋1＋1 で成立します。

この時点で「ア」は検討対象から除外できるので、残った選択肢の検証を続けます。
「イ」と「ウ」で異なる部分は"＋n₂－n₃"と"－n₂＋n₃"だけで、n₂とn₃の実行回数が同じ時には2つの式の結果に違いが現れないため、n₂とn₃が異なる実行回数をとる次のようなケースで検証を行います。

• 「イ」2＝1＋0－1 で成立しません。
• 「ウ」2＝1－0＋1 で成立します。
• 「エ」2＝－1＋0＋1 で成立しません。

したがって、n₁～n₄の間に成立する式は「n₄＝n₁－n₂＋n₃」とわかります。