結果

問題 No.2056 非力なレッド
ユーザー oshamashamaoshamashama
提出日時 2022-08-26 21:31:56
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,371 bytes
コンパイル時間 1,816 ms
コンパイル使用メモリ 171,116 KB
実行使用メモリ 6,528 KB
最終ジャッジ日時 2024-10-13 21:57:59
合計ジャッジ時間 4,694 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 WA -
testcase_07 WA -
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 WA -
testcase_11 AC 2 ms
5,248 KB
testcase_12 WA -
testcase_13 AC 55 ms
5,248 KB
testcase_14 AC 54 ms
5,248 KB
testcase_15 AC 54 ms
5,248 KB
testcase_16 AC 7 ms
5,248 KB
testcase_17 AC 38 ms
5,248 KB
testcase_18 AC 4 ms
5,248 KB
testcase_19 AC 8 ms
5,248 KB
testcase_20 AC 64 ms
5,504 KB
testcase_21 AC 14 ms
5,248 KB
testcase_22 AC 54 ms
5,376 KB
testcase_23 WA -
testcase_24 AC 27 ms
5,248 KB
testcase_25 AC 67 ms
5,632 KB
testcase_26 AC 72 ms
5,888 KB
testcase_27 AC 68 ms
5,760 KB
testcase_28 AC 84 ms
6,272 KB
testcase_29 AC 84 ms
6,400 KB
testcase_30 AC 84 ms
6,272 KB
testcase_31 AC 84 ms
6,400 KB
testcase_32 AC 84 ms
6,400 KB
testcase_33 AC 84 ms
6,528 KB
testcase_34 WA -
testcase_35 AC 84 ms
6,400 KB
testcase_36 AC 84 ms
6,400 KB
testcase_37 WA -
testcase_38 AC 2 ms
5,248 KB
testcase_39 AC 2 ms
5,248 KB
testcase_40 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

const long long INF = 1e9;
// const long long MOD = 1e9 + 7;
const long long MOD = 998244353;
const long long LINF = 1e18;
using namespace std;

#define YES(n) cout << ((n) ? "YES" : "NO") << endl
#define Yes(n) cout << ((n) ? "Yes" : "No") << endl
#define POSSIBLE(n) cout << ((n) ? "POSSIBLE" : "IMPOSSIBLE") << endl
#define Possible(n) cout << ((n) ? "Possible" : "Impossible") << endl
#define dump(x) cout << #x << " = " << (x) << endl
#define FOR(i, a, b) for (int i = (a); i < (b); ++i)
#define REP(i, n) for (int i = 0; i < (n); ++i)
#define REPR(i, n) for (int i = n; i >= 0; i--)
#define COUT(x) cout << (x) << endl
#define SCOUT(x) cout << (x) << " "
#define VECCOUT(x)                              \
  for (auto &youso_ : (x))                      \
    cout << right << setw(10) << youso_ << " "; \
  cout << endl
#define ENDL cout << endl
#define CIN(...)   \
  int __VA_ARGS__; \
  CINT(__VA_ARGS__)
#define LCIN(...)        \
  long long __VA_ARGS__; \
  CINT(__VA_ARGS__)
#define SCIN(...)     \
  string __VA_ARGS__; \
  CINT(__VA_ARGS__)
#define VECCIN(x)          \
  for (auto &youso_ : (x)) \
  cin >> youso_
#define mp make_pair
#define PQ priority_queue<long long>
#define PQG priority_queue<long long, V, greater<long long>>

typedef long long ll;
typedef vector<long long> vl;
typedef vector<long long> vi;
typedef vector<bool> vb;
typedef vector<char> vc;
typedef vector<vl> vvl;
typedef vector<vi> vvi;
typedef vector<vb> vvb;
typedef vector<vc> vvc;
typedef pair<long long, long long> pll;

#define COUT(x) cout << (x) << endl
void CINT()
{
}
template <class Head, class... Tail>
void CINT(Head &&head, Tail &&...tail)
{
  cin >> head;
  CINT(move(tail)...);
}
template <class T>
void mod(T &x)
{
  x %= MOD;
  x += MOD;
  x %= MOD;
}

ll GCD(ll a, ll b)
{
  if (b == 0)
    return a;
  else
    return GCD(b, a % b);
}

struct COMB
{
  vl fact, fact_inv, inv;
  void init_nCk(long long SIZE)
  {
    fact.resize(SIZE + 5);
    fact_inv.resize(SIZE + 5);
    inv.resize(SIZE + 5);
    fact.at(0) = fact.at(1) = fact_inv.at(0) = fact_inv.at(1) = inv.at(1) = 1;
    for (long long i = 2; i < SIZE + 5; i++)
    {
      fact.at(i) = fact.at(i - 1) * i % MOD;
      inv.at(i) = MOD - inv.at(MOD % i) * (MOD / i) % MOD;
      fact_inv.at(i) = fact_inv.at(i - 1) * inv.at(i) % MOD;
    }
  }
  long long nCk(long long n, long long k)
  {
    assert(!(n < k));
    assert(!(n < 0 || k < 0));
    return fact.at(n) * (fact_inv.at(k) * fact_inv.at(n - k) % MOD) % MOD;
  }
};
ll extGCD(ll a, ll b, ll &x, ll &y)
{
  if (b == 0)
  {
    x = 1;
    y = 0;
    return a;
  }
  ll d = extGCD(b, a % b, y, x);
  y -= a / b * x;
  return d;
}

void Main()
{
  LCIN(N, X, M);
  vl A(N);
  VECCIN(A);
  // vl l(50, 1);
  // for (int i = 0; i < 49; i++)
  // {
  //   l.at(48 - i) = X;
  //   X = min(2 * X, MOD);
  // }
  // ll ans = 0;
  // VECCOUT(l);
  vl B(N, 0);
  for (int i = 0; i < N; i++)
  {
    while (A.at(i) >= X)
    {
      A.at(i) /= 2;
      B.at(i)++;
    }
    // dump(M);
  }
  reverse(B.begin(), B.end());
  ll ans = 0;
  for (int i = 0; i < N; i++)
  {
    if (ans < B.at(i))
      M -= N - i;
    ans = max(ans, B.at(i));
    B.at(i) = ans;
  }
  if (M >= 0)
  {
    cout << "Yes" << endl;
  }
  else
  {
    cout << "No" << endl;
  }
}

int main()
{
  cout << fixed << setprecision(15);
  Main();
  return 0;
}
0