多数の変数が組み合わさるモデルで、状態数を抑えるための技術はどれか。

個々の変数の値を状態として扱うのではなく、論理的に意味のある範囲にグループ化して状態数を削減する。