結果

問題 No.2173 Nightcord
ユーザー 👑 tute7627tute7627
提出日時 2022-12-25 00:34:35
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2,018 ms / 2,525 ms
コード長 14,021 bytes
コンパイル時間 3,156 ms
コンパイル使用メモリ 231,232 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-04-28 19:24:22
合計ジャッジ時間 26,746 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 1,558 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 3 ms
5,376 KB
testcase_09 AC 3 ms
5,376 KB
testcase_10 AC 4 ms
5,376 KB
testcase_11 AC 2 ms
5,376 KB
testcase_12 AC 3 ms
5,376 KB
testcase_13 AC 2 ms
5,376 KB
testcase_14 AC 113 ms
5,376 KB
testcase_15 AC 112 ms
5,376 KB
testcase_16 AC 4 ms
5,376 KB
testcase_17 AC 2 ms
5,376 KB
testcase_18 AC 3 ms
5,376 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 3 ms
5,376 KB
testcase_21 AC 3 ms
5,376 KB
testcase_22 AC 3 ms
5,376 KB
testcase_23 AC 3 ms
5,376 KB
testcase_24 AC 4 ms
5,376 KB
testcase_25 AC 3 ms
5,376 KB
testcase_26 AC 3 ms
5,376 KB
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 3 ms
5,376 KB
testcase_29 AC 2 ms
5,376 KB
testcase_30 AC 4 ms
5,376 KB
testcase_31 AC 2 ms
5,376 KB
testcase_32 AC 948 ms
5,376 KB
testcase_33 AC 1,359 ms
5,376 KB
testcase_34 AC 1,464 ms
5,376 KB
testcase_35 AC 705 ms
5,376 KB
testcase_36 AC 849 ms
5,376 KB
testcase_37 AC 1,277 ms
5,376 KB
testcase_38 AC 1,425 ms
5,376 KB
testcase_39 AC 1,326 ms
5,376 KB
testcase_40 AC 1,430 ms
5,376 KB
testcase_41 AC 887 ms
5,376 KB
testcase_42 AC 2,018 ms
5,376 KB
testcase_43 AC 113 ms
5,376 KB
testcase_44 AC 7 ms
5,376 KB
testcase_45 AC 349 ms
5,376 KB
testcase_46 AC 1,992 ms
5,376 KB
testcase_47 AC 488 ms
5,376 KB
testcase_48 AC 562 ms
5,376 KB
testcase_49 AC 14 ms
5,376 KB
testcase_50 AC 202 ms
5,376 KB
testcase_51 AC 536 ms
5,376 KB
testcase_52 AC 8 ms
5,376 KB
testcase_53 AC 576 ms
5,376 KB
testcase_54 AC 829 ms
5,376 KB
testcase_55 AC 179 ms
5,376 KB
testcase_56 AC 359 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

//#define _GLIBCXX_DEBUG

#include<bits/stdc++.h>
using namespace std;

