結果

問題 No.753 最強王者決定戦
ユーザー WA_TLEWA_TLE
提出日時 2018-11-09 22:09:56
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 230 ms / 1,000 ms
コード長 2,531 bytes
コンパイル時間 2,513 ms
コンパイル使用メモリ 133,964 KB
実行使用メモリ 11,612 KB
最終ジャッジ日時 2023-08-13 11:34:08
合計ジャッジ時間 4,249 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 230 ms
11,456 KB
testcase_01 AC 229 ms
11,464 KB
testcase_02 AC 230 ms
11,448 KB
testcase_03 AC 230 ms
11,612 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<deque>
#include<queue>
#include<vector>
#include<algorithm>
#include<iostream>
#include<set>
#include<cmath>
#include<tuple>
#include<string>
#include<chrono>
#include<functional>
#include<iterator>
#include<random>
#include<unordered_set>
#include<array>
#include<map>
#include<iomanip>
#include<assert.h>
#include<bitset>
#include<stack>
#include<memory>
using namespace std;
typedef long long int llint;
typedef double lldo;
#define mp make_pair
#define mt make_tuple
#define pub push_back
#define puf push_front
#define pob pop_back
#define pof pop_front
#define fir first
#define sec second
#define res resize
#define ins insert
#define era erase
/*
cout<<fixed<<setprecision(20);
cin.tie(0);
ios::sync_with_stdio(false);
*/
const llint mod=1000000007;
const llint big=2.19e15+1;
const long double pai=3.141592653589793238462643383279502884197;
const long double eps=1e-15;
template <class T,class U>bool mineq(T& a,U b){if(a>b){a=b;return true;}return false;}
template <class T,class U>bool maxeq(T& a,U b){if(a<b){a=b;return true;}return false;}
llint gcd(llint a,llint b){if(a%b==0){return b;}else return gcd(b,a%b);}
llint lcm(llint a,llint b){if(a==0){return b;}return a/gcd(a,b)*b;}
template<class T> void SO(T& ve){sort(ve.begin(),ve.end());}
template<class T> void REV(T& ve){reverse(ve.begin(),ve.end());}
template<class T>llint LBI(vector<T>&ar,T in){return lower_bound(ar.begin(),ar.end(),in)-ar.begin();}
template<class T>llint UBI(vector<T>&ar,T in){return upper_bound(ar.begin(),ar.end(),in)-ar.begin();}
int main(void){
	cin.tie(0);
	ios::sync_with_stdio(false);
	//bitDP以外に存在しない
	static llint dp[65536][16]={0};
	int i,j,h;
	int win[16][16];
	for(i=0;i<16;i++){
		for(j=0;j<16;j++){
			int aaa;cin>>aaa;
			if(i<j){win[i][j]=aaa;win[j][i]=-aaa;}
		}
	}
	for(i=0;i<16;i++){dp[1<<i][i]=1;}
	
	for(int bi=0;bi<65536;bi++){
		int ta=0;
		int subbit[16]={0};
		for(i=0;i<16;i++){if(bi&(1<<i)){subbit[ta]=i;ta++;}}
		if(ta!=2&&ta!=4&&ta!=8&&ta!=16){continue;}
		//sub bitとしてありうるものを試す
		for(int sub=0;sub<(1<<(ta-1));sub++){
			int tu=0,tox=0;
			for(i=0;i<(ta-1);i++){if(sub&(1<<i)){tu++;tox+=(1<<subbit[i]);}}
			if(tu+tu!=ta){continue;}
			//subbitとして正しい
			int toy=bi-tox;
			for(int xw=0;xw<16;xw++){
				for(int yw=0;yw<16;yw++){
					if(win[xw][yw]>0){dp[bi][xw]+=dp[tox][xw]*dp[toy][yw];}
					else{dp[bi][yw]+=dp[tox][xw]*dp[toy][yw];}
				}
			}
		}
	}
	for(i=0;i<16;i++){cout<<(dp[65535][i]<<15)<<endl;}
	//最後に2^15をかける
	return 0;
}
0