#include //sort,二分探索,など #include //popcount #include //固定長bit集合 #include //pow,logなど #include //複素数 #include //両端アクセスのキュー #include //ファイルストリーム(標準入力変更用) #include //sortのgreater #include //setprecision(浮動小数点の出力の誤差) #include //入出力 #include //集合演算(積集合,和集合,差集合など) #include //map(辞書) #include //iota(整数列の生成),gcdとlcm(c++17) #include //キュー #include //集合 #include //スタック #include //文字列 #include //イテレータあるけど順序保持しないmap #include //イテレータあるけど順序保持しないset #include //pair #include //可変長配列 #include using namespace atcoder; //名前 using namespace std; //using namespace atcoder; typedef long long ll; typedef unsigned long long ull; typedef long double ld; typedef map msi; typedef map msll; typedef pair pii; typedef pair pllll; typedef vector vi; typedef vector vll; typedef vector vs; typedef vector vb; typedef vector> vvi; typedef vector> vvll; typedef vector> vvs; typedef vector> vvb; //定数 const ll MOD = 1000000007; const ll INF = 1000000000000000000; const double EPS = 1e-10; const int MAXR = 100000; //10^5:配列の最大のrange //マクロ #define rep(i,n) for(int i=0;i=0;i--) #define all(x) (x).begin(),(x).end() #define rall(x) (x).rbegin(),(x).rend() #define in1(x1) cin >> x1 #define in2(x1, x2) cin >> x1 >> x2 #define in3(x1, x2, x3) cin >> x1 >> x2 >> x3 #define in4(x1, x2, x3, x4) cin >> x1 >> x2 >> x3 >> x4 #define in5(x1, x2, x3, x4, x5) cin >> x1 >> x2 >> x3 >> x4 >> x5 #define in6(x1, x2, x3, x4, x5, x6) cin >> x1 >> x2 >> x3 >> x4 >> x5 >> x6 #define inN(x, N) rep(i, N) in1(x[i]) #define outl(x) cout << x << endl #define out2l(x, y) cout << x << " " << y << endl #define out3l(x1, x2, x3) cout << x1 << " " << x2 << " " << x3 << endl #define out4l(x1, x2, x3, x4) cout << x1 << " " << x2 << " " << x3 << " " << x4 << endl #define outList(x) for(auto y : x) cout << y << " ";cout << endl //よく使う関数 template inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } inline ll div_ceil(ll a, ll b) { return (a + (b - 1)) / b; } inline string zeropad(int n, int m) { ostringstream sout; sout << setfill('0') << setw(m) << n; return sout.str(); } inline int sgn(const double a) { return (a < -EPS ? -1 : (a > EPS ? +1 : 0)); } //a > 0ならば+1, a == 0ならば0, a < 0ならば-1 を返す。 基本的にEPS込みの評価はこれで行う。 template inline void unique(vector& v) { sort(all(v)); v.erase(unique(all(v)), v.end()); } //区間交差判定 bool intersected(int l1, int r1, int l2, int r2) { return max(l1, l2) <= min(r1, r2); } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); //標準入力をファイルに変更 //std::ifstream in("input.txt"); //std::cin.rdbuf(in.rdbuf()); int N, M; in2(N, M); vi L(N), R(N); rep(i, N) in2(L[i], R[i]); //i番目の辺を反転しない:false、する:true two_sat ts(N); rep(i, N) reps(j, i + 1, N) { if (intersected(L[i], R[i], L[j], R[j])) { ts.add_clause(i, false, j, false); } if (intersected(L[i], R[i], M - 1 - R[j], M - 1 - L[j])) { ts.add_clause(i, false, j, true); } if (intersected(M - 1 - R[i], M - 1 - L[i], L[j], R[j])) { ts.add_clause(i, true, j, false); } if (intersected(M - 1 - R[i], M - 1 - L[i], M - 1 - R[j], M - 1 - L[j])) { ts.add_clause(i, true, j, true); } } outl((ts.satisfiable() ? "YES" : "NO")); return 0; }