結果

問題 No.8024 等式
ユーザー kotatsugame
提出日時 2020-03-09 08:02:57
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 1,522 bytes
コンパイル時間 910 ms
コンパイル使用メモリ 82,500 KB
実行使用メモリ 121,728 KB
最終ジャッジ日時 2024-11-07 20:46:55
合計ジャッジ時間 9,541 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 18 TLE * 1 -- * 4
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp:17:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
   17 | main()
      | ^~~~

ソースコード

diff # 

#include<iostream>
#include<set>
#include<vector>
#include<algorithm>
using namespace std;
long gcd(long a,long b){return b?gcd(b,a%b):a;}
pair<long,long>norm(long a,long b)
{
	long g=gcd(a,b);
	if(g!=1)a/=g,b/=g;
	return make_pair(a,b);
}
set<pair<long,long> >M[1<<7];
vector<pair<long,long> >T[1<<7];
int N;
long A[7];
main()
{
	cin>>N;
	for(int i=0;i<N;i++)
	{
		cin>>A[i];
		M[1<<i].insert(norm(A[i],1));
	}
	for(int i=1;i+1<1<<N;i++)
	{
		if(__builtin_popcount(i)>1)
		{
			for(int x=i;;x=x-1&i)
			{
				int t=i&~x;
				for(int y=t;;y=y-1&t)
				{
					for(const pair<long,long>&X:M[x])
					{
						for(const pair<long,long>&Y:M[y])
						{
							M[i].insert(norm(X.first*Y.second+Y.first*X.second,X.second*Y.second));
							M[i].insert(norm(X.first*Y.second-Y.first*X.second,X.second*Y.second));
							M[i].insert(norm(-X.first*Y.second+Y.first*X.second,X.second*Y.second));
							M[i].insert(norm(X.first*Y.first,X.second*Y.second));
							M[i].insert(norm(X.first*Y.second,X.second*Y.first));
							M[i].insert(norm(Y.first*X.second,Y.second*X.first));
						}
					}
					if(y==0)break;
				}
				if(x==0)break;
			}
		}
		T[i]=vector<pair<long,long> >(M[i].begin(),M[i].end());
	}
	for(int i=1;i+1<1<<N;i++)
	{
		int t=(1<<N)-1&~i;
		for(int j=t;;j=j-1&t)
		{
			int ii=0,jj=0;
			while(ii<T[i].size()&&jj<T[j].size())
			{
				if(T[i][ii]==T[j][jj])
				{
					cout<<"YES"<<endl;
					return 0;
				}
				else if(T[i][ii]<T[j][jj])ii++;
				else jj++;
			}
			if(j==0)break;
		}
	}
	cout<<"NO"<<endl;
}
0