結果
| 問題 | No.274 The Wall |
| ユーザー |
 wunderkammer2
|
| 提出日時 | 2021-07-26 23:08:34 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 426 ms / 2,000 ms |
| コード長 | 4,456 bytes |
| コンパイル時間 | 2,949 ms |
| コンパイル使用メモリ | 182,300 KB |
| 最終ジャッジ日時 | 2025-01-23 09:46:16 |
|
ジャッジサーバーID （参考情報） |
judge5 / judge2 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 22 |
ソースコード
#include<algorithm> //sort,二分探索,など#include<bit> //popcount#include<bitset> //固定長bit集合#include<cmath> //pow,logなど#include<complex> //複素数#include<deque> //両端アクセスのキュー#include<fstream> //ファイルストリーム（標準入力変更用）#include<functional> //sortのgreater#include<iomanip> //setprecision(浮動小数点の出力の誤差)#include<iostream> //入出力#include<iterator> //集合演算(積集合,和集合,差集合など)#include<map> //map(辞書)#include<numeric> //iota(整数列の生成),gcdとlcm(c++17)#include<queue> //キュー#include<set> //集合#include<stack> //スタック#include<string> //文字列#include<unordered_map> //イテレータあるけど順序保持しないmap#include<unordered_set> //イテレータあるけど順序保持しないset#include<utility> //pair#include<vector> //可変長配列#include<atcoder/all>using namespace atcoder;//名前using namespace std;//using namespace atcoder;typedef long long ll;typedef unsigned long long ull;typedef long double ld;typedef map<string, int> msi;typedef map<string, ll> msll;typedef pair<int, int> pii;typedef pair<ll, ll> pllll;typedef vector<int> vi;typedef vector<ll> vll;typedef vector<string> vs;typedef vector<bool> vb;typedef vector<vector<int>> vvi;typedef vector<vector<ll>> vvll;typedef vector<vector<string>> vvs;typedef vector<vector<bool>> 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<n;i++)#define reps(i,s,e) for(int i=s;i<e;i++)#define repse(i,s,e) for(int i=s;i<=e;i++)#define rrep(i,n) for(int i=n-1;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<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }template<class T> 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<class T> inline void unique(vector<T>& 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、する:truetwo_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;}