解法については，公式解説を参照してください．

長さ \(K\) の 01 列を辞書順で比較する際には，列を 1 つの多倍長整数に入れておくと，整数の大小で判定できるため実装が簡潔になります．

\(N\) 個の多倍長整数を適切な平衡二分探索木で管理することで，\(O(NK + QK \log N / \text{word})\) 時間でこの問題を解くことができます．

実装例 (Python)