#define endl '\n'
#define lfs cout<<fixed<<setprecision(10)
#define ALL(a)  (a).begin(),(a).end()
#define ALLR(a)  (a).rbegin(),(a).rend()
#define UNIQUE(a) (a).erase(unique((a).begin(),(a).end()),(a).end())
#define spa << " " <<
#define fi first
#define se second
#define MP make_pair
#define MT make_tuple
#define PB push_back
#define EB emplace_back
#define rep(i,n,m) for(ll i = (n); i < (ll)(m); i++)
#define rrep(i,n,m) for(ll i = (ll)(m) - 1; i >= (ll)(n); i--)
using ll = long long;
using ld = long double;
const ll MOD1 = 1e9+7;
const ll MOD9 = 998244353;
const ll INF = 1e18;
using P = pair<ll, ll>;
template<typename T> using PQ = priority_queue<T>;
template<typename T> using QP = priority_queue<T,vector<T>,greater<T>>;
template<typename T1, typename T2>bool chmin(T1 &a,T2 b){if(a>b){a=b;return true;}else return false;}
template<typename T1, typename T2>bool chmax(T1 &a,T2 b){if(a<b){a=b;return true;}else return false;}
ll median(ll a,ll b, ll c){return a+b+c-max({a,b,c})-min({a,b,c});}
void ans1(bool x){if(x) cout<<"Yes"<<endl;else cout<<"No"<<endl;}
void ans2(bool x){if(x) cout<<"YES"<<endl;else cout<<"NO"<<endl;}
void ans3(bool x){if(x) cout<<"Yay!"<<endl;else cout<<":("<<endl;}
template<typename T1,typename T2>void ans(bool x,T1 y,T2 z){if(x)cout<<y<<endl;else cout<<z<<endl;}  
template<typename T1,typename T2,typename T3>void anss(T1 x,T2 y,T3 z){ans(x!=y,x,z);};  
template<typename T>void debug(const T &v,ll h,ll w,string sv=" "){for(ll i=0;i<h;i++){cout<<v[i][0];for(ll j=1;j<w;j++)cout<<sv<<v[i][j];cout<<endl;}};
template<typename T>void debug(const T &v,ll n,string sv=" "){if(n!=0)cout<<v[0];for(ll i=1;i<n;i++)cout<<sv<<v[i];cout<<endl;};
template<typename T>void debug(const vector<T>&v){debug(v,v.size());}
template<typename T>void debug(const vector<vector<T>>&v){for(auto &vv:v)debug(vv,vv.size());}
template<typename T>void debug(stack<T> st){while(!st.empty()){cout<<st.top()<<" ";st.pop();}cout<<endl;}
template<typename T>void debug(queue<T> st){while(!st.empty()){cout<<st.front()<<" ";st.pop();}cout<<endl;}
template<typename T>void debug(deque<T> st){while(!st.empty()){cout<<st.front()<<" ";st.pop_front();}cout<<endl;}
template<typename T>void debug(PQ<T> st){while(!st.empty()){cout<<st.top()<<" ";st.pop();}cout<<endl;}
template<typename T>void debug(QP<T> st){while(!st.empty()){cout<<st.top()<<" ";st.pop();}cout<<endl;}
template<typename T>void debug(const set<T>&v){for(auto z:v)cout<<z<<" ";cout<<endl;}
template<typename T>void debug(const multiset<T>&v){for(auto z:v)cout<<z<<" ";cout<<endl;}
template<typename T,size_t size>void debug(const array<T, size> &a){for(auto z:a)cout<<z<<" ";cout<<endl;}
template<typename T,typename V>void debug(const map<T,V>&v){for(auto z:v)cout<<"["<<z.first<<"]="<<z.second<<",";cout<<endl;}
template<typename T>vector<vector<T>>vec(ll x, ll y, T w){vector<vector<T>>v(x,vector<T>(y,w));return v;}
ll gcd(ll x,ll y){ll r;while(y!=0&&(r=x%y)!=0){x=y;y=r;}return y==0?x:y;}
vector<ll>dx={1,-1,0,0,1,1,-1,-1};vector<ll>dy={0,0,1,-1,1,-1,1,-1};
template<typename T>vector<T> make_v(size_t a,T b){return vector<T>(a,b);}
template<typename... Ts>auto make_v(size_t a,Ts... ts){return vector<decltype(make_v(ts...))>(a,make_v(ts...));}
template<typename T1, typename T2>ostream &operator<<(ostream &os, const pair<T1, T2>&p){return os << p.first << " " << p.second;}
template<typename T>ostream &operator<<(ostream &os, const vector<T> &v){for(auto &z:v)os << z << " ";os<<"|"; return os;}
template<typename T>void rearrange(vector<int>&ord, vector<T>&v){
  auto tmp = v;
  for(int i=0;i<tmp.size();i++)v[i] = tmp[ord[i]];
}
template<typename Head, typename... Tail>void rearrange(vector<int>&ord,Head&& head, Tail&&... tail){
  rearrange(ord, head);
  rearrange(ord, tail...);
}
template<typename T> vector<int> ascend(const vector<T>&v){
  vector<int>ord(v.size());iota(ord.begin(),ord.end(),0);
  sort(ord.begin(),ord.end(),[&](int i,int j){return make_pair(v[i],i)<make_pair(v[j],j);});
  return ord;
}
template<typename T> vector<int> descend(const vector<T>&v){
  vector<int>ord(v.size());iota(ord.begin(),ord.end(),0);
  sort(ord.begin(),ord.end(),[&](int i,int j){return make_pair(v[i],-i)>make_pair(v[j],-j);});
  return ord;
}
template<typename T> vector<T> inv_perm(const vector<T>&ord){
  vector<T>inv(ord.size());
  for(int i=0;i<ord.size();i++)inv[ord[i]] = i;
  return inv;
}
ll FLOOR(ll n,ll div){assert(div>0);return n>=0?n/div:(n-div+1)/div;}
ll CEIL(ll n,ll div){assert(div>0);return n>=0?(n+div-1)/div:n/div;}
ll digitsum(ll n){ll ret=0;while(n){ret+=n%10;n/=10;}return ret;}
ll modulo(ll n,ll d){return (n%d+d)%d;};
template<typename T>T min(const vector<T>&v){return *min_element(v.begin(),v.end());}
template<typename T>T max(const vector<T>&v){return *max_element(v.begin(),v.end());}
template<typename T>T acc(const vector<T>&v){return accumulate(v.begin(),v.end(),T(0));};
template<typename T>T reverse(const T &v){return T(v.rbegin(),v.rend());};
//mt19937 mt(chrono::steady_clock::now().time_since_epoch().count());
int popcount(ll x){return __builtin_popcountll(x);};
int poplow(ll x){return __builtin_ctzll(x);};
int pophigh(ll x){return 63 - __builtin_clzll(x);};
template<typename T>T poll(queue<T> &q){auto ret=q.front();q.pop();return ret;};
template<typename T>T poll(priority_queue<T> &q){auto ret=q.top();q.pop();return ret;};
template<typename T>T poll(QP<T> &q){auto ret=q.top();q.pop();return ret;};
template<typename T>T poll(stack<T> &s){auto ret=s.top();s.pop();return ret;};
ll MULT(ll x,ll y){if(LLONG_MAX/x<=y)return LLONG_MAX;return x*y;}
ll POW2(ll x, ll k){ll ret=1,mul=x;while(k){if(mul==LLONG_MAX)return LLONG_MAX;if(k&1)ret=MULT(ret,mul);mul=MULT(mul,mul);k>>=1;}return ret;}
ll POW(ll x, ll k){ll ret=1;for(int i=0;i<k;i++){if(LLONG_MAX/x<=ret)return LLONG_MAX;ret*=x;}return ret;}
template< typename T = int >
struct edge {
  int to;
  T cost;
  int id;
  edge():id(-1){};
  edge(int to, T cost = 1, int id = -1):to(to), cost(cost), id(id){}
  operator int() const { return to; }
};

