結果

問題 No.551 夏休みの思い出（２）
ユーザー PachicobuePachicobue
提出日時 2017-07-29 03:34:45
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 5,356 bytes
コンパイル時間 4,772 ms
コンパイル使用メモリ 183,468 KB
実行使用メモリ 171,352 KB
最終ジャッジ日時 2024-10-10 20:45:33
合計ジャッジ時間 16,821 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
171,352 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 2 ms
6,816 KB
testcase_03 AC 4 ms
6,816 KB
testcase_04 AC 7 ms
6,816 KB
testcase_05 AC 13 ms
6,816 KB
testcase_06 AC 18 ms
6,816 KB
testcase_07 AC 2 ms
6,816 KB
testcase_08 AC 3 ms
6,816 KB
testcase_09 AC 2 ms
6,816 KB
testcase_10 AC 2 ms
6,820 KB
testcase_11 AC 2 ms
6,820 KB
testcase_12 AC 2 ms
6,816 KB
testcase_13 AC 2 ms
6,816 KB
testcase_14 AC 2 ms
6,816 KB
testcase_15 AC 2 ms
6,820 KB
testcase_16 AC 2 ms
6,820 KB
testcase_17 AC 5 ms
6,816 KB
testcase_18 AC 8 ms
6,816 KB
testcase_19 AC 7 ms
6,816 KB
testcase_20 AC 7 ms
6,816 KB
testcase_21 AC 8 ms
6,816 KB
testcase_22 AC 4 ms
6,816 KB
testcase_23 AC 5 ms
6,820 KB
testcase_24 AC 7 ms
6,820 KB
testcase_25 AC 5 ms
6,816 KB
testcase_26 AC 6 ms
6,816 KB
testcase_27 AC 1,249 ms
42,748 KB
testcase_28 AC 1,197 ms
42,344 KB
testcase_29 AC 336 ms
14,496 KB
testcase_30 AC 1,085 ms
42,308 KB
testcase_31 AC 317 ms
14,620 KB
testcase_32 AC 1,151 ms
42,336 KB
testcase_33 AC 1,358 ms
42,492 KB
testcase_34 AC 888 ms
29,804 KB
testcase_35 AC 374 ms
15,484 KB
testcase_36 AC 677 ms
25,064 KB
testcase_37 TLE -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
testcase_43 -- -
testcase_44 -- -
testcase_45 -- -
testcase_46 -- -
testcase_47 -- -
testcase_48 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'll logR(ll)':
main.cpp:110:1: warning: control reaches end of non-void function [-Wreturn-type]
  110 | }
      | ^

ソースコード

diff # 

#include <bits/stdc++.h>

#define show(x) cerr << #x << " = " << x << endl

using namespace std;
using ll = long long;
using pii = pair<int, int>;
using vi = vector<int>;

template <typename T>
ostream& operator<<(ostream& os, const vector<T>& v)
{
    os << "sz=" << v.size() << "\n[";
    for (const auto& p : v) {
        os << p << ",";
    }
    os << "]\n";
    return os;
}

template <typename S, typename T>
ostream& operator<<(ostream& os, const pair<S, T>& p)
{
    os << "(" << p.first << "," << p.second
       << ")";
    return os;
}

constexpr ll MOD = 1e9 + 7;

template <typename T>
constexpr T INF = numeric_limits<T>::max() / 100;

ll P, R;
ll W, H;

template <typename T>
T gcd(const T a, const T b)
{
    return (b != 0) ? gcd(b, a % b) : a;
}

template <typename T>
T extgcd(const T a, const T b, T& x, T& y)  // ax+by=gcd(a,b)
{
    T d = a;
    if (b != 0) {
        d = extgcd(b, a % b, y, x);
        y -= (a / b) * x;
    } else {
        x = 1;
        y = 0;
    }
    return d;
}

template <typename T>
T inverse(const T a, const T mod)
{
    if (gcd(a, mod) != 1) {
        //        cerr << "No inverse" << endl;
        return -1;
    }
    T x, y;
    extgcd(a, mod, x, y);
    return (mod + x % mod) % mod;
}

