#include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define rep(i, n) for (int64_t i = 0; i < (int64_t)(n); i++) #define irep(i, n) for (int64_t i = 0; i <= (int64_t)(n); i++) #define rrep(i, n) for (int64_t i = (n)-1; i >= 0; i--) #define rirep(i, n) for (int64_t i = n; i >= 0; i--) #define chmax(a, b) (a) = max(a, b) #define chmin(a, b) (a) = min(a, b) vector> inversed_edge(const vector> &edge) { vector> result(edge.size()); for (int i = 0; i < edge.size(); i++) { for (int from : edge[i]) { result[from].push_back(i); } } return result; } class TopologicalSort { const vector> &mOutEdge; vector mIsVisited; public: TopologicalSort(const TopologicalSort &) = delete; TopologicalSort &operator=(const TopologicalSort &) = delete; TopologicalSort(TopologicalSort &&) = delete; TopologicalSort &operator=(TopologicalSort &&) = delete; explicit TopologicalSort(const vector> &outEdge) : mOutEdge(outEdge), mIsVisited(outEdge.size()) {} vector build() { const int N = mIsVisited.size(); fill(mIsVisited.begin(), mIsVisited.end(), false); vector sorted; for (int i = 0; i < N; i++) { if (!mIsVisited[i]) { dfs(i, sorted); } } return sorted; } private: void dfs(int node, vector &sorted) { mIsVisited[node] = true; for (int c : mOutEdge[node]) { if (!mIsVisited[c]) { dfs(c, sorted); } } sorted.push_back(node); } }; class StrictlyConnectedComponent { const vector> &mInEdge; const vector mSorted; vector mIsVisited; public: StrictlyConnectedComponent(const StrictlyConnectedComponent &) = delete; StrictlyConnectedComponent &operator=(const StrictlyConnectedComponent &) = delete; StrictlyConnectedComponent(StrictlyConnectedComponent &&) = delete; StrictlyConnectedComponent &operator=(StrictlyConnectedComponent &&) = delete; explicit StrictlyConnectedComponent(const vector> &inEdge, const vector &sorted) : mInEdge(inEdge), mSorted(sorted), mIsVisited(inEdge.size()) {} vector build() { const int N = mIsVisited.size(); vector group(N); fill(mIsVisited.begin(), mIsVisited.end(), false); for (int i = N - 1; i >= 0; i--) { if (!mIsVisited[mSorted[i]]) { dfs(mSorted[i], i, group); } } return group; } private: void dfs(int node, int curr, vector &group) { mIsVisited[node] = true; group[node] = curr; for (int c : mInEdge[node]) { if (!mIsVisited[c]) { dfs(c, curr, group); } } } }; int main() { int N, M; cin >> N >> M; vector l(N), r(N); rep(i, N) { cin >> l[i] >> r[i]; } vector> edge(2 * N); rep(i, N) rep(j, N) { if (i != j) { if (!(r[i] < l[j] || r[j] < l[i])) { edge[i].push_back(j + N); edge[i + N].push_back(j); } if (!(r[i] < M - r[j] - 1 || M - l[j] - 1 < l[i])) { edge[i].push_back(j); edge[i + N].push_back(j + N); } } } auto sorted = TopologicalSort(edge).build(); auto group = StrictlyConnectedComponent(edge, sorted).build(); bool result = true; rep(i, N) { result = result && (group[i] != group[i + N]); } cout << (result ? "YES" : "NO") << endl; return 0; }