AtCoder Beginner Contest 187 C問題 - 1-SAT

Source

AtCoder Beginner Contest 187
問題文

問題概要

省略

解法

省略

cLayversion 20210103-1)のコード

C++に変換後のコードはこちら

int N;
string S[2d5];
{
  set<string> st;
  rd(N,S(N));
  rep(i,N) st.insert(S[i]);
  rep(i,N) if(st.count("!"+S[i])) wt(S[i]), return 0;
  wt("satisfiable");
}

Current time: 2024年03月28日20時31分55秒
Last modified: 2021年01月03日16時49分16秒 (by laycrs)
Tags: Competitive_Programming_Incomplete AtCoder AtCoder_Beginner_Contest ABC187 ABC_C
トップページに戻る

Logged in as: unknown user (not login)

ログイン: