#include using namespace std; #define REP(i, a, n) for (int i = (a); i < (int)(n); i++) #define rep(i, n) REP(i, 0, n) #define FOR(it, c) \ for (__typeof((c).begin()) it = (c).begin(); it != (c).end(); ++it) #define ALLOF(c) (c).begin(), (c).end() typedef long long ll; typedef unsigned long long ull; class Solver2SAT { std::vector> G, rG; std::vector vs; std::vector used; std::vector cmp; 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); } void clear() { G.clear(); rG.clear(); vs.clear(); used.clear(); cmp.clear(); } int scc() { for (int v = 0; v < G.size(); v++) if (!used[v]) dfs(v); used.clear(); used.resize(G.size(), false); int k = 0; for (int i = vs.size() - 1; i >= 0; i--) if (!used[vs[i]]) rdfs(vs[i], k++); return k; } public: void init(int N) { clear(); G.resize(N); rG.resize(N); used.resize(N, false); cmp.resize(N, 0); } void add_edge(int from, int to) { G[from].push_back(to); rG[to].push_back(from); } std::vector solve() { scc(); for (int i = 0; i < G.size() / 2; i++) { if (cmp[i] == cmp[G.size() / 2 + i]) return std::vector(); } std::vector ret(G.size() / 2); for (int i = 0; i < G.size() / 2; i++) { if (cmp[i] > cmp[G.size() / 2 + i]) ret[i] = true; else ret[i] = false; } return ret; } }; bool check(int li, int ri, int lj, int rj) { return (li <= lj && lj <= ri) || (li <= rj && rj <= ri); } int main() { int N, M; cin >> N >> M; vector> v; rep(i, N) { int l, r; cin >> l >> r; v.push_back({l, r}); } Solver2SAT sat; sat.init(2 * N); rep(i, N) { REP(j, i + 1, N) { int a = i; int na = N + i; int b = j; int nb = N + j; bool flgTT = check(v[i][0], v[i][1], v[j][0], v[j][1]); bool flgFT = check(M - 1 - v[i][0], M - 1 - v[i][1], v[j][0], v[j][1]); if (flgTT) { sat.add_edge(na, b); sat.add_edge(nb, a); sat.add_edge(a, nb); sat.add_edge(b, na); } if (flgFT) { sat.add_edge(na, nb); sat.add_edge(b, a); sat.add_edge(a, b); sat.add_edge(nb, na); } } } vector ret = sat.solve(); if (ret.size() != 0) cout << "YES" << endl; else cout << "NO" << endl; return 0; }