template <typename T>
T divide(const T a, const T b, const T mod)  // return x (s.t. ax=b)(remark: x is value of modulo (mod/gcd(a, mod)))
{
    const T g = gcd(a, mod);
    if ((g + b % g) % g != 0) {
        //        cerr << "Cannot divide" << endl;
        return -1;
    } else {
        return (mod + (inverse(a / g, mod / g) * (b / g)) % mod) % mod;
    }
}


ll power(const ll a, const ll n)
{
    if (n == 0) {
        return 1;
    }
    if (n % 2 == 0) {
        const ll p = power(a, n / 2);
        return (p * p) % P;
    } else {
        return (a * power(a, n - 1)) % P;
    }
}

unordered_map<ll, ll> table;
ll step;
ll logR(const ll a)  // return log_R(a)
{
    if (a == 1) {
        return 0;
    }
    ll val = a;
    for (ll i = 0; i < W; i++) {
        if (table.find(val) != table.end()) {
            return i * H + table[val];
        } else {
            val = (val * step) % P;
        }
    }
}

pair<ll, ll> square_root(const ll a)
{
    if (a == 0) {
        return make_pair(0, 0);
    } else {
        const ll x2 = logR(a);
        if (x2 % 2 == 1) {
            return make_pair(-1, -1);
        } else {
            return make_pair(power(R, x2 / 2), power(R, (x2 + (P - 1)) / 2));
        }
    }
}

int main()
{
    cin >> P >> R;
    ll Q;
    cin >> Q;
    ll mini = INF<ll>;
    for (ll i = 1; i * i <= P - 1; i++) {
        const ll w = i;
        const ll h = (P - 1 + i - 1) / i;
        if (mini > h + w * Q) {
            mini = h + w * Q;
            H = h;
            W = w;
        }
    }

    for (ll i = 0; i < H; i++) {
        table[power(R, i)] = i;
    }
    step = power(R, (P - 1) - H);

    for (ll q = 0; q < Q; q++) {
        ll A, B, C;
        cin >> A >> B >> C;
        const ll a = logR(A);
        if (B != 0 and C != 0) {
            const ll sq = (P + (B * B - 4 * A * C) % P) % P;
            const pair<ll, ll> root = square_root(sq);
            if (root.first == -1) {
                cout << -1 << endl;
                continue;
            }
            ll Z[4];
            for (int i = 0; i < 4; i++) {
                if (i % 2 == 0) {
                    if (i / 2 == 0) {
                        Z[i] = (P + (-B + root.first) % P) % P;
                    } else {
                        Z[i] = (P + (-B + root.second) % P) % P;
                    }
                } else {
                    if (i / 2 == 0) {
                        Z[i] = (P + (-B - root.first) % P) % P;
                    } else {
                        Z[i] = (P + (-B - root.second) % P) % P;
                    }
                }
            }
            ll z[4];
            vector<ll> X(4);
            for (int i = 0; i < 4; i++) {
                if (Z[i] == 0) {
                    X[i] = 0;
                } else {
                    z[i] = ((P - 1) + (logR(Z[i]) - a) % (P - 1)) % (P - 1);
                    X[i] = power(R, z[i]);
                    X[i] = (X[i] % 2 == 0) ? X[i] / 2 : (X[i] + P) / 2;
                }
            }
            sort(X.begin(), X.end());
            X.erase(unique(X.begin(), X.end()), X.end());
            for (int i = 0; i < X.size(); i++) {
                if (i != 0) {
                    cout << " ";
                }
                cout << X[i];
            }
            cout << endl;
        } else if (B != 0) {
            cout << 0 << " ";
            const ll b = logR(B);
            ll x = (P - 1) / 2 - (a - b);
            x = ((P - 1) + x % (P - 1)) % (P - 1);
            cout << power(R, x) << endl;
        } else if (C != 0) {
            const ll c = logR(C);
            ll x2 = (P - 1) / 2 - (a - c);
            x2 = ((P - 1) + x2 % (P - 1)) % (P - 1);
            if (x2 % 2 == 1) {
                cout << -1 << endl;
            } else {
                const ll x = x2 / 2;
                const ll y = x2 / 2 + (P - 1) / 2;
                const ll u = power(R, x);
                const ll v = power(R, y);
                cout << min(u, v) << " " << max(u, v) << endl;
            }
        } else {
            cout << 0 << endl;
        }
    }
    return 0;
}
0