結果

問題 No.2836 Comment Out
ユーザー get_tanniget_tanni
提出日時 2024-08-09 21:33:30
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,742 bytes
コンパイル時間 7,812 ms
コンパイル使用メモリ 351,416 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-08-09 21:33:43
合計ジャッジ時間 12,368 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 3 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 33 ms
6,944 KB
testcase_08 AC 35 ms
6,940 KB
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 AC 97 ms
6,940 KB
testcase_15 AC 91 ms
6,944 KB
testcase_16 AC 90 ms
6,940 KB
testcase_17 WA -
testcase_18 AC 98 ms
6,940 KB
testcase_19 WA -
testcase_20 AC 88 ms
6,940 KB
testcase_21 AC 91 ms
6,940 KB
testcase_22 WA -
testcase_23 WA -
testcase_24 AC 45 ms
6,944 KB
testcase_25 AC 60 ms
6,940 KB
testcase_26 AC 26 ms
6,940 KB
testcase_27 AC 69 ms
6,940 KB
testcase_28 AC 53 ms
6,940 KB
testcase_29 AC 61 ms
6,940 KB
testcase_30 AC 36 ms
6,944 KB
testcase_31 AC 60 ms
6,940 KB
testcase_32 AC 20 ms
6,944 KB
testcase_33 AC 40 ms
6,944 KB
testcase_34 AC 26 ms
6,940 KB
testcase_35 AC 72 ms
6,940 KB
testcase_36 AC 34 ms
6,940 KB
testcase_37 AC 70 ms
6,940 KB
testcase_38 AC 54 ms
6,940 KB
testcase_39 AC 46 ms
6,944 KB
testcase_40 AC 46 ms
6,940 KB
testcase_41 AC 60 ms
6,944 KB
testcase_42 AC 60 ms
6,940 KB
testcase_43 AC 19 ms
6,940 KB
testcase_44 AC 2 ms
6,940 KB
testcase_45 WA -
testcase_46 AC 2 ms
6,940 KB
testcase_47 WA -
testcase_48 AC 2 ms
6,944 KB
testcase_49 AC 2 ms
6,944 KB
testcase_50 WA -
testcase_51 WA -
testcase_52 WA -
testcase_53 AC 2 ms
6,944 KB
testcase_54 AC 2 ms
6,944 KB
testcase_55 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

#include <bits/stdc++.h>
#include <atcoder/all>

using std::cout; using namespace std; using ll=long long; using ld=long double; using P=array<ll,2>;
#define rep(i,n) for (ll i=0,siz=(n);i<siz;i++)
#define rep2(i,a,b) for (ll i=(a),siz=(b);i<siz;i++)
#define repd(i,a,b) for (ll i=(a),siz=(b);i>=siz;i--)
#define popcount __builtin_popcountll
#define cin(a) ll a; cin >> a;
#define cin2(a,b) ll a,b; cin >> a >> b;
#define cin3(a,b,c) ll a,b,c; cin >> a >> b >> c;
#define cinvec(v) vector<ll> v(N); rep(i,N) cin >> v[i];
#define cinvec2(v,n) vector<ll> v(n); rep(i,n) cin >> v[i];
#define cins(s) string s; cin >> s;
#define cinc(c) char c; cin >> c;
#define seg_RaRmax atcoder::lazy_segtree<ll, [&](ll a, ll b){ return max(a,b);},[&](){return 0;},ll,[&](ll m, ll n){ return m+n;}, [&](ll a, ll b){return a+b;},[&](){return 0;}>
#define seg_RaRsum atcoder::lazy_segtree<array<ll,2>, [&](array<ll,2> a, array<ll,2> b){ return array<ll,2>{a[0]+b[0],a[1]+b[1]};},[&](){return array<ll,2>{0,0};},ll,[&](ll m, array<ll,2> n){ return array<ll,2>{m[0]+n*m[1],m[1]};}, [&](ll a, ll b){return a+b;},[&](){return 0;}>
vector<ll> dx = {0,-1,0,1},dy = {1,0,-1,0}, ddx = {0,-1,-1,-1,0,1,1,1}, ddy = {1,1,0,-1,-1,-1,0,1};
void yesno(bool b) {cout << (b?"Yes":"No") << endl;}
template<class T> void sortunique(vector<T> &V) {sort(V.begin(), V.end()); V.erase(unique(V.begin(), V.end()), V.end());}
template<typename T> void outvec(const std::initializer_list<T>& list) { bool first = true; for (const auto& elem : list) 
{ if (!first) std::cout << " "; std::cout << elem; first = false; } std::cout << std::endl; }
template<typename T> void outvec(const std::vector<T>& vec) { bool first = true; for (const auto& elem : vec) 
{ if (!first) std::cout << " "; std::cout << elem; first = false; } std::cout << std::endl; }
template<typename T, size_t N> void outvecp(const std::vector<std::array<T,N>>& vec) { bool first = true; for (const auto& elem : vec) 
{ if (!first) std::cout << " "; for (int i = 0; i < N; i++) std::cout << elem[i] << " "; first = false; } std::cout << std::endl; }
vector<ll> compress(vector<ll> &A){vector<ll> B = A; sortunique(B); rep(i,A.size()) A[i] = lower_bound(B.begin(),B.end(),A[i]) - B.begin(); return B;}
ll bs(ll l, ll r, function<bool(ll)> f) { while (r-l > 1) { ll m = (l+r)/2; if (f(m)) r = m; else l = m; } return r; }
ll msb(ll N) { assert(N>0); return 63 - __builtin_clzll(N); }


int main() {
    cin(N); cinvec(A);
    sort(A.begin(),A.end(),greater<ll>());
    rep(i,N){
        if (A[i] > (N-i)) {
            cout << "No" << endl;
            return 0;
        }
    }

    cout << "Yes" << endl;
    
    return 0;
}
0