#include #define REP(i, s, n) for (int i = s; i < (int)(n); i++) #define ALL(a) a.begin(), a.end() #define MOD 1000000007 using namespace std; using ll = long long; class StronglyConnectedComponents { public: StronglyConnectedComponents(vector> &G) { vector postorder; vector visited(G.size()); for (int i = 0; i < (int)G.size(); i++) { if (visited[i]) continue; dfs(G, visited, postorder, i); } rg.resize(G.size()); for (int i = 0; i < (int)G.size(); i++) { for (auto g : G[i]) rg[g].push_back(i); } c = 0; _id.resize(G.size(), 0); for (int i = (int)G.size() - 1; i >= 0; i--) { if (_id[postorder[i]]) continue; vector components; rdfs(rg, components, postorder[i], ++c); scc.push_back(components); } } int size() { return c; } int id(int u) { return _id[u]; } bool same(int u, int v) { return _id[u] == _id[v]; } vector> reverseGraph() { return rg; } vector> getComponents() { return scc; } private: int c; vector _id; vector> rg, scc; void dfs(vector> &G, vector &visited, vector &postorder, int v) { visited[v] = true; for (auto g : G[v]) { if (visited[g]) continue; dfs(G, visited, postorder, g); } postorder.push_back(v); } void rdfs(vector> &G, vector &components, int v, int c) { _id[v] = c; components.push_back(v); for (auto g : G[v]) { if (_id[g]) continue; rdfs(G, components, g, c); } } }; class TwoSat { private: const int sz; vector b; vector> G; StronglyConnectedComponents *scc; public: TwoSat(int n) : sz(n), b(sz), G(2 * sz) {} void addEdge(int u, bool notu, int v, bool notv) { int u0 = notu ? u + sz : u; int u1 = notu ? u : u + sz; int v0 = notv ? v + sz : v; int v1 = notv ? v : v + sz; G[u1].push_back(v0); G[v1].push_back(u0); } bool isSatisfiable() { scc = new StronglyConnectedComponents(G); for (int i = 0; i < sz; i++) { if (scc->same(i, i + sz)) return false; } return true; } vector & assign() { for (int i = 0; i < sz; i++) { b[i] = scc->id(i) > scc->id(i + sz); } return b; } }; int main() { int N, M; cin >> N >> M; vector L(N), R(N); REP(i, 0, N) cin >> L[i] >> R[i]; auto rev = [&](int x) -> int { return M - x - 1; }; TwoSat ts(N); REP(i, 0, N) { REP(j, i + 1, N) { if (max(L[i], L[j]) <= min(R[i], R[j])) { ts.addEdge(i, true, j, true); } if (max(rev(R[i]), L[j]) <= min(rev(L[i]), R[j])) { ts.addEdge(i, false, j, true); } if (max(L[i], rev(R[j])) <= min(R[i], rev(L[j]))) { ts.addEdge(i, true, j, false); } if (max(rev(R[i]), rev(R[j])) <= min(rev(L[i]), rev(L[j]))) { ts.addEdge(i, false, j, false); } } } if (ts.isSatisfiable()) cout << "YES" << endl; else cout << "NO" << endl; return 0; }