[1] は、実際にはほぼ 「衝突時に 2 つの front のみが衝突するように速度を変更する」 とだけ述べていて、その具体的なアルゴリズムは示していないし、 あまり細かく考察しているようにも見えない。
速度の変更は連続的に行え、それに対して front の数や衝突点は有限個なので、 定義 7.1 を満たすような変更は存在する気はするのであるが、 手順をちゃんと示せ、と言われるとそれほど自明ではないし、 Remark 7.2 で述べている条件も少し難しい。
本節では、それらについて少し詳しく考えてみる。
竹野茂治@新潟工科大学