TODO

そもそも厳密解欲しい場合でも…

普通の O(X*Y) なアルゴリズムでこいうのやるのは難しくないけど、
bit parallel でこれやるのは大変そう…