結果

問題 No.3024 等式
ユーザー rickythetarickytheta
提出日時 2017-03-31 23:48:18
言語 C++11
(gcc 11.4.0)
結果
WA  
実行時間 -
コード長 2,361 bytes
コンパイル時間 1,440 ms
コンパイル使用メモリ 162,676 KB
実行使用メモリ 25,212 KB
最終ジャッジ日時 2023-09-21 12:50:24
合計ジャッジ時間 15,388 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 2 ms
4,384 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 2 ms
4,380 KB
testcase_06 AC 20 ms
4,380 KB
testcase_07 AC 21 ms
4,380 KB
testcase_08 AC 24 ms
4,380 KB
testcase_09 AC 2 ms
4,384 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 WA -
testcase_12 AC 1,303 ms
7,928 KB
testcase_13 AC 1,329 ms
8,872 KB
testcase_14 AC 1,530 ms
12,696 KB
testcase_15 AC 24 ms
4,384 KB
testcase_16 AC 2 ms
4,380 KB
testcase_17 AC 2 ms
4,376 KB
testcase_18 AC 1,304 ms
8,024 KB
testcase_19 AC 1,337 ms
8,840 KB
testcase_20 AC 2 ms
4,376 KB
testcase_21 AC 2 ms
4,376 KB
testcase_22 TLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;

typedef int _loop_int;
#define REP(i,n) for(_loop_int i=0;i<(_loop_int)(n);++i)
#define FOR(i,a,b) for(_loop_int i=(_loop_int)(a);i<(_loop_int)(b);++i)
#define FORR(i,a,b) for(_loop_int i=(_loop_int)(b)-1;i>=(_loop_int)(a);--i)

#define DEBUG(x) cout<<#x<<": "<<x<<endl

int n;
int a[7];

map<pll,vi> M;
set<pll> S;
vector<pll> V;

void dfs(int mask){
  if(mask==0 && V.size()==1){
    S.insert(pll(V[0].first,V[0].second));
    return;
  }
  if(mask != 0){
    // push
    REP(i,n)if((mask>>i)&1){
      int nmsk = mask ^ (1<<i);
      V.push_back(pll(a[i],1));
      dfs(nmsk);
      V.pop_back();
    }
  }
  if(V.size()>=2){
    // pop
    pll x = V.back(); V.pop_back();
    pll y = V.back(); V.pop_back();
    ll xa = x.first;
    ll xb = x.second;
    ll ya = y.first;
    ll yb = y.second;
    // add
    {
      ll zb = xb*yb;
      ll za = xa*yb + ya*xb;
      ll g = __gcd(za,zb);
      V.push_back(pll(za/g,zb/g));
      dfs(mask);
      V.pop_back();
    }
    // sub
    {
      ll zb = xb*yb;
      ll za = xa*yb - ya*xb;
      ll g = __gcd(za,zb);
      V.push_back(pll(za/g,zb/g));
      dfs(mask);
      V.pop_back();
    }
    // mul
    {
      ll za = xa*ya;
      ll zb = xb*yb;
      if(zb<0){
        zb*=-1;
        za*=-1;
      }
      ll g = __gcd(za,zb);
      V.push_back(pll(za/g,zb/g));
      dfs(mask);
      V.pop_back();
    }
    // // div
    // if(ya!=0){
    //   ll za = xa*yb;
    //   ll zb = xb*ya;
    //   if(zb<0){
    //     zb*=-1;
    //     za*=-1;
    //   }
    //   ll g = __gcd(za,zb);
    //   V.push_back(pll(za/g,zb/g));
    //   dfs(mask);
    //   V.pop_back();
    // }
    V.push_back(y);
    V.push_back(x);
  }
}

int main(){
  scanf("%d",&n);
  REP(i,n)scanf("%d",a+i);
  REP(mask,1<<n){
    int po = __builtin_popcount(mask);
    if(po==0 || po==7)continue;
    S.clear();
    V.clear();
    dfs(mask);
    for(pll x : S){
      for(int another : M[x]){
        if((mask&another)==0){
          puts("YES");
          // DEBUG(mask);
          // DEBUG(another);
          // DEBUG(x.first);
          // DEBUG(x.second);
          return 0;
        }
      }
      M[x].push_back(mask);
    }
  }
  puts("NO");
  return 0;
}
0