template<typename T>
using Graph = vector<vector<edge<T>>>;
template<typename T>
Graph<T>revgraph(const Graph<T> &g){
  Graph<T>ret(g.size());
  for(int i=0;i<g.size();i++){
    for(auto e:g[i]){
      int to = e.to;
      e.to = i;
      ret[to].push_back(e);
    }
  }
  return ret;
}
template<typename T>
Graph<T> readGraph(int n,int m,int indexed=1,bool directed=false,bool weighted=false){
  Graph<T> ret(n);
  for(int es = 0; es < m; es++){
    int u,v;
    T w=1;
    cin>>u>>v;u-=indexed,v-=indexed;
    if(weighted)cin>>w;
    ret[u].emplace_back(v,w,es);
    if(!directed)ret[v].emplace_back(u,w,es);
  }
  return ret;
}
template<typename T>
Graph<T> readParent(int n,int indexed=1,bool directed=true){
  Graph<T>ret(n);
  for(int i=1;i<n;i++){
    int p;cin>>p;
    p-=indexed;
    ret[p].emplace_back(i);
    if(!directed)ret[i].emplace_back(p);
  }
  return ret;
}
using I = long long;
struct Point{
  I x, y;
  Point(): x(0), y(0){}
  Point(I x,I y):x(x),y(y){}
  Point &operator+=(const Point &p){
    x += p.x, y += p.y;
    return *this;
  }
  Point &operator-=(const Point &p){
    x -= p.x, y -= p.y;
    return *this;
  }
  Point &operator*=(I v){
    x *= v, y *= v;
    return *this;
  }
  Point &operator/=(I v){
    assert(x % v == 0 && y % v == 0);
    x /= v, y /= v;
    return *this;
  }
  friend Point operator+(const Point &l, const Point &r){
    return Point(l) += r;
  }
  friend Point operator-(const Point &l, const Point &r){
    return Point(l) -= r;
  }
  friend Point operator*(const Point &l, I r){
    return Point(l) *= r;
  }
  friend Point operator/(const Point &l, I r){
    return Point(l) /= r;
  }
  bool operator<(const Point &p)const{
    if(x == p.x)return y < p.y;
    return x < p.x;
  }
  bool operator>(const Point &p) const{
    if(x == p.x)return y > p.y;
    return x > p.x;
  }
  bool operator==(const Point &p)const{return x == p.x && y == p.y;}
  bool operator!=(const Point &p)const{return x != p.x || y != p.y;}
  friend ostream &operator<<(ostream &os, const Point &p) {
    return os << "(" << p.x << "," << p.y << ")";
  }
  friend istream &operator>>(istream &is, Point &p) {
    is >> p.x >> p.y;
    return (is);
  }
  
};

