追記：タイトルを「【随時更新】フローチャートの集合へのまとめ方」から「【随時更新】計算量の減らし方まとめ」に変更。
後日追記：線形走査法、つまり線的な走査にして、フローが散らばらないようにする工夫。複数ある変数の制約を1つの変数の制約にあつめる工夫。後ろだけを考えればその前は考えなくても全通りに対応できるような場合。エッシャーの絵のように、構成要素のそれぞれが対称になるようにして、1つだけ考えれば良いようにするという工夫。同じパターンでくり返す計算結果を予め出しておくという工夫。いろいろあって、それぞれ軽くなる理由も分かるけど、なにか体系的に説明できるものなのだろうか。博物学的なコレクションにしかならないような気もする。一応ページは残しておくが、その場合は、問題を記述して、後は計算量を減らすという方向性で良いかを確認するという研究になるだろう。