結果
| 問題 | No.3779 L or R |
| コンテスト | |
| ユーザー |
👑  hamamu
|
| 提出日時 | 2026-10-30 21:42:04 |
| 言語 | C++23 (gcc 15.3.0 + boost 1.92.0 + ACL) |
| 結果 |
AC
不安定
|
| 実行時間 | 36 ms / 2,000 ms |
| + 974µs | |
| コード長 | 37,147 bytes |
| 記録 | |
| コンパイル時間 | 3,421 ms |
| コンパイル使用メモリ | 376,764 KB |
| 実行使用メモリ | 11,704 KB |
| 最終ジャッジ日時 | 2026-10-30 21:42:13 |
| 合計ジャッジ時間 | 8,428 ms |
|
ジャッジサーバーID （参考情報） |
judge7_0 / judge4_0 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 40 |
ソースコード
#ifndef MYLOCAL
//# pragma GCC target("avx2")//yukiではNG
# pragma GCC optimize("O3")
# pragma GCC optimize("unroll-loops")
#endif
#if defined(NDEBUG)
#undef NDEBUG
#endif
#include "bits/stdc++.h"
using namespace std;
using ll=long long;
using dd=long double;
using pll=pair<ll,ll>;
using tll=tuple<ll,ll,ll>;
using qll=tuple<ll,ll,ll,ll>;
using namespace chrono;
constexpr ll INF = 1201001001001001001;
struct Fast{ Fast(){ cin.tie(0); ios::sync_with_stdio(false); cout<<fixed<<setprecision(numeric_limits<double>::max_digits10); } } fast;
#define EXPAND( x ) x//VS用おまじない
#define overload3(_1,_2,_3,name,...) name
#define overload4(_1,_2,_3,_4,name,...) name
#define overload5(_1,_2,_3,_4,_5,name,...) name
#define rep1(N) for (ll dmyi = 0; dmyi < (N); dmyi++)
#define rep2(i, N) for (ll i = 0; i < (N); i++)
#define rep3(i, S, E) for (ll i = (S); i <= (E); i++)
#define rep4(i, S, E, t) for (ll i = (S); i <= (E); i+=(t))
#define rep(...) EXPAND(overload4(__VA_ARGS__,rep4,rep3,rep2,rep1)(__VA_ARGS__))
#define dep3(i, E, S) for (ll i = (E); i >= (S); i--)
#define dep4(i, E, S, t) for (ll i = (E); i >= (S); i-=(t))
#define dep(...) EXPAND(overload4(__VA_ARGS__, dep4, dep3,_,_)(__VA_ARGS__))
#define ALL1(v) (v).begin(), (v).end()
#define ALL2(v,E) (v).begin(), (v).begin()+((E)+1)
#define ALL3(v,S,E) (v).begin()+(S), (v).begin()+((E)+1)
#define all(...) EXPAND(overload3(__VA_ARGS__, ALL3, ALL2, ALL1)(__VA_ARGS__))
template<class T> inline bool chmax(T &a, T b) { if (a < b) { a = b; return true; }return false; }
template<class T> inline bool chmin(T &a, T b) { if (a > b) { a = b; return true; }return false; }
template<class T> [[nodiscard]] inline T limithi(T a,T b){ return min(a,b); }
template<class T> [[nodiscard]] inline T limitlo(T a,T b){ return max(a,b); }
template<class T> inline bool chlimithi(T &a,T b){ return chmin(a,b); }
template<class T> inline bool chlimitlo(T &a,T b){ return chmax(a,b); }
template<class T> inline auto maxe(T &&v,ll S,ll E){ return *max_element(all(v,S,E)); }
template<class T> inline auto maxe(T &&v){ return *max_element(all(v)); }
template<class T> inline auto mine(T &&v,ll S,ll E){ return *min_element(all(v,S,E)); }
template<class T> inline auto mine(T &&v){ return *min_element(all(v)); }
template<class T,class U=typename remove_reference<T>::type::value_type>
inline U sum(T &&v,ll S,ll E) {return accumulate(all(v,S,E),U());}
template<class T> inline auto sum(T &&v) {return sum(v,0,v.end()-v.begin()-1);}
template<class T> inline ll sz(T &&v){ return (ll)v.size(); }
//cin
struct cinutil{
template<class T> static void cin1core(T &a){ cin>>a; }
template<class T,class S> static void cin1core(pair<T,S> &a){
cin1core(a.first),cin1core(a.second);
}
template<class... Args> static void cin1core(tuple<Args...> &a){
cinTplRec<tuple<Args...>,sizeof...(Args)-1>()(a);
}
template<class T,size_t N>
static void cin1core(array<T,N> &a){ for (int i=0; i<(int)N; ++i) cin>>a[i]; }
private:
template<class Tpl,int i> struct cinTplRec{
void operator()(Tpl &a){ cinTplRec<Tpl,i-1>()(a); cin1core(get<i>(a)); }
};
template<class Tpl> struct cinTplRec<Tpl,0>{
void operator()(Tpl &a){ cin1core(get<0>(a)); }
};
};
template<class T> T cin1(){ T a; cinutil::cin1core(a); return a; }
template<class... Args> tuple<Args...> cins(){ return cin1<tuple<Args...>>(); }
//cout
template<class T,class S> inline ostream &operator<<(ostream &os,const pair<T,S> &a){ return os << a.first << ' ' << a.second; }
template<class T,class S,class R> inline ostream &operator<<(ostream &os,const tuple<T,S,R> &a){ return os << get<0>(a) << ' ' << get<1>(a) << ' ' << get<2>(a); }
template<class T,class S,class R,class Q> inline ostream &operator<<(ostream &os,const tuple<T,S,R,Q> &a){ return os << get<0>(a) << ' ' << get<1>(a) << ' ' << get<2>(a) << ' ' << get<3>(a); }
template<class T> inline ostream &operator<<(ostream &os,const vector<T> &a){ for (ll i=0; i<(ll)a.size(); i++) os<<(i>0?" ":"")<<a[i]; return os; }
inline struct{
system_clock::time_point st = system_clock::now();
ll operator()()const{return duration_cast<microseconds>(system_clock::now()-st).count()/1000;}
} timeget;
template<long long MOD> struct mll_{
using Int = long long;
using ll = long long;
ll val_=0;
/*---- utility ----*/
mll_ &norm(){ return normR().normS(); }//正規化
mll_ &normR(){ val_%=MOD; return *this; }//剰余正規化のみ
mll_ &normS(){ if (val_<0) val_+=MOD; return *this; }//正負正規化のみ
mll_ &normP(){ if (val_>=MOD) val_-=MOD; return *this; }//加算時正規化
mll_ &invsg(){ val_=-val_; return normS(); }//正負反転
ll modinv(int a){//a^-1 mod MOD
int ypre=0,y=1,apre=MOD;
while (a>1){
int t=apre/a;
apre-=a*t,swap(a,apre);
ypre-=y*t,swap(y,ypre);
}
return y<0 ? y+MOD : y;
}
/*---- I/F ----*/
mll_(){}
mll_(ll v): val_(v){ norm(); }
mll_(ll v,bool b): val_(v){} //正規化無のコンストラクタ
Int val()const{ return (Int)val_; }
bool isnone() const { return val_==-1; } //true:値なし
mll_ &none() { val_=-1; return *this; } //値なしにする
mll_ &inv(){ val_=modinv((int)val_); return *this; }
mll_ &operator+=(mll_ b){ val_+=b.val_; return normP(); }
mll_ &operator-=(mll_ b){ val_-=b.val_; return normS(); }
mll_ &operator*=(mll_ b){ val_*=b.val_; return normR(); }
mll_ &operator/=(mll_ b){ return *this*=b.inv(); }
mll_ &operator+=(ll b){ return *this+=mll_(b); }
mll_ &operator-=(ll b){ return *this-=mll_(b); }
mll_ &operator*=(ll b){ return *this*=mll_(b); }
mll_ &operator/=(ll b){ return *this/=mll_(b); }
mll_ operator-()const{ return mll_(*this).invsg(); }
mll_ operator+(mll_ b)const{ return mll_(*this)+=b; }
mll_ operator-(mll_ b)const{ return mll_(*this)-=b; }
mll_ operator*(mll_ b)const{ return mll_(*this)*=b; }
mll_ operator/(mll_ b)const{ return mll_(*this)/=b; }
mll_ operator+(ll b)const{ return mll_(*this)+=b; }
mll_ operator-(ll b)const{ return mll_(*this)-=b; }
mll_ operator*(ll b)const{ return mll_(*this)*=b; }
mll_ operator/(ll b)const{ return mll_(*this)/=b; }
friend mll_ operator+(ll a,mll_ b){ return b+a; }
friend mll_ operator-(ll a,mll_ b){ return -b+a; }
friend mll_ operator*(ll a,mll_ b){ return b*a; }
friend mll_ operator/(ll a,mll_ b){ return mll_(a)/b; }
bool operator==(mll_ b)const{ return val_==b.val_; }
bool operator!=(mll_ b)const{ return val_!=b.val_; }
bool operator==(ll b)const{ return *this==mll_(b); }
bool operator!=(ll b)const{ return *this!=mll_(b); }
friend bool operator==(ll a,mll_ b){ return mll_(a)==b; }
friend bool operator!=(ll a,mll_ b){ return mll_(a)!=b; }
friend ostream &operator<<(ostream &os,mll_ a){ return os << a.val_; }
friend istream &operator>>(istream &is,mll_ &a){ return is >> a.val_; }
mll_ pow(ll k)const{
mll_ ret(1,false),a(*this);
for (; k>0; k>>=1,a*=a) if (k&1)ret*=a;
return ret;
}
static constexpr int mod() { return MOD; }
//enum{ modll=MOD };
};
template<class T> struct Vector: vector<T>{
using Int = long long;
using vT=vector<T>;
using cvT=const vector<T>;
using cT=const T;
using vT::vT; //親クラスのコンストラクタの隠蔽を回避
using vT::begin,vT::end,vT::insert,vT::erase;
auto it(Int i){ return begin()+i; }
auto it(Int i)const{ return begin()+i; }
Vector(cvT& b):vT(b){}
Vector(vT&& b):vT(move(b)){}
Vector(int n,cT& x):vT(n,x){}// ┬ 型推論のためラッパー
Vector(long long n,cT& x):vT(n,x){}
template<class S> Vector(const Vector<S>& b):vT(b.begin(),b.end()){}
template<class S> Vector(const vector<S>& b):vT(b.begin(),b.end()){}
Vector(Int n,T s,T d){ iota(n,s,d); }
Vector(Int n,function<T(Int)> g):vT(n){ for(Int i=0;i<n;++i) (*this)[i]=g(i); }
Vector &operator+=(cvT &b){ assert(size()==b.size()); for(Int i=0;i<size();++i) (*this)[i]+=b[i]; return *this; }
Vector &operator-=(cvT &b){ assert(size()==b.size()); for(Int i=0;i<size();++i) (*this)[i]-=b[i]; return *this; }
Vector &operator*=(cvT &b){ assert(size()==b.size()); for(Int i=0;i<size();++i) (*this)[i]*=b[i]; return *this; }
Vector &operator/=(cvT &b){ assert(size()==b.size()); for(Int i=0;i<size();++i) (*this)[i]/=b[i]; return *this; }
Vector &operator%=(cvT &b){ assert(size()==b.size()); for(Int i=0;i<size();++i) (*this)[i]%=b[i]; return *this; }
Vector &operator+=(const Vector<T> &b){ return *this+=(cvT&)b; }
Vector &operator-=(const Vector<T> &b){ return *this-=(cvT&)b; }
Vector &operator*=(const Vector<T> &b){ return *this*=(cvT&)b; }
Vector &operator/=(const Vector<T> &b){ return *this/=(cvT&)b; }
Vector &operator%=(const Vector<T> &b){ return *this%=(cvT&)b; }
Vector operator+(cvT &b){ return Vector(*this)+=b; }
Vector operator-(cvT &b){ return Vector(*this)-=b; }
Vector operator*(cvT &b){ return Vector(*this)*=b; }
Vector operator/(cvT &b){ return Vector(*this)/=b; }
Vector operator%(cvT &b){ return Vector(*this)%=b; }
Vector operator+(const Vector<T> &b){ return Vector(*this)+=b; }
Vector operator-(const Vector<T> &b){ return Vector(*this)-=b; }
Vector operator*(const Vector<T> &b){ return Vector(*this)*=b; }
Vector operator/(const Vector<T> &b){ return Vector(*this)/=b; }
Vector operator%(const Vector<T> &b){ return Vector(*this)%=b; }
template<class S> Vector &operator+=(S x){ for(T &e: *this) e+=x; return *this; }
template<class S> Vector &operator-=(S x){ for(T &e: *this) e-=x; return *this; }
template<class S> Vector &operator*=(S x){ for(T &e: *this) e*=x; return *this; }
template<class S> Vector &operator/=(S x){ for(T &e: *this) e/=x; return *this; }
template<class S> Vector &operator%=(S x){ for(T &e: *this) e%=x; return *this; }
template<class S> Vector operator+(S x)const{ return Vector(*this)+=x; }
template<class S> Vector operator-(S x)const{ return Vector(*this)-=x; }
template<class S> Vector operator*(S x)const{ return Vector(*this)*=x; }
template<class S> Vector operator/(S x)const{ return Vector(*this)/=x; }
template<class S> Vector operator%(S x)const{ return Vector(*this)%=x; }
Vector &operator--(int){ return *this-=1; }
Vector &operator++(int){ return *this+=1; }
Vector operator-()const{ return Vector(*this)*=-1; }
template<class S> friend Vector operator-(S x,const Vector &a){ return -a+=x; }
T& at(Int i){ assert(i>=0); if(n()<=i)vT::resize(i+1); return vT::operator[](i); }
Vector slice(Int l,Int r,Int d=1)const{
Vector ret;
for(Int i=l;(d>0&&i<=r)||(d<0&&r<=i);i+=d) ret.push_back((*this)[i]);
return ret;
}
Int size()const{ return (Int)vT::size(); }
Int n()const{ return size(); }
Vector &push_back(cT& x,Int n=1){ for(Int i=0;i<n;++i){ vT::push_back(x); } return *this; }
Vector &pop_back(Int n=1){ for(Int i=0;i<n;++i){ vT::pop_back(); } return *this; }
Vector &push_front(cT& x,Int n=1){ this->insert(0,x,n); return *this; }
Vector &pop_front(Int n=1){ erase(0,n-1); return *this; }
T pull_back(){ T x=move(vT::back()); vT::pop_back(); return x; }
T pull_front(){ T x=move(vT::front()); erase(0); return x; }
Vector &insert(Int i,cT& x,Int n=1){ insert(it(i),n,x); return *this; }
Vector &insert(Int i,cvT& b){ insert(it(i),b.begin(),b.end()); return *this; }
Vector &erase(Int i){ erase(it(i)); return *this; }
Vector &erase(Int l,Int r){ erase(it(l),it(r+1)); return *this; }
Vector &erase(const Vector<Int> &idxs){
for (Int I=0; I<idxs.n(); ++I){
Int l=idxs[I]+1, r = (I<idxs.n()-1) ? idxs[I+1] : this->n();
copy(it(l),it(r),it(l-I-1));//[l,r)を前にI+1個ずらす
}
vT::resize(this->n()-idxs.n());
return *this;
}
Vector &eraseall(cT& x){ return eraseall(0,size()-1,x); }
Vector &eraseall(Int l,Int r,cT& x){ erase(remove(it(l),it(r+1),x),it(r+1)); return *this; }
template<class Pr> Vector &eraseif(Pr pr){ return eraseif(0,size()-1,pr); }
template<class Pr> Vector &eraseif(Int l,Int r,Pr pr){ erase(remove_if(it(l),it(r+1),pr),it(r+1)); return *this; }
Vector &concat(cvT &b,Int n=1){
cvT B = (&b==this) ? *this : vT{};
for(int i=0;i<n;++i) this->insert(size(),(&b==this)?B:b);
return *this;
}
Vector repeat(Int n){ return Vector{}.concat(*this,n); }
Vector &reverse(Int l=0,Int r=-1){ r+=r<0?size():0; std::reverse(it(l),it(r+1)); return *this; }
Vector &rotate(Int m){ return rotate(0,size()-1,m); }
Vector &rotate(Int l,Int r,Int m){ std::rotate(it(l),it(m),it(r+1)); return *this; }
Vector &sort(Int l=0,Int r=-1){ r+=r<0?size():0; std::sort(it(l),it(r+1)); return *this; }
Vector &rsort(Int l=0,Int r=-1){ return sort(l,r).reverse(l,r); }
template<class Pr> Vector &sort(Pr pr){ return sort(0,size()-1,pr); }
template<class Pr> Vector &sort(Int l,Int r,Pr pr){ std::sort(it(l),it(r+1),pr); return *this; }
template<int key> Vector &sortbykey(Int l=0,Int r=-1){
r+=r<0?size():0;
sort(l,r,[](cT &x,cT &y){return get<key>(x)<get<key>(y);});
return *this;
}
Vector &uniq(){ erase(unique(begin(),end()),end()); return *this; }
Vector &sortq(){ return sort().uniq(); }
Vector &fill(cT& x){ return fill(0,size()-1,x); }
Vector &fill(Int l,Int r,cT& x){ std::fill(it(l),it(r+1),x); return *this; }
Vector ©(Int i,cvT &b,Int n=1){//A[i]スタートでbをn回分コピー
for (int t=0; t<n; ++t) for (int j=0; j<(int)b.size(); ++j){
if (i>=size()) return *this;
if (i>=0) (*this)[i]=b[j];
i++;
}
return *this;
}
template<class S=Int> Vector &iota(Int n,T s=0,S d=1){
vT::resize(n);
if(n==0) return *this;
(*this)[0]=s;
for(int i=1;i<n;++i) (*this)[i]=(*this)[i-1]+d;
return *this;
}
Int count(cT& x)const{ return count(0,size()-1,x); }
Int count(Int l,Int r,cT& x)const{ return Int(std::count(it(l),it(r+1),x)); }
template<class Pr> Int countif(Pr pr)const{ return countif(0,size()-1,pr); }
template<class Pr> Int countif(Int l,Int r,Pr pr)const{ return Int(count_if(it(l),it(r+1),pr)); }
Int find(cT& x)const{ return find(0,size()-1,x); }
Int find(Int l,Int r,cT& x)const{ return Int(std::find(it(l),it(r+1),x)-begin()); }
Int rfind(cT& x)const{ return rfind(0,size()-1,x); }
Int rfind(Int l,Int r,cT& x)const{
for (int i=r;i>=l;--i) if ((*this)[i]==x) return i;
return l-1;
}
template<class Pr> Int findif(Pr pr)const{ return findif(0,size()-1,pr); }
template<class Pr> Int findif(Int l,Int r,Pr pr)const{ return Int(find_if(it(l),it(r+1),pr)-begin()); }
Vector<Int> findall(cT& x)const{ return findall(0,size()-1,x); }
Vector<Int> findall(Int l,Int r,cT& x)const{ return findallif(l,r,[&](cT& y){return y==x;}); }
template<class Pr> Vector<Int> findallif(Pr pr)const{ return findallif(0,size()-1,pr); }
template<class Pr> Vector<Int> findallif(Int l,Int r,Pr pr)const{
Vector<Int> ret;
for(Int i=l;i<=r;++i) if(pr((*this)[i])) ret.push_back(i);
return ret;
}
Int flooridx(cT& x)const{ return Int(upper_bound(begin(),end(),x)-begin()-1); }
Int ceilidx(cT& x)const{ return Int(lower_bound(begin(),end(),x)-begin()); }
Int leftnmof(cT& x)const{ return flooridx(x)+1; }
Int rightnmof(cT& x)const{ return size()-ceilidx(x); }
bool contains(cT& x)const{ Int i=flooridx(x); return i>=0 && (*this)[i]==x; }
template<class Pr> Int flooridx(cT& x,Pr pr)const{ return Int(upper_bound(begin(),end(),x,pr)-begin()-1); }
template<class Pr> Int ceilidx(cT& x,Pr pr)const{ return Int(lower_bound(begin(),end(),x,pr)-begin()); }
template<class Pr> Int leftnmof(cT& x,Pr pr)const{ return flooridx(x,pr)+1; }
template<class Pr> Int rightnmof(cT& x,Pr pr)const{ return size()-ceilidx(x,pr); }
template<class Pr> bool contains(cT& x,Pr pr)const{ Int i=flooridx(x,pr); return i>=0 && (*this)[i]==x; }
template<class S> using VV = Vector<Vector<S>>; template<class S> using sVV = vector<vector<S>>;
template<class S> using VVV = Vector<VV<S>>; template<class S> using sVVV = vector<sVV<S>>;
template<class S> using VVVV = Vector<VVV<S>>; template<class S> using sVVVV = vector<sVVV<S>>;
template<class S> using VVVVV = Vector<VVVV<S>>; template<class S> using sVVVVV = vector<sVVVV<S>>;
auto tostd()const{ return tov(*this); }
template <class S> static vector<S> tov(const Vector<S>&v){ return v; }
template <class S> static sVV<S> tov(const VV<S> &v){ sVV<S> ret; for(auto&& e:v) ret.push_back(e); return ret; }
template <class S> static sVVV<S> tov(const VVV<S> &v){ sVVV<S> ret; for(auto&& e:v) ret.push_back(e.tostd()); return ret; }
template <class S> static sVVVV<S> tov(const VVVV<S> &v){ sVVVV<S> ret; for(auto&& e:v) ret.push_back(e.tostd()); return ret; }
template <class S> static sVVVVV<S> tov(const VVVVV<S> &v){ sVVVVV<S> ret; for(auto&& e:v) ret.push_back(e.tostd()); return ret; }
};
#if 0
#define MODLL (1000000007LL)
#else
#define MODLL (998244353LL)
#endif
using mll = mll_<MODLL>;
//using mll = fraction;
namespace SolvingSpace{
template<class T> using vector = Vector<T>;
using vll=vector< ll>; using vmll=vector< mll>; using vdd=vector< dd>;
using vvll=vector< vll>; using vvmll=vector< vmll>; using vvdd=vector< vdd>;
using vvvll=vector< vvll>; using vvvmll=vector< vvmll>; using vvvdd=vector< vvdd>;
using vvvvll=vector<vvvll>; using vvvvmll=vector<vvvmll>; using vvvvdd=vector<vvvdd>;
using vpll=vector< pll>; using vtll=vector< tll>; using vqll=vector< qll>;
using vvpll=vector< vpll>; using vvtll=vector< vtll>; using vvqll=vector< vqll>;
using vss=vector<string>;
template<class T> vector<T> cinv(ll nm){ return vector<T>(nm,[](ll i){ (void)i; return cin1<T>(); }); }
template<class T> vector<vector<T>> cinvv(ll H,ll W){ return vector<vector<T>>(H,[&](ll i){ (void)i; return cinv<T>(W); }); }
/*■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■*/
namespace atcoder {
//======== from internal_bit.hpp
namespace internal {
using std::bit_ceil;
inline int countr_zero(unsigned int n) {
#ifdef _MSC_VER
unsigned long index;
_BitScanForward(&index,n);
return index;
#else
return __builtin_ctz(n);
#endif
}
} // namespace internal
//======== from modint.hpp
//ダミー。本当にatcoder::modintを使いたいときは移植する
class modint998244353 { static int raw(int x){ return x; } };
class modint1000000007{ static int raw(int x){ return x; } };
} // namespace atcoder
using namespace atcoder;
namespace lazySegtreeUtils{
using Int=long long;
using ll=long long;
//FirstType<T> Tがpair,tupleのとき第一要素の型を取得
template <class T> concept IsTpl=requires{ typename tuple_size<T>::type; };
template <class T> struct FirstTypeSub { using type=T; };
template <IsTpl T> struct FirstTypeSub<T> { using type=tuple_element_t<0,T>; };
template <class T> using FirstType = typename FirstTypeSub<T>::type;
/*---- ACLの遅延セグ木の微改造版 ----*/
//コンストラクタの引数のみで定義できるようにしたもの
template <class S,class F,class OP,class MAPP,class COMPO>
struct lazySegtreeCore{
S e;
F id;
OP op;
MAPP mapping;
COMPO composition;
lazySegtreeCore(const S &e,const F &id,OP op,MAPP mapp,COMPO compo)
: e(e),id(id),op(op),mapping(mapp),composition(compo) {
}
void init(int n){ init(std::vector<S>(n,e)); }
void init(const std::vector<S>& v){
_n = int(v.size());
size = (int)internal::bit_ceil((unsigned int)(_n));
log = internal::countr_zero((unsigned int)size);
d = std::vector<S>(2 * size,e);
lz = std::vector<F>(size,id);
for (int i = 0; i < _n; i++) d[size + i] = v[i];
for (int i = size - 1; i >= 1; i--) {
update(i);
}
}
void set(int p,S x) {
assert(0 <= p && p < _n);
p += size;
for (int i = log; i >= 1; i--) push(p >> i);
d[p] = x;
for (int i = 1; i <= log; i++) update(p >> i);
}
S get(int p) {
assert(0 <= p && p < _n);
p += size;
for (int i = log; i >= 1; i--) push(p >> i);
return d[p];
}
S prod(int l,int r) {
assert(0 <= l && l <= r && r <= _n);
if (l == r) return e;
l += size;
r += size;
for (int i = log; i >= 1; i--) {
if (((l >> i) << i) != l) push(l >> i);
if (((r >> i) << i) != r) push((r - 1) >> i);
}
S sml = e,smr = e;
while (l < r) {
if (l & 1) sml = op(sml,d[l++]);
if (r & 1) smr = op(d[--r],smr);
l >>= 1;
r >>= 1;
}
return op(sml,smr);
}
S all_prod() { return d[1]; }
void apply(int p,F f) {
assert(0 <= p && p < _n);
p += size;
for (int i = log; i >= 1; i--) push(p >> i);
if (f!=id) d[p] = mapping(f,d[p]);
for (int i = 1; i <= log; i++) update(p >> i);
}
void apply(int l,int r,F f) {
assert(0 <= l && l <= r && r <= _n);
if (l == r) return;
l += size;
r += size;
for (int i = log; i >= 1; i--) {
if (((l >> i) << i) != l) push(l >> i);
if (((r >> i) << i) != r) push((r - 1) >> i);
}
{
int l2 = l,r2 = r;
while (l < r) {
if (l & 1) all_apply(l++,f);
if (r & 1) all_apply(--r,f);
l >>= 1;
r >>= 1;
}
l = l2;
r = r2;
}
for (int i = 1; i <= log; i++) {
if (((l >> i) << i) != l) update(l >> i);
if (((r >> i) << i) != r) update((r - 1) >> i);
}
}
template <bool (*g)(S)> int max_right(int l) {
return max_right(l,[](S x) { return g(x); });
}
template <class G> int max_right(int l,G g) {
assert(0 <= l && l <= _n);
assert(g(e));
if (l == _n) return _n;
l += size;
for (int i = log; i >= 1; i--) push(l >> i);
S sm = e;
do {
while (l % 2 == 0) l >>= 1;
if (!g(op(sm,d[l]))) {
while (l < size) {
push(l);
l = (2 * l);
if (g(op(sm,d[l]))) {
sm = op(sm,d[l]);
l++;
}
}
return l - size;
}
sm = op(sm,d[l]);
l++;
} while ((l & -l) != l);
return _n;
}
template <bool (*g)(S)> int min_left(int r) {
return min_left(r,[](S x) { return g(x); });
}
template <class G> int min_left(int r,G g) {
assert(0 <= r && r <= _n);
assert(g(e));
if (r == 0) return 0;
r += size;
for (int i = log; i >= 1; i--) push((r - 1) >> i);
S sm = e;
do {
r--;
while (r > 1 && (r % 2)) r >>= 1;
if (!g(op(d[r],sm))) {
while (r < size) {
push(r);
r = (2 * r + 1);
if (g(op(d[r],sm))) {
sm = op(d[r],sm);
r--;
}
}
return r + 1 - size;
}
sm = op(d[r],sm);
} while ((r & -r) != r);
return 0;
}
private:
int _n,size,log;
std::vector<S> d;
std::vector<F> lz;
void update(int k) { d[k] = op(d[2 * k],d[2 * k + 1]); }
void all_apply(int k,F f) {
if (f==id) return;
d[k] = mapping(f,d[k]);
if (k < size) lz[k] = composition(f,lz[k]);
}
void push(int k) {
all_apply(2 * k,lz[k]);
all_apply(2 * k + 1,lz[k]);
lz[k] = id;
}
};
/*---- 遅延セグ木コア関数のwrap ----*/
template <class T,class F,class OP,class MAPP,class COMPO>
struct LazySegtree{
lazySegtreeCore<T,F,OP,MAPP,COMPO> sgt;
ll N=0;
ll offset=0; //位置iの値をi-offsetに格納
LazySegtree(const T &e,const F &id,OP op,MAPP f,COMPO c): sgt(e,id,op,f,c){}
void init(ll N_){
sgt.init((int)N_);
N=N_;
}
void init(ll l,ll r){
sgt.init(int(r-l+1));
N=r-l+1;
offset=l;
}
void init(const vector<T> &v,ll l=0){
sgt.init(v);
N=(ll)v.size();
offset=l;
}
ll imin()const{ return offset; }
ll imax()const{ return N-1+offset; }
void set(ll i,const T &x){ sgt.set(int(i-offset),x); }
void apply(ll i,const F &y){ sgt.apply(int(i-offset),y); }
void apply(ll l,ll r,const F &y){ sgt.apply(int(l-offset),int(r+1-offset),y); }
T get(ll i){ return sgt.get(int(i-offset)); }
T operator[](ll i){ return get(i); }
T prod(ll l,ll r){ return sgt.prod(int(l-offset),int(r+1-offset)); }
T get(ll l,ll r){ return prod(l,r); }
T allprod(){ return sgt.all_prod(); }
template<class IsOK> ll maxRight(ll L,ll R,IsOK isOK){
Int pos=sgt.max_right((int)normalizeL(L),isOK)-1;
return normalizeR(R)<pos ? max(R,L-1) : pos+(Int)offset;
}
template<class IsOK> ll minRight(ll L,ll R,IsOK isOK){
Int pos=maxRight(L,R,[&isOK](const T &prd){return !isOK(prd); })+1;
return min(pos,R+1);
}
template<class IsOK> ll minLeft(ll L,ll R,IsOK isOK){
Int pos=sgt.min_left((int)normalizeR(R)+1,isOK);
return pos<normalizeL(L) ? min(L,R+1) : pos+(Int)offset;
}
template<class IsOK> ll maxLeft(ll L,ll R,IsOK isOK){
Int pos=minLeft(L,R,[&isOK](const T &prd){return !isOK(prd); })-1;
return max(pos,L-1);
}
template<class IsOK> ll Looxx(Int L,Int R,IsOK isOK){ return maxRight(L,R,isOK); }
template<class IsOK> ll Lxxoo(Int L,Int R,IsOK isOK){ return minRight(L,R,isOK); }
template<class IsOK> ll xxooR(Int L,Int R,IsOK isOK){ return minLeft(L,R,isOK); }
template<class IsOK> ll ooxxR(Int L,Int R,IsOK isOK){ return maxLeft(L,R,isOK); }
//---- max/minセグ木時専用処理 ----
ll findNextGE(ll i,T x){
static const bool isMax = T(2) < sgt.op(T(1),T(3));
return minRight(i,imax(),[&](T va){return isMax ? va>=x : va<=x; });
}
ll findPrevGE(ll i,T x){
static const bool isMax = T(2) < sgt.op(T(1),T(3));
return maxLeft (imin(),i,[&](T va){return isMax ? va>=x : va<=x; });
}
ll findPeakL(ll l,ll r){
T peakVal=prod(l,r);
if (peakVal==sgt.e) return l; //ピークが単位元のときACLのmax_right動かない
return findNextGE(l,peakVal);
}
ll findPeakR(ll l,ll r){
T peakVal=prod(l,r);
if (peakVal==sgt.e) return r; //ピークが単位元のときACLのmin_left動かない
return findPrevGE(r,peakVal);
}
//---- 区間和セグ木時専用処理 ---- Tの先頭要素を和とする
using S=FirstType<T>; //Tの先頭要素の型
S getFirst(const T &x){ //Tの先頭要素取得
if constexpr (IsTpl<T>){ return std::get<0>(x); }
else return x;
}
pair<ll,S> floorGroup(ll l,S x){
assert(x>=S(0));
ll r=Looxx(l,imax(),[&](T va){ return getFirst(va)<=x; });
return {r,x-getFirst(prod(l,r))};
}
pair<ll,S> ceilGroup(ll l,S x){
assert(x>=S(0));
if (x==S(0)) return {l-1,S(0)};
ll r=Lxxoo(l,imax(),[&](T va){ return x<=getFirst(va); });
S rem = r==imax()+1 ? S(0) : getFirst(prod(l,r))-x;
return {r,rem};
}
pair<ll,S> floorGroupRev(ll r,S x){
assert(x>=S(0));
ll l=xxooR(imin(),r,[&](T va){ return getFirst(va)<=x; });
return {l,x-getFirst(prod(l,r))};
}
pair<ll,S> ceilGroupRev(ll r,S x){
assert(x>=S(0));
if (x==S(0)) return {r+1,S(0)};
ll l=ooxxR(imin(),r,[&](T va){ return x<=getFirst(va); });
S rem = l==imin()-1 ? S(0) : getFirst(prod(l,r))-x;
return {l,rem};
}
//-------- dump --------
#if 0
void dump()const{ LazySegtree(*this).dumpcore(); }//内部状態を変えずにdump
void dumpcore(){
vector<T> v;
for (ll i=imin(); i<=imax(); ++i) v.push_back(get(i));
dumpstring::dumpNd("",v,args().sx(imin()).labels({"i"}));
}
#endif
private:
ll normalizeL(ll l)const{ return clamp(l-offset,0LL,N); }
ll normalizeR(ll r)const{ return clamp(r-offset,-1LL,N-1); }
};
//-- 各種遅延セグ木に共通して使う演算など準備
auto maxfn=[](auto x,auto y){ return max(x,y); };
auto minfn=[](auto x,auto y){ return min(x,y); };
auto addfn=[](auto x,auto y){ return x+y; };
auto setfn=[](auto y,auto x){ return y; };
using MAXFN=decltype(maxfn);
using MINFN=decltype(minfn);
using ADDFN=decltype(addfn);
using SETFN=decltype(setfn);
auto addfn4Sum=[]<class S>(S y,pair<S,ll> x){ x.first+=y*x.second; return x; };
auto setfn4Sum=[]<class S>(S y,pair<S,ll> x){ x.first =y*x.second; return x; };
using ADDFN4SUM=decltype(addfn4Sum);
using SETFN4SUM=decltype(setfn4Sum);
using pml=pair<mll,ll>;
template <class S> S Id4Set() {//代入の単位元
if constexpr (is_same_v<S,ll>) return INF+9;
else if constexpr (is_same_v<S,mll>) return mll().none();
else if constexpr (is_same_v<S,modint998244353>) return modint998244353 ::raw(-1);
else if constexpr (is_same_v<S,modint1000000007>) return modint1000000007::raw(-1);
else if constexpr (is_same_v<S,dd>) return 1e300;
}
//-- 区間代入or加算、区間max/min取得 の定義
struct LazySegtreeAddMax: LazySegtree<ll,ll,MAXFN,ADDFN,ADDFN>{ LazySegtreeAddMax():LazySegtree(-INF,0,maxfn,addfn,addfn){} };
struct LazySegtreeAddMin: LazySegtree<ll,ll,MINFN,ADDFN,ADDFN>{ LazySegtreeAddMin():LazySegtree(INF,0,minfn,addfn,addfn){} };
struct LazySegtreeSetMax: LazySegtree<ll,ll,MAXFN,SETFN,SETFN>{ LazySegtreeSetMax():LazySegtree(-INF,INF+9,maxfn,setfn,setfn){} };
struct LazySegtreeSetMin: LazySegtree<ll,ll,MINFN,SETFN,SETFN>{ LazySegtreeSetMin():LazySegtree(INF,INF+9,minfn,setfn,setfn){} };
//-- 区間代入or加算、区間和取得 の定義
template<class T> struct LazySegtreeSetSum: LazySegtree<pair<T,ll>,T,ADDFN,SETFN4SUM,SETFN>{
LazySegtreeSetSum(): LazySegtree<pair<T,ll>,T,ADDFN,SETFN4SUM,SETFN>({0,0},Id4Set<T>(),addfn,setfn4Sum,setfn){}
};
template<class T> struct LazySegtreeAddSum: LazySegtree<pair<T,ll>,T,ADDFN,ADDFN4SUM,ADDFN>{
LazySegtreeAddSum(): LazySegtree<pair<T,ll>,T,ADDFN,ADDFN4SUM,ADDFN>({0,0},0,addfn,addfn4Sum,addfn){}
};
//-- 双対セグ木一般、区間加算双対セグ木、区間代入双対セグ木
template<class T,class F,class MAPP,class COMPO> struct DualSegtree: LazySegtree<T,F,SETFN,MAPP,COMPO>{
DualSegtree(T,const F &id,MAPP f,COMPO c): LazySegtree<T,F,SETFN,MAPP,COMPO>(T(),id,setfn,f,c){}
};
template<class T> struct DualSegtreeAdd: LazySegtree<T,T,SETFN,ADDFN,ADDFN>{
DualSegtreeAdd(): LazySegtree<T,T,SETFN,ADDFN,ADDFN>(T(),T(0),setfn,addfn,addfn){}
};
template<class T> struct DualSegtreeSet: LazySegtree<T,T,SETFN,SETFN,SETFN>{
DualSegtreeSet(): LazySegtree<T,T,SETFN,SETFN,SETFN>(T(),Id4Set<T>(),setfn,setfn,setfn){}
};
}//namespace
using lazySegtreeUtils::LazySegtree;
using lazySegtreeUtils::LazySegtreeAddMax;
using lazySegtreeUtils::LazySegtreeAddMin;
using lazySegtreeUtils::LazySegtreeSetMax;
using lazySegtreeUtils::LazySegtreeSetMin;
using lazySegtreeUtils::LazySegtreeAddSum;
using lazySegtreeUtils::LazySegtreeSetSum;
using lazySegtreeUtils::DualSegtree;
using lazySegtreeUtils::DualSegtreeAdd;
using lazySegtreeUtils::DualSegtreeSet;
/*
※初期化を忘れないこと！
- ---------- 定義 一般の場合 ------------
. ┌── データ型Tの単位元(実際の単位元でないとだめ)
. ↓ ┌ 作用素型Fの単位元(単位元でなくても使わない値ならOK)
LazySegtree sgt(-INF,INF+9,
[](auto x,auto y){return max(x,y);}, //op T(T,T)
[](auto y,auto x){return y;}, //作用 T(F,T)
[](auto y,auto x){return y;} //作用素合成 F(F,F) xの後yを作用
);
//-- 初期化 --
sgt.init(N); //i=0~N-1 全て単位元
sgt.init(l,r); //i=l~r 全て単位元
sgt.init(ini); //i=0~N-1 ini[0]~ini[N-1]で初期化
sgt.init(ini,l);//i=l~l+N-1 ini[0]~ini[N-1]で初期化
- ---------- 定義 特別な場合 ------------
LazySegtreeAddMax sgt; sgt.init(ini); //区間加算区間max
LazySegtreeAddMin sgt; sgt.init(ini); //区間加算区間min
LazySegtreeSetMax sgt; sgt.init(ini); //区間代入区間max
LazySegtreeSetMin sgt; sgt.init(ini); //区間代入区間min
LazySegtreeAddSum<ll> sgt; sgt.init(ini); //区間加算区間和
LazySegtreeSetSum<ll> sgt; sgt.init(ini); //区間代入区間和
. データ型S┘ 内部データ型T┘ <S,個数>
DualSegtreeSet<ll> sgt; sgt.init(ini); //区間代入双対セグ木
DualSegtreeAdd<ll> sgt; sgt.init(ini); //区間加算双対セグ木
. └ll,mll,mint,dd可
. データ型T┐
.(※単位元は不要)↓ ┌作用素型Fの単位元
DualSegtree sgt(ll(),INF, //一般の双対セグ木
[](auto y,auto x){return min(x,y);},//作用 T(F,T)
[](auto y,auto x){return min(x,y);} //作用素合成 F(F,F) xの後yを作用
); sgt.init(ini);
- ---- 操作 ----
ll i=sgt.imin(); //iの下限
ll i=sgt.imax(); //iの上限
sgt.offset+=d; //全iについて位置iの要素をi+dにシフト
sgt.set(i,x); //a[i]←x 位置iにx代入
sgt.apply(i,y); //a[i]←f(a[i],y) 位置iに適用関数使用
sgt.apply(l,r,y); //a[l~r]←f(a[l~r],y) [l,r]に適用関数使用
ll x=sgt.get(i); //a[i] 位置iの値
ll x=sgt[i]; //a[i] 位置iの値
ll x=sgt.prod(l,r); //[l,r]の値
ll x=sgt.get(l,r); // 〃
ll x=sgt.allprod(); //全区間の値
- ---- max(min)セグ木のみの操作 ----
ll j=sgt.findNextGE(i,x); //i以降で初めてx以上(以下)になる位置
ll j=sgt.findPrevGE(i,x); //i以前で 〃
ll i=sgt.findPeakL(l,r); //区間[l,r]内max(min)になる最左位置
ll i=sgt.findPeakR(l,r); //区間[l,r]内max(min)になる最右位置
- ---- 区間和セグ木のみの操作 ----
auto[r,rem]=sgt.floorGroup(l,x); //Al+A_{l+1}+…+Ar+rem=x なる最大のr
auto[r,rem]=sgt.ceilGroup(l,x); //Al+A_{l+1}+…+Ar=x+rem なる最小のr
auto[l,rem]=sgt.floorGroupRev(r,x); //Ar+A_{r-1}+…+Al+rem=x なる最小のl
auto[l,rem]=sgt.ceilGroupRev(r,x); //Ar+A_{r-1}+…+Al=x+rem なる最大のl
- ---- 二分探索 ----
[L,R]内でラムダ式isOKが○(true)になる位置 L,Rは範囲外や逆転も可
- 使用例
ll i=sgt.Lxxoo(L,R,[&](ll x){return x>=th;}); // L×→×→×ⓡ○R
ll i=sgt.Looxx(L,R,[&](ll x){return x<=th;}); // L○→○→ⓡ××R
ll i=sgt.ooxxR(L,R,[&](ll x){return x>=th;}); //L○ⓛ×←×←×R
ll i=sgt.xxooR(L,R,[&](ll x){return x<=th;}); //L××ⓛ←○←○R
- 要件・挙動
Lxxoo: isOK([L,r])=○(l≦r≦R)となる最左のr、ないときR+1 要件:isOK(e)=×
Looxx: isOK([L,r])=○(l≦r≦R)となる最右のr、ないときL-1 要件:isOK(e)=○
ooxxR: isOK([l,R])=○(L≦l≦r)となる最右のl、ないときL-1 要件:isOK(e)=×
xxooR: isOK([l,R])=○(L≦l≦r)となる最左のl、ないときR+1 要件:isOK(e)=○
*/
void cin2solve()
{
auto N=cin1<ll>();
auto S=cin1<string>();
DualSegtree sgt(ll(),0ll,
[](auto y,auto x){return x^y; },//作用 T(F,T)
[](auto y,auto x){return x^y; } //作用素合成 F(F,F) xの後yを作用
);
vll ini(N,0);
rep(i,0,N-1){
char c=S[i];
if (c=='o')
ini[i]=1;
}
sgt.init(ini);
string ans(N,'L');
sgt.apply(0,0,1);
rep(i,1,N-1){
if (sgt[i-1]==sgt[i]){
ans[i]='L';
sgt.apply(0,i,1);
}
else{
ans[i]='R';
sgt.apply(i,N-1,1);
}
}
if (sgt[0]==0){
if ((N-1)%2==0){
cout << "No" << '\n'; return;
}
else{
for (auto&& c: ans)
c='R'+'L'-c;
}
}
cout << "Yes" << '\n';
cout << ans << '\n';
return;
}
}//SolvingSpace
//////////////////////////////////////////
int main(){
#if defined(RANDOM_TEST)
SolvingSpace::cin2solve();
SolvingSpace::generand();
#else
#if 1
//SolvingSpace::labo();
SolvingSpace::cin2solve();
#else
ll t; cin >> t;
rep(i,0,t-1){
SolvingSpace::cin2solve();
}
#endif
#endif
cerr << timeget() <<"ms"<< '\n';
return 0;
}