結果
問題 | No.1242 高橋君とすごろく |
ユーザー | gold_fish0831 |
提出日時 | 2020-10-02 21:53:46 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
TLE
|
実行時間 | - |
コード長 | 10,433 bytes |
コンパイル時間 | 1,844 ms |
コンパイル使用メモリ | 185,176 KB |
実行使用メモリ | 13,756 KB |
最終ジャッジ日時 | 2024-07-16 04:53:14 |
合計ジャッジ時間 | 5,418 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
13,756 KB |
testcase_01 | AC | 2 ms
6,940 KB |
testcase_02 | AC | 2 ms
6,940 KB |
testcase_03 | AC | 1 ms
6,940 KB |
testcase_04 | AC | 2 ms
6,940 KB |
testcase_05 | AC | 2 ms
6,940 KB |
testcase_06 | AC | 1 ms
6,940 KB |
testcase_07 | AC | 1 ms
6,944 KB |
testcase_08 | AC | 1 ms
6,940 KB |
testcase_09 | AC | 1 ms
6,940 KB |
testcase_10 | TLE | - |
testcase_11 | -- | - |
testcase_12 | -- | - |
testcase_13 | -- | - |
testcase_14 | -- | - |
testcase_15 | -- | - |
testcase_16 | -- | - |
testcase_17 | -- | - |
testcase_18 | -- | - |
testcase_19 | -- | - |
testcase_20 | -- | - |
testcase_21 | -- | - |
testcase_22 | -- | - |
testcase_23 | -- | - |
testcase_24 | -- | - |
testcase_25 | -- | - |
testcase_26 | -- | - |
testcase_27 | -- | - |
コンパイルメッセージ
main.cpp:431:33: warning: integer constant is too large for its type 431 | auto it = S.lower_bound(100000000000000000000LL); | ^~~~~~~~~~~~~~~~~~~~~~~
ソースコード
#include <bits/stdc++.h> #include <stdio.h> #include <iostream> #include <cstdio> #include <bitset> #include <algorithm> #include <vector> #include <list> #include <queue> #include <stack> #include <string> #include <string.h> #include <cmath> #include <utility> #include <functional> #include <map> #include <set> #include <cctype> #include <fstream> #include <numeric> #include <iomanip> #include <cstring> using namespace std; using ll = long long; #define ALL(a) (a).begin(), (a).end() #define FOR(i, a, b) for (long long int i = (a); i <= (b); i++) #define RFOR(i, a, b) for (long long int i = (a); i >= (b); i--) //#define MOD 1000000007 const int MOD = 1000000007; //const int MOD = 998244353; #define LLONG_MAXs 9223372036854775800 / 2 //#define bit(n, k) ((n >> k) & 1) /*nのk bit目*/ #define ALL(a) (a).begin(), (a).end() #include <iostream> #include <cmath> using namespace std; bool isPrimeNum(ll x) { // 素数である場合 true を返す if (x <= 1) { // 1以下である場合は素数でないことがすぐにわかる return false; } // sqrt( double型 ) は引数の平方根を double型で返すので、int型でキャスト int n = (int)sqrt((double)x); for (int i = 2; i <= n; i++) { if (x % i == 0) { // 割り切る整数がある場合、即判定終了 return false; } } return true; // 割り切る整数がない場合、素数である } ll myPow(ll x, ll n, ll m) { if (n == 0) return 1; if (n % 2 == 0) return myPow(x * x % m, n / 2, m); else return x * myPow(x, n - 1, m) % m; } constexpr ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; } constexpr ll lcm(ll a, ll b) { return a * b / gcd(a, b); } constexpr ll abs(ll a, ll b) { if (a >= b) return a - b; if (a < b) return b - a; } constexpr double dabs(double a, double b) { if (a >= b) return a - b; if (a < b) return b - a; } constexpr ll min(ll a, ll b) { if (a >= b) return b; if (a < b) return a; } constexpr ll max(ll a, ll b) { if (a >= b) return a; if (a < b) return b; } constexpr double maxd(double a, double b) { if (a >= b) return a; if (a < b) return b; } int dx[4] = {1, 0, -1, 0}; int dy[4] = {0, 1, 0, -1}; int dx8[8] = {1, 0, -1, 0, 1, -1, 1, -1}; int dy8[8] = {0, 1, 0, -1, 1, 1, -1, -1}; class UnionFind { public: //親の番号を格納する。親だった場合は-(その集合のサイズ) vector<int> Parent; //作るときはParentの値を全て-1にする //こうすると全てバラバラになる UnionFind(int N) { Parent = vector<int>(N, -1); } //Aがどのグループに属しているか調べる int root(int A) { if (Parent[A] < 0) return A; return Parent[A] = root(Parent[A]); } //自分のいるグループの頂点数を調べる int size(int A) { return -Parent[root(A)]; //親をとってきたい] } bool issame(int x, int y) { return root(x) == root(y); } //AとBをくっ付ける bool connect(int A, int B) { //AとBを直接つなぐのではなく、root(A)にroot(B)をくっつける A = root(A); B = root(B); if (A == B) { //すでにくっついてるからくっ付けない return false; } //大きい方(A)に小さいほう(B)をくっ付けたい //大小が逆だったらひっくり返しちゃう。 if (size(A) < size(B)) swap(A, B); //Aのサイズを更新する Parent[A] += Parent[B]; //Bの親をAに変更する Parent[B] = A; return true; } }; long long fac[1010000], finv[1010000], inv[1010000]; // テーブルを作る前処理 void COMinit() { fac[0] = fac[1] = 1; finv[0] = finv[1] = 1; inv[1] = 1; for (int i = 2; i < 1010000; i++) { fac[i] = fac[i - 1] * i % MOD; inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD; finv[i] = finv[i - 1] * inv[i] % MOD; } } // 二項係数計算 long long COM(int n, int k) { if (n < k) return 0; if (n < 0 || k < 0) return 0; return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD; } long long modinv(long long a, long long m) { long long b = m, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } u %= m; if (u < 0) u += m; return u; } void yn(bool flag) { if (flag) { cout << "Yes" << endl; } else { cout << "No" << endl; } return; } void YN(bool flag) { if (flag) { cout << "YES" << endl; } else { cout << "NO" << endl; } return; } std::vector<ll> enum_div(ll n) //nの約数を列挙 { std::vector<ll> ret; for (ll i = 1; i * i <= n; ++i) { if (n % i == 0) { ret.push_back(i); if (i != 1 && i * i != n) { ret.push_back(n / i); } } } ret.push_back(n); return ret; } // modint: mod 計算を int を扱うように扱える構造体 template <int MOD> struct Fp { long long val; constexpr Fp(long long v = 0) noexcept : val(v % MOD) { if (val < 0) val += MOD; } constexpr int getmod() { return MOD; } constexpr Fp operator-() const noexcept { return val ? MOD - val : 0; } constexpr Fp operator+(const Fp &r) const noexcept { return Fp(*this) += r; } constexpr Fp operator-(const Fp &r) const noexcept { return Fp(*this) -= r; } constexpr Fp operator*(const Fp &r) const noexcept { return Fp(*this) *= r; } constexpr Fp operator/(const Fp &r) const noexcept { return Fp(*this) /= r; } constexpr Fp &operator+=(const Fp &r) noexcept { val += r.val; if (val >= MOD) val -= MOD; return *this; } constexpr Fp &operator-=(const Fp &r) noexcept { val -= r.val; if (val < 0) val += MOD; return *this; } constexpr Fp &operator*=(const Fp &r) noexcept { val = val * r.val % MOD; return *this; } constexpr Fp &operator/=(const Fp &r) noexcept { long long a = r.val, b = MOD, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } val = val * u % MOD; if (val < 0) val += MOD; return *this; } constexpr bool operator==(const Fp &r) const noexcept { return this->val == r.val; } constexpr bool operator!=(const Fp &r) const noexcept { return this->val != r.val; } friend constexpr ostream &operator<<(ostream &os, const Fp<MOD> &x) noexcept { return os << x.val; } friend constexpr Fp<MOD> modpow(const Fp<MOD> &a, long long n) noexcept { if (n == 0) return 1; auto t = modpow(a, n / 2); t = t * t; if (n & 1) t = t * a; return t; } }; using mint = Fp<MOD>; // グラフセット struct Edge { ll to; // 辺の行き先 double weight; // 辺の重み Edge(int t, double w) : to(t), weight(w) {} }; //using Graph = vector<vector<Edge>>; #define def 0 template <class V, int NV> struct SegTree { //[l,r) V comp(V &l, V &r) { return max(l, r); }; vector<V> val; SegTree() { val = vector<V>(NV * 2, def); } V get(int x, int y, int l = 0, int r = NV, int k = 1) { if (r <= x || y <= l) return def; if (x <= l && r <= y) return val[k]; auto a = get(x, y, l, (l + r) / 2, k * 2); auto b = get(x, y, (l + r) / 2, r, k * 2 + 1); return comp(a, b); } void update(int i, V v) { i += NV; val[i] = v; while (i > 1) i >>= 1, val[i] = comp(val[i * 2], val[i * 2 + 1]); } void add(int i, V v) { update(i, val[i + NV] + v); } V operator[](int x) { return get(x, x + 1); } }; typedef vector<vector<long long>> matrix; matrix mul_mod(matrix A, matrix B) { int H = A.size(); int W = B[0].size(); int K = A[0].size(); matrix C(H, vector<ll>(W, 0)); for (int i = 0; i < H; i++) { for (int j = 0; j < W; j++) { for (int k = 0; k < K; k++) { C[i][j] += A[i][k] * B[k][j]; C[i][j] %= MOD; } } } return C; } matrix pow_mod_matrix(matrix A, ll p) { matrix ret = matrix(A.size(), vector<long long>(A.size(), 0)); for (int i = 0; i < A.size(); i++) ret[i][i] = 1; while (p > 0) { if (p & 1) ret = mul_mod(ret, A); A = mul_mod(A, A); p >>= 1; } return ret; } int main() { ll N, K; cin >> N >> K; ll A[K]; FOR(i, 0, K - 1) { //cin >> A[i]; } set<ll> S; FOR(i, 0, K - 1) { cin >> A[i]; S.insert(A[i]); } ll ct = 0; ll nowsize = 0; while (S.size() != 1) { auto it = S.lower_bound(100000000000000000000LL); //auto it = S.lower_bound(100); it--; ll tp = *it; //cout << S.size() << " " << tp << endl; if (S.find(tp - 1) != S.end()) { if (tp - 4 >= 1) { S.insert(tp - 4); } } if (S.find(tp - 3) != S.end()) { if (tp - 5 >= 1) { S.insert(tp - 5); } } if (S.find(tp - 5) != S.end()) { if (tp - 6 >= 1) { S.insert(tp - 6); } } //cout << S.size() << " " << tp << endl; S.erase(tp); //cout << S.size() << " " << tp << endl; if (nowsize == S.size()) { ct++; } else { ct = 0; } if (ct > 100) { yn(false); return 0; } } yn(S.find(1) == S.end()); return 0; }