それは>>261が言ってるように、考えられる有限個を用意するしかなくて、コストとの相談になる。

結局、理論的な保証が欲しいと言ってるのだが