struct Line{
  Point a,b;
  Line() = default;
  Line(Point a, Point b) : a(a), b(b){}
};

I norm(const Point &p){
  return p.x * p.x + p.y * p.y;
}

I dot(const Point &a, const Point &b){
  return a.x * b.x + a.y * b.y;
}

I cross(const Point &a, const Point &b){
  return a.x * b.y - a.y * b.x;
}

I distance(const Point &a, const Point &b){
  return norm(a - b);
}
I area(const Point &a,const Point &b,const Point &c){
  return abs(cross(b-a,c-a));
}
constexpr int COUNTER_CLOCKWISE = +1;
constexpr int CLOCKWISE = -1;
constexpr int ONLINE_BACK = +2; // c-a-b
constexpr int ONLINE_FRONT = -2; // a-b-c
constexpr int ON_SEGMENT = 0; // a-c-b

int ccw(const Point &a, Point b, Point c) {
  b = b - a, c = c - a;
  if(cross(b, c) > 0) return COUNTER_CLOCKWISE;
  if(cross(b, c) < 0) return CLOCKWISE;
  if(dot(b, c) < 0) return ONLINE_BACK;
  if(norm(b) < norm(c)) return ONLINE_FRONT;
  return ON_SEGMENT;
}

bool parallel(const Line &a, const Line &b){
  return cross(a.b - a.a, b.b - b.a) == 0;
}

bool orthogonal(const Line &a, const Line &b){
  return dot(a.a - a.b, b.a - b.b) == 0;
}

bool argument_compare(Point a, Point b){
  if(a.x == 0 && a.y == 0)a.x = 1;
  if(b.x == 0 && b.y == 0)b.x = 1;
  if(a.y < 0 && b.y >= 0){
    return true;
  }
  else if(a.y >= 0 && b.y < 0){
    return false;
  }
  else if(a.y == 0 && b.y == 0){
    return a.x >= 0 && b.x < 0;
  }
  return cross(a, b) > 0;
}

vector<Point>convex_hull(const vector<Point>&points, bool onEdge = false){
  int n = points.size(), k = 0;
  auto p = points;
  const I limit = onEdge ? 0 : 1;
  if(n <= 2)return p;
  sort(p.begin(), p.end());
  vector<Point> ch(2 * n);
  for(int i = 0; i < n; ch[k++] = p[i++]) {
    while(k >= 2 && cross(ch[k - 1] - ch[k - 2], p[i] - ch[k - 1]) < limit) --k;
  }
  for(int i = n - 2, t = k + 1; i >= 0; ch[k++] = p[i--]) {
    while(k >= t && cross(ch[k - 1] - ch[k - 2], p[i] - ch[k - 1]) < limit) --k;
  }
  ch.resize(k - 1);
  return ch;
}
vector<Point>lower_convex_hull(const vector<Point>&points, bool onEdge = false){
  int n = points.size(), k = 0;
  auto p = points;
  const I limit = onEdge ? 0 : 1;
  if(n <= 2)return p;
  sort(p.begin(), p.end());
  vector<Point> ch(2 * n);
  for(int i = 0; i < n; ch[k++] = p[i++]) {
    while(k >= 2 && cross(ch[k - 1] - ch[k - 2], p[i] - ch[k - 1]) < limit) --k;
  }
  ch.resize(k);
  return ch;
}
//各b_jに対して、cross(a_i,b_j)の最大値を求める
vector<I>get_cross_max(vector<Point>a,vector<Point>b){
  a = convex_hull(a, false);
  vector<int>ord(b.size());
  iota(ord.begin(),ord.end(),0);
  sort(ord.begin(),ord.end(),[&](int i,int j){return argument_compare(b[i],b[j]);});
  vector<I>ret(b.size());
  if(norm(b[ord[0]]) == 0 && norm(b[ord.back()]) == 0){
    return ret;
  }
  int start = 0;
  while(norm(b[ord[start]]) == 0)start++; 
  int max_arg = 0;
  for(int i = 1; i < a.size(); i++){
    if(cross(a[max_arg], b[ord[start]]) < cross(a[i], b[ord[start]])){
      max_arg = i;
    }
  }
  for(auto i:ord){
    while(1){
      I c0 = cross(a[(max_arg == 0 ? a.size() - 1 : max_arg - 1)],b[i]);
      I c1 = cross(a[max_arg],b[i]);
      I c2 = cross(a[(max_arg == a.size() - 1 ? 0 : max_arg + 1)],b[i]);
      if(c0 <= c1 && c1 >= c2)break;
      max_arg++;
      if(max_arg >= a.size())max_arg -= a.size();
    }
    ret[i] = cross(a[max_arg], b[i]);
  }
  return ret;
}
vector<I>get_cross_min(vector<Point>a,vector<Point>b){
  for(auto &p:b)p *= -1;
  auto ret = get_cross_max(a, b);
  for(auto &r:ret)r *= -1;
  return ret;
}
vector<I>get_dot_max(vector<Point>a,vector<Point>b){
  for(auto &p:b){
    p = Point(-p.y, p.x);
  }
  auto ret=get_cross_max(a,b);
  return ret;
}

