#line 2 "cpplib/util/template.hpp" #pragma GCC optimize("Ofast") #pragma GCC optimize("unroll-loops") #pragma GCC target("avx2") #include using namespace std; struct __INIT__{__INIT__(){cin.tie(0);ios::sync_with_stdio(false);cout< vec; typedef vector> mat; typedef vector>> mat3; typedef vector svec; typedef vector> smat; templateusing V=vector; templateusing VV=V>; templateinline void output(T t){bool f=0;for(auto i:t){cout<<(f?" ":"")<inline void output2(T t){for(auto i:t)output(i);} templateinline void debug(T t){bool f=0;for(auto i:t){cerr<<(f?" ":"")<inline void debug2(T t){for(auto i:t)debug(i);} #define loop(n) for(long long _=0;_<(long long)(n);++_) #define _overload4(_1,_2,_3,_4,name,...) name #define __rep(i,a) repi(i,0,a,1) #define _rep(i,a,b) repi(i,a,b,1) #define repi(i,a,b,c) for(long long i=(long long)(a);i<(long long)(b);i+=c) #define rep(...) _overload4(__VA_ARGS__,repi,_rep,__rep)(__VA_ARGS__) #define _overload3_rev(_1,_2,_3,name,...) name #define _rep_rev(i,a) repi_rev(i,0,a) #define repi_rev(i,a,b) for(long long i=(long long)(b)-1;i>=(long long)(a);--i) #define rrep(...) _overload3_rev(__VA_ARGS__,repi_rev,_rep_rev)(__VA_ARGS__) // #define rep(i,...) for(auto i:range(__VA_ARGS__)) // #define rrep(i,...) for(auto i:reversed(range(__VA_ARGS__))) // #define repi(i,a,b) for(lint i=lint(a);i<(lint)(b);++i) // #define rrepi(i,a,b) for(lint i=lint(b)-1;i>=lint(a);--i) // #define irep(i) for(lint i=0;;++i) // inline vector range(long long n){if(n<=0)return vector();vectorv(n);iota(v.begin(),v.end(),0LL);return v;} // inline vector range(long long a,long long b){if(b<=a)return vector();vectorv(b-a);iota(v.begin(),v.end(),a);return v;} // inline vector range(long long a,long long b,long long c){if((b-a+c-1)/c<=0)return vector();vectorv((b-a+c-1)/c);for(int i=0;i<(int)v.size();++i)v[i]=i?v[i-1]+c:a;return v;} // templateinline T reversed(T v){reverse(v.begin(),v.end());return v;} #define all(n) begin(n),end(n) templatebool chmin(T& s,const E& t){bool res=s>t;s=min(s,t);return res;} templatebool chmax(T& s,const E& t){bool res=s(s,t);return res;} const vector dx={1,0,-1,0,1,1,-1,-1}; const vector dy={0,1,0,-1,1,-1,1,-1}; #define SUM(v) accumulate(all(v),0LL) templateauto make_vector(T x,int arg,Args ...args){if constexpr(sizeof...(args)==0)return vector(arg,x);else return vector(arg,make_vector(x,args...));} #define extrep(v,...) for(auto v:__MAKE_MAT__({__VA_ARGS__})) #define bit(n,a) ((n>>a)&1) vector> __MAKE_MAT__(vector v){if(v.empty())return vector>(1,vector());long long n=v.back();v.pop_back();vector> ret;vector> tmp=__MAKE_MAT__(v);for(auto e:tmp)for(long long i=0;i>; templateusing graph_w=vector>>; templateostream& operator<<(ostream& out,pairv){out<<"("< struct maybe{ bool _is_none; T val; maybe():_is_none(true){} maybe(T val):_is_none(false),val(val){} T unwrap()const{ assert(!_is_none); return val; } T unwrap_or(T e)const{ return _is_none?e:val; } bool is_none()const{return _is_none;} bool is_some()const{return !_is_none;} }; template auto expand(F op){ return [&op](const maybe& s,const maybe& t){ if(s.is_none())return t; if(t.is_none())return s; return maybe(op(s.unwrap(),t.unwrap())); }; } #line 4 "cpplib/segment_tree/segment_tree.hpp" /** * @brief セグメント木 * @see https://en.wikipedia.org/wiki/Segment_tree */ template class segment_tree{ maybe* node; F op; int n=1; public: segment_tree(){} segment_tree(int sz,F op=F()):op(op){ while(n<=sz)n<<=1; node=new maybe[n*2]; for(int i=0;i(); } segment_tree(const std::vector&v,F op=F()):op(op){ auto f=expand(op); const int sz=v.size(); while(n<=sz)n<<=1; node=new maybe[n*2](); for(int i=0;i(v[i]); for(int i=n-1;i>=1;i--)node[i]=f(node[i*2],node[i*2+1]); } maybe get(int l,int r){ auto f=expand(op); l+=n;r+=n; maybe s,t; while(l>=1;r>>=1; } return f(s,t); } void apply(int t,T _val){ auto f=expand(op); t+=n; maybe val=maybe(_val); while(t){ node[t]=f(node[t],val); t=t>>1; } } void apply_left(int t,T _val){ auto f=expand(op); t+=n; maybe val=maybe(_val); while(t){ node[t]=f(val,node[t]); t=t>>1; } } void change(int t,T val){ auto f=expand(op); t+=n; node[t]=maybe(val); while(t>1){ t=t>>1; node[t]=f(node[t*2],node[t*2+1]); } } }; #line 3 "cpplib/math/binary_search.hpp" /** * @brief 二分探索 */ template T bs(T mn,T mx,F func){ mn--; mx++; while(mx-mn>1){ T mid=(mn+mx)/2; if(!func(mid))mx=mid; else mn=mid; } return mn; } #line 1 "cpplib/DP/monotone_minima.hpp" //monotoneな二変数関数に対して各行の最小値を求める template std::vector monotone_minima(int h,int w,T inf,F f){ std::vectorret(h); auto g=[&](auto g,int a,int b,int c,int d,T inf,auto f)->void{ int e=(a+b)/2,idx=0; T mn=inf; for(int i=c;if(e,i))mn=f(e,i),idx=i; } ret[e]=idx; if(b>a+1){ g(g,a,e,c,idx+1,inf,f); g(g,e,b,idx,d,inf,f); } }; g(g,0,h,0,w,inf,f); return ret; } #line 5 "code.cpp" int main(){ lint n,x,y; cin>>n>>x>>y; string s; cin>>s; vector>v; lint p=0,q=0,cnt=0,cnt_mx=0; vec edge; vectorspos; vector> vv; if(count(all(s),'S')x){ return x.second-x.first; }; auto merge=[&](pairs,pairt){ return make_pair(min(s.first,s.second+t.first),s.second+t.second); }; // auto dp=make_vector(-INF,cnt+1,y+2); // auto pre=make_vector(-1,cnt+1,y+2); // dp[0][0]=0; // rep(k,y+1)rep(i,cnt){ // auto now=make_pair(0LL,0LL); // rep(j,i,cnt){ // now=merge(now,vv[j]); // if(chmax(dp[j+1][k+1],dp[i][k]+(now.second-now.first))){ // pre[j+1][k+1]=i; // } // } // } segment_tree,decltype(merge)>seg(vv,merge); // rep(_,1000){ // vec v={rand()%cnt,rand()%cnt,rand()%cnt,rand()%cnt}; // sort(all(v)); // if(v[0]==v[1]||v[1]==v[2]||v[2]==v[3])continue; // auto p=get(seg.get(v[0],v[3]).unwrap())+get(seg.get(v[1],v[2]).unwrap()); // auto q=get(seg.get(v[0],v[2]).unwrap())+get(seg.get(v[1],v[3]).unwrap()); // assert(p-q<=0); // } lint pena=bs(-n,n,[&](lint x){ vectordp(cnt+1,-INF); vectord(cnt+1,-INF); dp[0]=0; d[0]=0; auto dfs=[&](auto dfs,lint l,lint r)->void{ if(r-l==1)return; lint m=(l+r)/2; dfs(dfs,l,m); auto res=monotone_minima(r-m,m-l,INF,[&](lint p,lint q){ return -dp[q+l]-get(seg.get(q+l,p+m).unwrap()); }); rep(i,r-m){ if(chmax(dp[i+m],dp[res[i]+l]+get(seg.get(res[i]+l,i+m).unwrap())-x)){ d[i+m]=d[res[i]+l]+1; } } dfs(dfs,m,r); }; dfs(dfs,0,cnt+1); return d[cnt]>y+1; })+1; vectora,b; { vectordp(cnt+1,-INF); vectord(cnt+1,-INF); vectorfrom(cnt+1,-1); dp[0]=0; d[0]=0; auto dfs=[&](auto dfs,lint l,lint r)->void{ if(r-l==1)return; lint m=(l+r)/2; dfs(dfs,l,m); auto res=monotone_minima(r-m,m-l,make_pair(INF,INF),[&](lint p,lint q)->pair{ return make_pair(-dp[q+l]-get(seg.get(q+l,p+m).unwrap()),d[q+l]); }); rep(i,r-m){ if(make_pair(dp[i+m],-d[i+m])dp(cnt+1,-INF); vectord(cnt+1,-INF); vectorfrom(cnt+1,-1); dp[0]=0; d[0]=0; auto dfs=[&](auto dfs,lint l,lint r)->void{ if(r-l==1)return; lint m=(l+r)/2; dfs(dfs,l,m); auto res=monotone_minima(r-m,m-l,make_pair(INF,INF),[&](lint p,lint q)->pair{ return make_pair(-dp[q+l]-get(seg.get(q+l,p+m).unwrap()),d[q+l]); }); rep(i,r-m){ if(make_pair(dp[i+m],-d[i+m])b[bi+1]){ d.push_back(b[bi++]); c.swap(d); }else{ if(ai<(int)a.size())c.push_back(a[ai++]); if(bi<(int)b.size())d.push_back(b[bi++]); } } vec vvv(y+1),ll(y+1),rr(y+1); { if((int)c.size()!=y+2){ c.swap(d); } rep(i,c.size()-1){ vvv[i]=get(seg.get(c[i],c[i+1]).unwrap()); ll[i]=c[i]; rr[i]=c[i+1]; } } // { // lint now=cnt; // for(lint i=y+1;i>=1;--i){ // auto tmp=make_pair(0LL,0LL); // for(int j=pre[now][i];jy+1){ // auto [cost,l,r,p,q]=que.top(); // que.pop(); // if(edge[l]!=r||edge[r]!=l){ // continue; // } // if(edge[p]!=q||edge[q]!=p){ // continue; // } // cnt--; // if(r+1==p){ // edge[l]=q; // edge[q]=l; // if(l!=r)edge[r]=-1; // if(p!=q)edge[p]=-1; // vv[l]=vv[q]=merge(vv[l],vv[q]); // if(l!=r)vv[r]=make_pair(-1,-1); // if(p!=q)vv[p]=make_pair(-1,-1); // if(l!=0){ // que.emplace(get(merge(vv[l],vv[l-1]))-get(vv[l])-get(vv[l-1]),l,q,edge[l-1],l-1); // } // if(q!=cnt_mx-1){ // que.emplace(get(merge(vv[q],vv[q+1]))-get(vv[q])-get(vv[q+1]),l,q,q+1,edge[q+1]); // } // }else{ // edge[r]=p; // edge[p]=r; // if(l!=r)edge[l]=-1; // if(p!=q)edge[q]=-1; // vv[r]=vv[p]=merge(vv[r],vv[p]); // if(l!=r)vv[l]=make_pair(-1,-1); // if(p!=q)vv[q]=make_pair(-1,-1); // if(p!=0){ // que.emplace(get(merge(vv[p],vv[p-1]))-get(vv[p])-get(vv[p-1]),p,r,edge[p-1],p-1); // } // if(r!=cnt_mx-1){ // que.emplace(get(merge(vv[r],vv[r+1]))-get(vv[r])-get(vv[r+1]),p,r,r+1,edge[r+1]); // } // } // } vector> ans; ans.emplace_back(-1,0); lint nx=0; for(int ny=0;ny<=y;++ny){ lint px=nx; if(nx==x){ ans.emplace_back(x-1,ny); ans.emplace_back(x+1,ny); }else if(nx+vvv[ny]>x){ lint p=0,q=0,r=0; rep(i,ll[ny],rr[ny]){ if(s[i]=='R'){ q++; chmax(r,q); if(chmin(p,q)){ r=0; } } if(s[i]=='L'){ q--; chmax(r,q); if(chmin(p,q)){ r=0; } } } nx=x; rep(i,px-1,nx){ ans.emplace_back(i,ny+1); } rep(i,0,ny+1)ans.emplace_back(x+r-q+1,i); rep(i,x+1,x+r-q+1)ans.emplace_back(i,ny+1); }else{ nx+=vvv[ny]; rep(i,px-1,nx){ ans.emplace_back(i,ny+1); } } } rep(i,n)ans.emplace_back(i,y+1); if(x!=nx){ cout<<-1< ma(n+2,string(n+1,'.')); // for(auto [nx,ny]:ans){ // ma[ny][nx+1]='#'; // } // rep(i,n+2){ // cout<