結果
| 問題 | No.3585 Make Ends Meet (Easy) |
| コンテスト | |
| ユーザー |
👑  hamamu
|
| 提出日時 | 2026-07-10 22:15:14 |
| 言語 | C++23 (gcc 15.2.0 + boost 1.90.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 28,981 bytes |
| 記録 | |
| コンパイル時間 | 3,553 ms |
| コンパイル使用メモリ | 389,960 KB |
| 実行使用メモリ | 21,180 KB |
| 最終ジャッジ日時 | 2026-07-10 22:15:21 |
| 合計ジャッジ時間 | 6,091 ms |
|
ジャッジサーバーID （参考情報） |
judge1_0 / judge3_0 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 WA * 1 |
| other | AC * 35 WA * 13 |
ソースコード
#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); }); }
/*■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■*/
template<int DIM> struct rangeNd{
using Int = long long;
using NInt = array<Int,DIM>;
NInt sv,ev,lv,dv; //各変数の初期値,終了値,項数,公差(通常±1)
Int size_=1;
NInt cyclemask;
rangeNd(const NInt &sv_,const NInt &ev_,Int cycle=-1): sv(sv_),ev(ev_){
for (ll i=0; i<DIM; ++i) lv[i]=abs(sv[i]-ev[i])+1;
for (ll i=0; i<DIM; ++i) dv[i]=sign(ev[i]-sv[i]);
for (ll i=0; i<DIM; ++i) size_*=lv[i];
for (ll i=0; i<DIM; ++i) cyclemask[i]=~0;
if (cycle!=-1) cyclemask[0]=cycle-1;
}
Int size()const{ return size_; }
Int csize()const{ return size_/lv[0]; }
bool isCycle()const{ return cyclemask[0]!=~0; }
Int cycle()const{ return isCycle() ? cyclemask[0]+1 : -1; }
tuple<Int,Int,Int,Int> SELDx()const{ return SELDof(0); }
tuple<Int,Int,Int,Int> SELDy()const{ return SELDof(1); }
tuple<Int,Int,Int,Int> SELDz()const{ return SELDof(2); }
tuple<Int,Int,Int,Int> SELDw()const{ return SELDof(3); }
array<NInt,2> rngs()const{ return {sv,dv}; }
NInt ls()const{ return lv; }
NInt v2i(const NInt &vx)const{
NInt ret;
for (Int i=0; i<DIM; ++i) ret[i]=(vx[i]-sv[i])*dv[i];
return ret;
}
auto toID(){
return [this](const NInt &vx)->Int{
Int id=0;
for (Int i=0; i<DIM; ++i){
Int x=vx[i],s=sv[i],l=lv[i],d=dv[i],xx=(x-s)*d;
if (xx<0 || l<=xx) return -1;
id=id*l+(xx&cyclemask[i]);
}
return id;
};
}
auto fromID(){
return [this](Int id)->NInt{
NInt ret;
for (Int i=DIM-1; i>=0; --i){
Int s=sv[i],l=lv[i],d=dv[i],nid=id/l,xx=id-nid*l;
ret[i]=s+xx*d;
id=nid;
}
return ret;
};
}
bool out(const NInt &vx){
for (Int i=0; i<DIM; ++i){
Int x=vx[i],s=sv[i],l=lv[i],d=dv[i];
Int xx=(x-s)*d;
if (xx<0 || l<=xx) return true;
}
return false;
}
NInt start(Int xx=0)const{
NInt ret=sv;
ret[0]=sv[0]+dv[0]*xx;
return ret;
}
bool next(NInt &vx,Int dMn=0)const{ //次へ進める 対象:第dMn以降 @return true:次有
for (int d=DIM-1; d>=dMn; --d){
if (vx[d]==ev[d]) vx[d]=sv[d];
else{ vx[d]+=dv[d]; return true; }
}
return false;
}
private:
tuple<Int,Int,Int,Int> SELDof(Int i)const{
if (i>=DIM) return {-1,-1,-1,-1};
return {sv[i],ev[i],lv[i],dv[i]};
}
static Int sign(Int x){ return x>=0 ? 1 : -1; }
};
template<class STATE,class VAL,class Ope,class Tran,class ToID,class FromID>
struct PushBasedDP{
using Int = long long;
using ll = long long;
Ope ope; //配るときの演算
Tran tran;
ToID toID;
FromID fromID;
VAL ini,dmy; //ini:dpテーブルの初期値
const bool isinf; //true:iniは配らない(ini=±INFを想定)
vector<VAL> dp_;
bool autoResize = true;
bool nextdp = false; //true:nextDP
//-------- コンストラクタ --------
PushBasedDP(STATE,VAL,Ope ope_,Tran tran_,ToID toID_,FromID fromID_,
VAL ini_,bool isinf_)
: ope(ope_),tran(tran_),toID(toID_),fromID(fromID_),
ini(ini_),dmy(ini_),isinf(isinf_){
}
//事前メモリ確保用コンストラクタ
template<class RNG> PushBasedDP(STATE,VAL,Ope ope_,Tran tran_,ToID toID_,
FromID fromID_,VAL ini_,bool isinf_,const RNG &rng)
: ope(ope_),tran(tran_),toID(toID_),fromID(fromID_),
ini(ini_),dmy(ini_),isinf(isinf_),
dp_(rng.isCycle() ? rng.csize()*rng.cycle() : rng.size(),ini),
autoResize(false),nextdp(rng.isCycle()){
}
//-------- アクセス・計算実行 --------
template<class... Args> VAL &operator()(Args&&... args){ return Dp(STATE{args...}); }
template<class... Args> void calc(Args&&... args){ calcSt({args...}); }
template<class RNG> void calcall(const RNG &rng){
if (nextdp) calcallNextDp(rng);
else calcallNormal(rng);
}
using vVAL = vector< VAL>; using vvVAL = vector< vVAL>;
using vvvVAL = vector<vvVAL>; using vvvvVAL = vector<vvvVAL>;
vVAL tov(array<Int,1> ls){ return tov(ls[0]); }
vvVAL tov(array<Int,2> ls){ return tov(ls[0],ls[1]); }
vvvVAL tov(array<Int,3> ls){ return tov(ls[0],ls[1],ls[2]); }
vvvvVAL tov(array<Int,4> ls){ return tov(ls[0],ls[1],ls[2],ls[3]); }
vVAL tov(Int xl){
dp_.resize(xl,ini); return vVAL(dp_);
}
vvVAL tov(Int xl,Int yl){
dp_.resize(xl*yl,ini);
vvVAL ret(xl,vVAL(yl));
for (ll i=0; i<xl; ++i) for (ll j=0; j<yl; ++j) ret[i][j]=dp_[i*yl+j];
return ret;
}
vvvVAL tov(Int xl,Int yl,Int zl){
dp_.resize(xl*yl*zl,ini);
vvvVAL ret(xl,vvVAL(yl,vVAL(zl)));
for (ll i=0; i<xl; ++i) for (ll j=0; j<yl; ++j) for (ll k=0; k<zl; ++k){
ret[i][j][k]=dp_[i*yl*zl+j*zl+k];
}
return ret;
}
vvvvVAL tov(Int xl,Int yl,Int zl,Int wl){
dp_.resize(xl*yl*zl*wl,ini);
vvvvVAL ret(xl,vvvVAL(yl,vvVAL(zl,vVAL(wl))));
for (ll i=0; i<xl; ++i) for (ll j=0; j<yl; ++j) for (ll k=0; k<zl; ++k){
for (ll l=0; l<wl; ++l) ret[i][j][k][l]=dp_[i*yl*zl*wl+j*zl*wl+k*wl+l];
}
return ret;
}
private:
VAL &Dp(const STATE &vx){
ll id=toID(vx);
if (autoResize && (ll)dp_.size()<=id) dp_.resize(id+1,ini);
return id<0 ? (dmy=ini) : dp_[id];
}
void calcSt(const STATE &vx){
auto dstVal=[&](const STATE &nvx,VAL val){
VAL &DpNvx=Dp(nvx);
VAL nval=ope(DpNvx,val);
if (DpNvx!=nval) DpNvx=nval,preRenew(nvx,vx);
};
VAL va=Dp(vx);
if (!(isinf && va==ini)) tran(vx,va,dstVal);
}
template<class RNG> void calcallNormal(const RNG &rng){
STATE vx=rng.start();
do calcSt(vx); while (rng.next(vx));
}
template<class RNG> void calcallNextDp(const RNG &rng){
auto [sx,ex,xl,dx]=rng.SELDx();
for (ll xx=0; xx<xl; ++xx){
//1つ前を消去
if (xx>0){
ll id=toID(rng.start(xx-1));
auto it=dp_.begin()+id;
fill(it,it+rng.csize(),ini);//dp_[id～id+csize-1]を消去
}
//現在位置xxを処理
STATE vx=rng.start(xx);
do calcSt(vx); while (rng.next(vx,1));
}
}
//-------- ダンプ --------
public:
#if 0
template<int N>
void dump(rangeNd<N> &rng,vector<string> labels={},const vector<ll> axes={0,1,2,3}){
auto ls=rng.ls();
if (nextdp) ls[0]=rng.cycle();
dumpstring::dumpNd("",tov(ls).tostd(),args().rngs(rng.rngs()).labels(labels).tr(axes));
}
#endif
//-------- 最適パス --------
#if 1
private:
vector<ll> pre;
ll preini=-1,predmy=-1;
ll &Pre(const STATE &vx){
ll id=toID(vx);
if ((ll)pre.size()<=id) pre.resize(id+1,preini);
return id<0 ? (predmy=preini) : pre[id];
}
public:
void preRenew(const STATE &vx,const STATE &src){ Pre(vx)=toID(src); }
template<class... Args> vector<STATE> pathget(Args&&... endargs){
vector<ll> ids{toID({endargs...})};
while (ids.back()<(ll)pre.size() && pre[ids.back()]!=preini) ids.push_back(pre[ids.back()]);
reverse(ids.begin(),ids.end());
vector<STATE> path;
for (auto&& id: ids) path.push_back(fromID(id));
return path;
}
#else
void preRenew(const STATE &vx,const STATE &src)const{ (void)vx,(void)src; }
#endif
};
void cin2solve()
{
auto [N,M,K]=cins<ll,ll,ll>();
ll MM=N*(N-1)/2-M;//使う辺数
/*
dp(i,s,p): iまでで、s個使い、1つ前がp個のときの、最大辺数
K≦使う辺数M'≦dpmx
*/
using STATE=array<ll,3>;
using VAL=ll;
auto operation=[&](VAL a,VAL b){return max(a,b); };
VAL ini=-INF; bool isinf=true;
auto transition=[&](const STATE &vx,VAL va,auto dstVal){
const auto [i,s,p]=vx;
rep(t,1,INF-1){
ll ns=s+t;
if (ns>N) break;
ll ad=p*t+t*(t-1)/2;
dstVal(STATE{i+1,ns,t},va+ad);
}
};
auto [s1,e1]=pll{0,K}; //1つ目の変数の範囲
auto [s2,e2]=pll{1,N}; //2つ目の変数の範囲
auto [s3,e3]=pll{1,N-1}; //3つ目の変数の範囲
rangeNd<3> rng({s1,s2,s3},{e1,e2,e3});
PushBasedDP dp(STATE(),VAL(),operation,transition,rng.toID(),rng.fromID(),ini,isinf,rng);
dp(0,1,1)=0;
dp.calcall(rng);
ll dpmx=-INF;
ll mxp=-1;
rep(p,1,N-1){
if (chmax(dpmx,dp(K,N,p)))
mxp=p;
}
//dp.dump(rng,{"i","s","p"},{2,0,1});
if (! (K<=MM and MM<=dpmx)){
cout << "No" << '\n'; return;
}
vector<STATE> path=dp.pathget(K,N,mxp);
vll nvs(K+1);
nvs[0]=1;
rep(i,1,K){
auto [j0,s0,p0]=path[i-1];
auto [j1,S1,p1]=path[i];
nvs[i]=S1-s0;
assert(nvs[i]>=1);
}
vvll vs(K+1);
vs[0].push_back(1);
{
ll st=2;
rep(i,1,K){
ll nv=nvs[i];
vs[i]=vll(nv,st,1);
vs[i].reverse();
st+=nv;
}
}
vpll ans;
rep(i,1,K){
vll &pvs=vs[i-1];
vll &xvs=vs[i];
rep(I,0,sz(pvs)-1) rep(J,0,sz(xvs)-1){
ll rem=MM-sz(ans);
if ((I==0 and J==0) or (rem>K-i)){
ans.emplace_back(pvs[I],xvs[J]);
}
}
rep(I,0,sz(xvs)-1) rep(J,I+1,sz(xvs)-1){
ll rem=MM-sz(ans);
if (rem>K-i){
ans.emplace_back(xvs[I],xvs[J]);
}
}
}
ans.sort();
vpll anss;
rep(u,1,N) rep(v,u+1,N){
if (ans.contains(pll(u,v))) continue;
anss.emplace_back(u,v);
}
cout << "Yes" << '\n';
for (auto&& e: anss) cout << e << '\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;
}