bit全探索の計算量とかと同じ話だから茶色ぐらいでもできる計算量解析だと思うけど、インコの抽象化能力だと難しいか