// 多角形と点の包含判定
enum {
  OUT, ON, IN
};
using Polygon=vector<Point>;
int contains(const Polygon &Q, const Point &p) {
  bool in = false;
  for(int i = 0; i < Q.size(); i++) {
    Point a = Q[i] - p, b = Q[(i + 1) % Q.size()] - p;
    if(a.y > b.y) swap(a, b);
    if(a.y <= 0 && 0 < b.y && cross(a, b) < 0) in = !in;
    if(cross(a, b) == 0 && dot(a, b) <= 0) return ON;
  }
  return in ? IN : OUT;
}

bool segment_intersect(const Line &s, const Line &t) {
  return ccw(s.a, s.b, t.a) * ccw(s.a, s.b, t.b) <= 0 && ccw(t.a, t.b, s.a) * ccw(t.a, t.b, s.b) <= 0;
}

bool segmnent_point_intersect(const Line &s, const Point &p) {
  return ccw(s.a, s.b, p) == 0;
}


int main(){
  cin.tie(nullptr);
  ios_base::sync_with_stdio(false);
  ll res=0,buf=0;
  bool judge = true;
  int n,k;cin>>n>>k;
  vector<vector<Point>>p(2);
  rep(i,0,n){
    int x,y,c;cin>>x>>y>>c;c--;
    p[c].EB(x,y);
  }
  bool sw=false;
  if(k>=4){
    auto q=p;
    rep(i,0,2){ 
      if(q[i].size()>=3)q[i]=convex_hull(q[i],false);
    }
    
    rep(i,0,q[0].size())rep(j,0,q[1].size()){
      Line x(q[0][i],q[0][(i+1)%q[0].size()]);
      Line y(q[1][j],q[1][(j+1)%q[1].size()]);
      if(q[0].size()>=2&&q[1].size()>=2&&segment_intersect(x,y)){
        sw=true;
      }
      if(q[0].size()>=2&&segmnent_point_intersect(x,q[1][j]))sw=true;
      if(q[1].size()>=2&&segmnent_point_intersect(y,q[0][i]))sw=true;
    }
    if(q[0].size()>=3){
      rep(i,0,q[1].size())if(contains(q[0],q[1][i]))sw=true;
    }
    if(q[1].size()>=3){
      rep(i,0,q[0].size())if(contains(q[1],q[0][i]))sw=true;
    }
  }
  else{
    ll inf=3e9;
    rep(_,0,2){
      rep(i,0,p[0].size()){
        set<ll>st;
        rep(j,0,p[1].size()){
          ll dx=p[1][j].x-p[0][i].x;
          ll dy=p[1][j].y-p[0][i].y;
          ll g=abs(gcd(dx,dy));
          dx/=g;dy/=g;
          //cout<<i spa j spa dx spa dy<<endl;
          ll val=dx*inf+dy;
          if(st.count(-val)){
            sw=true;
          }
          st.insert(val);
        }
      }
      swap(p[0],p[1]);
    }
  }
  ans1(sw);
  return 0;
}
0