#837539 (C++14) No.3092 3-2-SAT

• 問題: No.3092 3-2-SAT
• ユーザー: tofu_dra2
• 提出日時: 2023-02-04 12:23:27
• 言語: C++14 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 31 ms / 2,000 ms
• コード長: 1,926 bytes
• コンパイル時間: 3,845 ms
• コンパイル使用メモリ: 230,632 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-07-03 10:23:45
• 合計ジャッジ時間: 5,129 ms
• ジャッジサーバーID （参考情報）: judge1 / judge5

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	9 ms; 5,376 KB
testcase_02	AC	17 ms; 5,376 KB
testcase_03	AC	12 ms; 5,376 KB
testcase_04	AC	31 ms; 5,376 KB
testcase_05	AC	15 ms; 5,376 KB
testcase_06	AC	2 ms; 5,376 KB
testcase_07	AC	2 ms; 5,376 KB
testcase_08	AC	2 ms; 5,376 KB
testcase_09	AC	2 ms; 5,376 KB
testcase_10	AC	2 ms; 5,376 KB
testcase_11	AC	2 ms; 5,376 KB
testcase_12	AC	2 ms; 5,376 KB
testcase_13	AC	2 ms; 5,376 KB
testcase_14	AC	2 ms; 5,376 KB
testcase_15	AC	2 ms; 5,376 KB
testcase_16	AC	2 ms; 5,376 KB
testcase_17	AC	2 ms; 5,376 KB
testcase_18	AC	2 ms; 5,376 KB
testcase_19	AC	2 ms; 5,376 KB
testcase_20	AC	2 ms; 5,376 KB

ソースコード

#include <bits/stdc++.h>
#include <atcoder/all>

typedef long long int ll;
typedef long double ld;

using namespace std;
using namespace atcoder;

#define inf 1010000000
#define llinf 1001000000000000000ll
#define pi 3.14159265358979
#define rep(i, n) for(ll i = 0; i < (n); i++)
#define rep1(i, n) for(ll i = 1; i <= (n); i++)
#define rep2(i,l,r) for(ll i = (l); i < (r); i++)
#define rng(a) a.begin(),a.end()
#define fi first
#define se second
#define pb push_back
#define eb emplace_back
#define pob pop_back
#define mp make_pair
#define st string
#define sz(x) (int)(x).size()
#define mems(x) memset(x, -1, sizeof(x));
#define pcnt __builtin_popcountll
#define _GLIBCXX_DEBUG

#define dame { puts("-1"); return 0;}
#define yes { puts("Yes"); return 0;}
#define no { puts("No"); return 0;}
#define ret(x) { cout<<(x)<<endl;}
#define yn {puts("Yes");}else{puts("No");}

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }

// srand((unsigned)time(NULL)); rand()を用いる際にmainの頭に置く
// clock()/CLOCKS_PER_SEC 秒数を知りたいときに用いる
#define mod 998244353
//問題に応じて 1000000007 に変える
using mint = modint998244353; // .val()で出力

vector<ll> dx={1,0,-1,0};
vector<ll> dy={0,1,0,-1};

using pl = pair<ll,ll>;
using ppl = pair<pl,ll>;
using V = vector<ll>;
using Graph = vector<vector<ll>>; //llをEdgeにする等,適宜書き換える
// G.assign(n, vector<pl>()); グローバル変数にGを置く時に置く

// 関数を置くのはここ以下

int main() {
  cin.tie(nullptr);
  ios::sync_with_stdio(false);
  cout << fixed << setprecision(20);
  // ここから編集
  ll n,m; cin >> n >> m;
  rep(i,m){
    ll x; cin >> x >> x >> x >> x;
    if(x<0) dame;
  }
  rep(i,n){
    cout << 1 << ' ';
  }
  cout << endl;
}