結果

問題 No.1598 4×4 Grid
コンテスト
ユーザー smiken_61
提出日時 2021-07-09 22:31:11
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 604 ms / 4,000 ms
コード長 6,643 bytes
コンパイル時間 2,241 ms
コンパイル使用メモリ 171,688 KB
実行使用メモリ 290,432 KB
最終ジャッジ日時 2024-07-01 17:10:01
合計ジャッジ時間 9,493 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 7
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
// #include <atcoder/all>
 
 
 
 
//using namespace atcoder;
 
 
// tabaicho see https://boostjp.github.io/tips/multiprec-int.html   
 //#include <boost/multiprecision/cpp_int.hpp>
 
// using namespace boost::multiprecision;
 
// cpp_int
// int128_t
// int256_t
// int512_t
// int1024_t
 
// uint128_t
// uint256_t
// uint512_t
// uint1024_t
 
 
 
#define int long long
 #define inf  1000000007
// #define inf  998244353
 
 #define pa pair<int,int>
 #define ll long long
 #define PI 3.14159265358979323846
 #define  mp make_pair
 #define  pb push_back
 #define EPS (1e-8)
 
      using namespace std;
                                          
 int dx[8]={0,1,0,-1,1,1,-1,-1};
 int dy[8]={1,0,-1,0,-1,1,1,-1};
                                            
class pa3{
	public:
	int x;
	int y,z;
	pa3(int x=0,int y=0,int z=0):x(x),y(y),z(z) {}
	bool operator < (const pa3 &p) const{
		if(x!=p.x) return x<p.x;
		if(y!=p.y) return y<p.y;
		 return z<p.z;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator > (const pa3 &p) const{
		if(x!=p.x) return x>p.x;
		if(y!=p.y) return y>p.y;
		 return z>p.z;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator == (const pa3 &p) const{
		return x==p.x && y==p.y && z==p.z;
	}
		bool operator != (const pa3 &p) const{
			return !( x==p.x && y==p.y && z==p.z);
	}
 
};
 
class pa4{
	public:
	int x;
	int y,z,w;
	pa4(int x=0,int y=0,int z=0,int w=0):x(x),y(y),z(z),w(w) {}
	bool operator < (const pa4 &p) const{
		if(x!=p.x) return x<p.x;
		if(y!=p.y) return y<p.y;
		if(z!=p.z)return z<p.z;
		return w<p.w;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator > (const pa4 &p) const{
		if(x!=p.x) return x>p.x;
		if(y!=p.y) return y>p.y;
		if(z!=p.z)return z>p.z;
		return w>p.w;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator == (const pa4 &p) const{
		return x==p.x && y==p.y && z==p.z &&w==p.w;
	}
		
 
};
class pa2{
	public:
	int x,y;
	pa2(int x=0,int y=0):x(x),y(y) {}
	pa2 operator + (pa2 p) {return pa2(x+p.x,y+p.y);}
	pa2 operator - (pa2 p) {return pa2(x-p.x,y-p.y);}
	bool operator < (const pa2 &p) const{
		return y != p.y ? y<p.y: x<p.x;
	}
	bool operator > (const pa2 &p) const{
		return x != p.x ? x<p.x: y<p.y;
	}
	bool operator == (const pa2 &p) const{
		return abs(x-p.x)==0 && abs(y-p.y)==0;
	}
	bool operator != (const pa2 &p) const{
		return !(abs(x-p.x)==0 && abs(y-p.y)==0);
	}
		
 
};
 
 
 
string itos( int i ) {
	ostringstream s ;
	s << i ;
	return s.str() ;
}
 
int Gcd(int v,int b){
	if(v==0) return b;
	if(b==0) return v;
	if(v>b) return Gcd(b,v);
	if(v==b) return b;
	if(b%v==0) return v;
	return Gcd(v,b%v);
}
 
 
 
int extgcd(int a, int b, int &x, int &y) {
    if (b == 0) {
        x = 1;
        y = 0;
        return a;
    }
    int d = extgcd(b, a%b, y, x);
    y -= a/b * x;
    return d;
}
pa operator+(const pa & l,const pa & r) {   
    return {l.first+r.first,l.second+r.second};                                    
}    
pa operator-(const pa & l,const pa & r) {   
    return {l.first-r.first,l.second-r.second};                                    
}  
 
ostream& operator<<(ostream& os, const vector<int>& VEC){
	for(auto v:VEC)os<<v<<" ";
    return os;
}
 
 
 
ostream& operator<<(ostream& os, const pa& PAI){
	os<<PAI.first<<" : "<<PAI.second;
    return os;
}
 
ostream& operator<<(ostream& os, const pa3& PAI){
	os<<PAI.x<<" : "<<PAI.y<<" : "<<PAI.z;
    return os;
}
 
ostream& operator<<(ostream& os, const pa4& PAI){
	os<<PAI.x<<" : "<<PAI.y<<" : "<<PAI.z<<" : "<<PAI.w;
    return os;
}
 
ostream& operator<<(ostream& os, const vector<pa>& VEC){
	for(auto v:VEC)os<<v<<" ";
    return os;
}
 
 
ostream& operator<<(ostream& os, const vector<pa3>& VEC){
	for(auto v:VEC){
		os<<v<<" ";
	os<<endl;
	}
    return os;
}
 
int beki(int wa,ll rr,int warukazu){
	if(rr==0) return 1%warukazu;
	if(rr==1) return wa%warukazu;
	wa%=warukazu;
	if(rr%2==1) return ((ll)beki(wa,rr-1,warukazu)*(ll)wa)%warukazu;
	ll zx=beki(wa,rr/2,warukazu);
	return (zx*zx)%warukazu;
}
 
              
int pr[2521000];
int inv[2521000];
 
 
 
 
const int mod=1000000007;
 
int comb(int nn,int rr){
	if(rr<0 || rr>nn || nn<0) return 0;
	int r=pr[nn]*inv[rr];
	r%=mod;
	r*=inv[nn-rr];
	r%=mod;
	return r;
}
 
void gya(int ert){
	pr[0]=1;
	for(int i=1;i<=ert;i++){
		pr[i]=((ll)pr[i-1]*i)%mod;
	}
		inv[ert]=beki(pr[ert],mod-2,mod);
	for(int i=ert-1;i>=0;i--){
		inv[i]=(ll)inv[i+1]*(i+1)%mod;
	}
}
 
 
                
 
 
                
              //   cin.tie(0);
    		//	ios::sync_with_stdio(false);
    			//priority_queue<pa3,vector<pa3>,greater<pa3>> pq;            
                 //sort(ve.begin(),ve.end(),greater<int>());
//    mt19937(clock_per_sec);
  //  mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count()) ;

int beki2(int wa,ll rr){
	if(rr==0) return 1;
	if(rr==1) return wa;
	//wa%=warukazu;
	if(rr%2==1) return ((ll)beki2(wa,rr-1)*(ll)wa)%mod;
	ll zx=beki2(wa,rr/2);
	return (zx*zx)%mod;
}

int beki3(int a,int b){
	int ANS=1;
	int be=a;
	while(b){
		if(b&1){
			ANS*=be;
			ANS%=mod;
		}
		be*=be;
		be%=mod;
		b/=2;
	}
	return ANS;
}

vector<int>A,B;


int han(int a,int b){
//	cout<<"  han "<<a<<" "<<b<<endl;
	return upper_bound(B.begin(),B.end(),b)-lower_bound(B.begin(),B.end(),a);
}

int ch(int r,int p){
	// r ika
	
	int ans=0;
	for(auto v:A){
		if(v==0){
			ans+=han(0,r);
		}
		else{
			int si=p-v;
			int ue=(si+r)%p;
			if(ue<si){
				ans+=han(si,p-1);
				ans+=han(0,ue);
			}
			else{
				//cout<<"!!"<<endl;
				ans+=han(si,ue);
			}
		}
	}
	return ans;
	
}

void solve2(){
	
	int n,k,p;
	cin>>n>>k>>p;
	
	for(int i=0;i<n;i++){
		int y;
		cin>>y;
		
		A.pb(y);
	}
	for(int i=0;i<n;i++){
		int y;
		cin>>y;
		B.pb(y);
	}
	sort(A.begin(),A.end());
	sort(B.begin(),B.end());
	
	//for(int i=0;i<10;i++)cout<<i<<" "<<ch(i,p)<<endl;
	
	if(ch(0,p)>=k)cout<<0<<endl;
	else{
		int si=0;
		int ue=p-1;
		while(ue-si>1){
			int me=(ue+si)/2;
			if(ch(me,p)>=k)ue=me;
			else si=me;
			
			
		}
		cout<<ue<<endl;
	}
	
}


int dp[1<<16][700]={}; 
void solve(){
	dp[0][0]=1;
	for(int i=0;i<(1<<16);i++){
		int g=__builtin_popcount(i);
		int num=16-g;
		for(int k=0;k<700;k++)if(dp[i][k]){
			for(int j=0;j<16;j++)if(0==(i&(1<<j))){
				int x=j/4,y=j%4;
				int sc=k;
				for(int r=0;r<4;r++){
					int X=dx[r]+x;
					int Y=dy[r]+y;
					if(X<0||Y<0||X>=4||Y>=4)continue;
					
					if(i&(1<<(X*4+Y))){
						sc-=num;
					}
					else{
						sc+=num;
					}
				}
				dp[i|(1<<j)][sc]+=dp[i][k];
			}
		}
	}
	int K;
	cin>>K;
	cout<<dp[(1<<16)-1][K]<<endl;
}

signed main(){
 
	//mod=inf;
	cin.tie(0);
	ios::sync_with_stdio(false);
 
	int n=1;
	//cin>>n;
	for(int i=0;i<n;i++)solve();
	
 
	return 0;
	
}
0