結果
| 問題 | No.1594 Three Classes | 
| コンテスト | |
| ユーザー |  tnakao0123 | 
| 提出日時 | 2021-07-11 22:20:54 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 2 ms / 2,000 ms | 
| コード長 | 1,462 bytes | 
| コンパイル時間 | 763 ms | 
| コンパイル使用メモリ | 94,188 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-11-16 08:28:32 | 
| 合計ジャッジ時間 | 1,458 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 18 | 
ソースコード
/* -*- coding: utf-8 -*-
 *
 * 1594.cc:  No.1594 Three Classes - yukicoder
 */
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;
/* constant */
const int MAX_N = 12;
const int NBITS = 1 << MAX_N;
/* typedef */
typedef long long ll;
typedef vector<int> vi;
typedef queue<int> qi;
typedef pair<int,int> pii;
/* global variables */
int es[MAX_N], ess[NBITS], bs[NBITS];
/* subroutines */
/* main */
int main() {
  int n;
  scanf("%d", &n);
  for (int i = 0; i < n; i++) scanf("%d", es + i);
  int nbits = 1 << n, nmsk = nbits - 1;
  for (int bits = 1, msb = 1, msi = 0; bits < nbits; bits++) {
    if ((msb << 1) <= bits) msb <<= 1, msi++;
    ess[bits] = ess[bits ^ msb] + es[msi];
  }
  if (ess[nmsk] % 3 != 0) { puts("No"); return 0; }
  int s3 = ess[nmsk] / 3;
  int m = 0;
  for (int bits = 0; bits < nbits; bits++)
    if (ess[bits] == s3) bs[m++] = bits;
  //printf("m=%d\n", m);
  for (int i = 0; i < m; i++)
    for (int j = i + 1; j < m; j++)
      if ((bs[i] & bs[j]) == 0) {
	int bij = bs[i] | bs[j];
	for (int k = j + 1; k < m; k++)
	  if ((bij & bs[k]) == 0 && (bij | bs[k]) == nmsk) {
	    puts("Yes"); return 0;
	  }
      }
  puts("No");
  return 0;
}
            
            
            
        