#define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include using namespace std; typedef pair P; long long int INF = 1e18; long long int MOD = 1e9 + 7; #define MAX_V 110000 int V; vector G[MAX_V]; // グラフの隣接リスト表現 vector rG[MAX_V];// 辺の向きを逆にしたグラフ vector vs; // 帰りがけ順の並び bool used[MAX_V]; // すでに調べたか int cmp[MAX_V]; // 属する強連結成分のトポロジカル順序 // from から to への辺を張る関数 void add_edge(int from, int to){ G[from].push_back(to); rG[to].push_back(from); } void dfs(int v){ used[v] = true; for(int i = 0; i < G[v].size(); i++){ if(!used[G[v][i]]){ dfs(G[v][i]); } } vs.push_back(v); } void rdfs(int v, int k){ used[v] = true; cmp[v] = k; for(int i = 0; i < rG[v].size(); i++){ if(!used[rG[v][i]]){ rdfs(rG[v][i], k); } } } // 強連結成分分解を行う関数、返り値は強連結成分の個数 int scc(){ memset(used, 0, sizeof(used)); vs.clear(); for(int v = 0; v < V; v++){ if(!used[v]){ dfs(v); } } memset(used, 0, sizeof(used)); int k = 0; for(int i = vs.size() - 1; i >= 0; i--){ if(!used[vs[i]]){ rdfs(vs[i], k++); } } return k; } bool wrapped(int L1, int R1, int L2, int R2){ if((L1 <= L2 && L2 <= R1) || (L1 <= R2 && R2 <= R1)){ return true; } if((R2 - R1) * (L2 - L1) <= 0){ return true; } return false; } int main(){ int N, M; cin >> N >> M; V = N * 2; int L[2100], R[2100]; for(int i = 0; i < N; i++){ cin >> L[i] >> R[i]; } for(int i = 0; i < N; i++){ for(int j = i + 1; j < N; j++){ if(wrapped(L[i], R[i], L[j], R[j])){ add_edge(i, j + N); add_edge(j, i + N); } swap(L[j], R[j]); L[j] = M - L[j] - 1; R[j] = M - R[j] - 1; if(wrapped(L[i], R[i], L[j], R[j])){ add_edge(i, j); add_edge(j + N, i + N); } swap(L[j], R[j]); L[j] = M - L[j] - 1; R[j] = M - R[j] - 1; swap(L[i], R[i]); L[i] = M - L[i] - 1; R[i] = M - R[i] - 1; if(wrapped(L[i], R[i], L[j], R[j])){ add_edge(i + N, j + N); add_edge(j, i); } swap(L[j], R[j]); L[j] = M - L[j] - 1; R[j] = M - R[j] - 1; if(wrapped(L[i], R[i], L[j], R[j])){ add_edge(i + N, j); add_edge(j + N, i); } swap(L[i], R[i]); L[i] = M - L[i] - 1; R[i] = M - R[i] - 1; swap(L[j], R[j]); L[j] = M - L[j] - 1; R[j] = M - R[j] - 1; } } scc(); // 同じ強連結成分に属するか判定 for(int i = 0; i < N; i++){ if(cmp[i] == cmp[i + N]){ cout << "NO" << endl; return 0; } } cout << "YES" << endl; return 0; }