\(p_i\) を最初から見ていき, できるだけキーの小さいグループに所属するようにする.