結果

問題 No.274 The Wall
ユーザー srup٩(๑`н´๑)۶srup٩(๑`н´๑)۶
提出日時 2016-12-23 15:04:36
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 427 ms / 2,000 ms
コード長 3,426 bytes
コンパイル時間 1,314 ms
コンパイル使用メモリ 153,736 KB
実行使用メモリ 257,388 KB
最終ジャッジ日時 2023-09-04 02:14:46
合計ジャッジ時間 3,797 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 154 ms
110,288 KB
testcase_04 AC 1 ms
4,376 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 1 ms
4,380 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 427 ms
257,388 KB
testcase_12 AC 15 ms
4,376 KB
testcase_13 AC 2 ms
4,380 KB
testcase_14 AC 7 ms
4,380 KB
testcase_15 AC 15 ms
4,380 KB
testcase_16 AC 185 ms
105,660 KB
testcase_17 AC 175 ms
98,988 KB
testcase_18 AC 185 ms
105,096 KB
testcase_19 AC 27 ms
4,380 KB
testcase_20 AC 31 ms
4,376 KB
testcase_21 AC 32 ms
4,380 KB
testcase_22 AC 34 ms
4,376 KB
testcase_23 AC 34 ms
4,380 KB
testcase_24 AC 34 ms
4,376 KB
testcase_25 AC 34 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef vector<int> vint;
typedef pair<int,int> pint;
typedef vector<pint> vpint;
#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)
#define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++)
#define all(v) (v).begin(),(v).end()
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define chmax(a, b) a = (((a)<(b)) ? (b) : (a))
#define chmin(a, b) a = (((a)>(b)) ? (b) : (a))
const int MOD = 1e9 + 7;
const int INF = 1e9;

class strongly_connected_components{
public:
    int group_cnt; // sccの数
    vector<vector<int> > G, rG;
    vector<int> used, vs;
    vector<int> cmp; //cmp[v] := 頂点vが含まれる連結成分がどれなのかを示す番号
    strongly_connected_components(const vector<vector<int> > &g, const vector<vector<int> > &rg, int n): 
        G(g), rG(rg), cmp(2 * n), used(2 * n){
        //mainの処理
        fill(used.begin(), used.end(), 0);
        for (int i = 0; i < G.size(); ++i){
            if(!used[i]) dfs(i);
        }
        fill(used.begin(), used.end(), 0);
        int k = 0;
        for (int i = vs.size() - 1; i >= 0; --i){
            if(!used[vs[i]]) rdfs(vs[i], k++);
        }
        group_cnt = k;
    }
    int operator[](int i){//連結成分の番号を返す
        return cmp[i];
    }
private:
    void dfs(int curr){
        used[curr] = true;
        for(auto next : G[curr]){
            if(!used[next]) dfs(next);
        }
        vs.push_back(curr);
    }
    void rdfs(int curr, int k){
        used[curr] = true;
        cmp[curr] = k;//頂点vに対して、k番目と強連結成分であること入れる
        for(auto next : rG[curr]){
            if(!used[next]) rdfs(next, k);
        }
    }
};

class twosatisfiability{
public:
    int V;
    vector<int> res; // 1:= 0:=
    vector<vector<int> > g, rg;
    twosatisfiability(int n) : V(n), g(2 * n), rg(2 * n), res(n){}

    bool exec() {
        strongly_connected_components scc(g, rg, V);
        for (int i = 0; i < V; i++) {
            if (scc[i] == scc[i + V]) return false;
            res[i] = scc[i] > scc[i + V];
        }
        return true;
    }
    void add_edge(int a, int b){
        g[a].push_back(b);
        rg[b].push_back(a);
    }
    //0~V-1: x_i
    //V~2V-1: notx_i
    void add(int a, bool apos, int b, bool bpos){//a V b をグラフへ
        add_edge(a + (apos ? V : 0), b + (bpos ? 0 : V)); // not a -> b
        add_edge(b + (bpos ? V : 0), a + (apos ? 0 : V)); // not b -> a
    }
    bool operator[](int k){
        return res[k];
    }
};

int n, m;
int l[2010], r[2010];
int main(void){
	cin >> n >> m;
	rep(i, n) cin >> l[i] >> r[i];
	twosatisfiability sat(n);
	rep(i, n){
		reps(j, i + 1, n){
			//そのままがtrue
			int L1 = l[i], R1 = r[i], L2 = l[j], R2 = r[j];
			int rL1 = m - l[i] - 1, rR1 = m - r[i] - 1, rL2 = m - l[j] - 1, rR2 = m - r[j] - 1;
			if(rL1 > rR1) swap(rL1, rR1); 
			if(rL2 > rR2) swap(rL2, rR2);

			if(!((R1 < L2) || (R2 < L1))){
				sat.add(i, false, j, false);
			}
			if(!((rR1 < L2) || (R2 < rL1))){
				sat.add(i, true, j, false);
			}
			if(!((R1 < rL2) || (rR2 < L1))){
				sat.add(i, false, j, true);
			}
			if(!((rR1 < rL2) || (rR2 < rL1))){
				sat.add(i, true, j, true);
			}
		}
	}
	if(sat.exec()){
		printf("YES\n");
	}else{
		printf("NO\n");
	}
	return 0;
}
0