combinatorial explosion