結果

問題 No.5005 3-SAT
ユーザー umezo
提出日時 2022-04-29 14:09:22
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 554 bytes
コンパイル時間 1,897 ms
実行使用メモリ 6,952 KB
スコア 769
最終ジャッジ日時 2022-04-29 14:09:29
合計ジャッジ時間 7,094 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge14
純コード判定しない問題か言語
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 100
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define ALL(v) v.begin(), v.end()
typedef long long ll;

#include <bits/stdc++.h>
using namespace std;

int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  vector<int> A(256),used(256);
  rep(i,2047){
    int a,b,c,p,q,r;
    cin>>a>>b>>c>>p>>q>>r;
    if(used[a] && A[a]!=p) break;
    if(used[b] && A[b]!=q) break;
    if(used[c] && A[c]!=r) break;
    A[a]=p;
    A[b]=q;
    A[c]=r;
    used[a]=1,used[b]=1,used[c]=1;
  }

  rep(i,256) cout<<A[i];
  cout<<endl;

  return 0;
}
0