min(A,B)>=2なら絶対作れて、A=1ならsから"a"*n+"b"*m(n,mは非負整数)となるsubsequenceのうち最もサイズが大きいものをXとすると、B<=Xなら作れる。
それ以外は作れない。
証明はしたけど時間がたりない