@t.ae たしかに、全部が同じという仮定と全探索の中間に、precedenceグループごとが同じ型になっている、という仮定も置けるね。その場合は結局複数のグループごとの組み合わせ探索は起きうるけど。