結果

問題 No.551 夏休みの思い出（２）
コンテスト
ユーザー pekempey
提出日時 2017-07-29 01:30:54
言語 C++14
(gcc 13.3.0 + boost 1.89.0)
結果
AC  
実行時間 1,222 ms / 4,000 ms
コード長 1,914 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 897 ms
コンパイル使用メモリ 78,020 KB
実行使用メモリ 136,256 KB
最終ジャッジ日時 2024-10-10 18:51:24
合計ジャッジ時間 41,664 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 47
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <iostream>
#include <algorithm>
#include <vector>

int64_t modpow(int64_t a, int64_t b, int64_t m) {
    int64_t ret = 1;
    for (; b > 0; b >>= 1) {
        if (b & 1) ret = ret * a % m;
        a = a * a % m;
    }
    return ret;
}

int64_t modinv(int64_t a, int64_t p) {
    return modpow(a, p - 2, p);
}

int main() {
    int64_t p, r;
    std::cin >> p >> r;

    auto modulo = [&](int64_t a) {
        a %= p;
        if (a < 0) a += p;
        return a;
    };

    constexpr int S = 5000000;
    constexpr int T = (1000000000 + S - 1) / S;
    int64_t rs = 1;
    std::vector<std::pair<int64_t, int>> baby;
    for (int i = 0; i < S; i++) {
        baby.emplace_back(rs, i);
        rs = rs * r % p;
    }
    rs = modinv(rs, p);
    std::sort(baby.begin(), baby.end());

    auto modlog = [&](int64_t a) -> int64_t {
        if (a == 0) return 1000000000;
        int64_t giant = 1;
        for (int i = 0; i < T; i++) {
            auto it = std::lower_bound(baby.begin(), baby.end(), std::make_pair(a * giant % p, 0));
            if (it != baby.end() && a * giant % p == it->first) {
                return it->second + i * S;
            }
            giant = giant * rs % p;
        }
        return -1;
    };

    int q;
    std::cin >> q;
    while (q--) {
        int64_t a, b, c;
        scanf("%lld %lld %lld", &a, &b, &c);
        int64_t d = modulo(b * b - 4 * a * c);
        int64_t e = modlog(d);
        if (e == -1 || e % 2 == 1) {
            puts("-1");
        } else {
            d = e == 1000000000 ? 0LL : modpow(r, e / 2, p);
            int64_t x1 = modulo((-b + d) * modinv(2 * a % p, p));
            int64_t x2 = modulo((-b - d) * modinv(2 * a % p, p));
            if (x1 > x2) std::swap(x1, x2);
            if (x1 == x2) {
                printf("%lld\n", x1);
            } else {
                printf("%lld %lld\n", x1, x2);
            }
        }
    }
}
0