結果

問題 No.274 The Wall
ユーザー femto
提出日時 2017-03-10 18:58:08
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,045 bytes
コンパイル時間 1,824 ms
コンパイル使用メモリ 182,676 KB
実行使用メモリ 323,960 KB
最終ジャッジ日時 2024-06-24 07:53:55
合計ジャッジ時間 4,318 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3 WA * 1
other AC * 19 WA * 3
権限があれば一括ダウンロードができます

ソースコード

diff # 

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


struct edge {
	int src, dst;
	edge(int src, int dst) :
		src(src), dst(dst) {
	}
};
typedef vector<edge> edges;
typedef vector<edges> Graph;

#define VAR(x) ((x) << 1)
#define NOT(x) ((x) ^ 1) // !a = NOT(VAR(a))
void visit(int v, const Graph &g, vector<int> &ord, vector<int> &num, int k) {
	if(num[v] >= 0) return;
	num[v] = k;
	for(int i = 0; i < g[v].size(); ++i)
		visit(g[v][i].dst, g, ord, num, k);
	ord.push_back(v);
}

typedef pair<int, int> clause; // {a or b}

pair<bool, vector<bool>> two_satisfiability(int m, const vector<clause> &cs) {
	int n = m * 2; // m positive vars and m negative vars
	Graph g(n), h(n);
	for(int i = 0; i < cs.size(); ++i) {
		int u = cs[i].first, v = cs[i].second;
		g[NOT(u)].push_back(edge(NOT(u), v));
		g[NOT(v)].push_back(edge(NOT(v), u));
		h[v].push_back(edge(v, NOT(u)));
		h[u].push_back(edge(u, NOT(v)));
	}
	vector<int> num(n, -1), ord, dro;
	for(int i = 0; i < n; ++i)
		visit(i, g, ord, num, i);
	reverse(ord.begin(), ord.end());
	fill(num.begin(), num.end(), -1);
	for(int i = 0; i < n; ++i)
		visit(ord[i], h, dro, num, i);
	for(int i = 0; i < n; ++i) {
		if(num[i] == num[NOT(i)]) return{ false, vector<bool>() };
	}

	vector<bool> T(m);
	for(int i = 0; i < m; i++) {
		if(num[VAR(i)] > num[NOT(VAR(i))]) T[i] = 1;
	}
	return{ true, T };
}


int L[2000];
int R[2000];

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);

	int N, M;
	cin >> N >> M;
	for(int i = 0; i < N; i++) {
		cin >> L[i] >> R[i];
	}

	vector<clause> cs;
	for(int i = 0; i < N; i++) {
		for(int j = i + 1; j < N; j++) {
			int l = M - R[j] - 1, r = M - L[j] - 1;
			if(!(R[i] < L[j] || R[j] < L[i])) {
				cs.push_back({ NOT(VAR(i)), VAR(j) });
				cs.push_back({ VAR(i), NOT(VAR(j)) });
			}
			if(!(R[i] < l || r < L[i])) {
				cs.push_back({ VAR(i), VAR(j) });
				cs.push_back({ NOT(VAR(i)), NOT(VAR(j)) });
			}
		}
	}

	auto res = two_satisfiability(N, cs);
	if(res.first) {
		cout << "YES" << endl;
	}
	else {
		cout << "NO" << endl;
	}
}
0