結果

問題 No.551 夏休みの思い出（２）
ユーザー mamekinmamekin
提出日時 2017-07-29 19:01:07
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2,932 ms / 4,000 ms
コード長 3,525 bytes
コンパイル時間 1,364 ms
コンパイル使用メモリ 120,476 KB
実行使用メモリ 80,788 KB
最終ジャッジ日時 2024-10-10 22:39:42
合計ジャッジ時間 24,696 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
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 4 ms
5,248 KB
testcase_04 AC 6 ms
5,248 KB
testcase_05 AC 13 ms
5,248 KB
testcase_06 AC 17 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 3 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 2 ms
5,248 KB
testcase_15 AC 2 ms
5,248 KB
testcase_16 AC 3 ms
5,248 KB
testcase_17 AC 9 ms
5,248 KB
testcase_18 AC 16 ms
5,248 KB
testcase_19 AC 16 ms
5,248 KB
testcase_20 AC 16 ms
5,376 KB
testcase_21 AC 19 ms
5,760 KB
testcase_22 AC 6 ms
5,248 KB
testcase_23 AC 8 ms
5,248 KB
testcase_24 AC 13 ms
5,248 KB
testcase_25 AC 9 ms
5,248 KB
testcase_26 AC 13 ms
5,248 KB
testcase_27 AC 679 ms
25,600 KB
testcase_28 AC 651 ms
24,576 KB
testcase_29 AC 176 ms
9,984 KB
testcase_30 AC 569 ms
22,528 KB
testcase_31 AC 172 ms
10,112 KB
testcase_32 AC 546 ms
22,272 KB
testcase_33 AC 682 ms
25,344 KB
testcase_34 AC 481 ms
19,840 KB
testcase_35 AC 202 ms
11,008 KB
testcase_36 AC 353 ms
16,256 KB
testcase_37 AC 2,932 ms
80,788 KB
testcase_38 AC 2,289 ms
68,076 KB
testcase_39 AC 895 ms
32,896 KB
testcase_40 AC 1,819 ms
55,680 KB
testcase_41 AC 781 ms
29,184 KB
testcase_42 AC 2,419 ms
69,240 KB
testcase_43 AC 938 ms
32,936 KB
testcase_44 AC 1,290 ms
42,880 KB
testcase_45 AC 1,012 ms
35,244 KB
testcase_46 AC 2,719 ms
75,904 KB
testcase_47 AC 2 ms
5,248 KB
testcase_48 AC 2 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define _USE_MATH_DEFINES
#include <cstdio>
#include <iostream>
#include <sstream>
#include <fstream>
#include <iomanip>
#include <algorithm>
#include <cmath>
#include <complex>
#include <string>
#include <vector>
#include <list>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <bitset>
#include <numeric>
#include <limits>
#include <climits>
#include <cfloat>
#include <functional>
#include <iterator>
using namespace std;

// 累乗、べき乗
long long power(int a, int b, int p)
{
    long long ret = 1;
    long long tmp = a;
    while(b > 0){
        if(b & 1){
            ret *= tmp;
            ret %= p;
        }
        tmp *= tmp;
        tmp %= p;
        b >>= 1;
    }
    return ret;
}

// a,b の最大公約数と、ax + by = gcd(a,b) となる x,y を求める
long long extgcd(long long a, long long b, long long &x, long long &y) {
    long long g = a;
    if(b != 0){
        g = extgcd(b, a % b, y, x);
        y -= (a / b) * x;
    }else{
        x = 1;
        y = 0;
    }
    return g;
}

// ax ≡ gcd(a, m) (mod m) となる x を求める
// a, m が互いに素ならば、関数値は mod m での a の逆数となる
long long mod_inverse(long long a, long long m)
{
    long long x, y;
    extgcd(a, m, x, y);
    return (x % m + m) % m;
}

/***************************************************************************************************/
// 離散対数問題
//   x ^ i ≡ y (mod p) となる i を、Baby-step giant-step algorithm により求める。
//   ただし、p は素数。
/***************************************************************************************************/
class discreteLogarithm
{
private:
    int p;
    int step;
    long long inv;
    vector<pair<long long, int> > v;
public:
    discreteLogarithm(int x, int p)
    {
        int i;
        long long a = 1;
        map<long long, int> m;
        for(i=0; i*(long long)i<p*1000LL; ++i){
            if(m.find(a) == m.end())
                m[a] = i;
            a *= x;
            a %= p;
        }
        this->p = p;
        step = i;
        inv = mod_inverse(a, p);
        v = vector<pair<long long, int> >(m.begin(), m.end());
    }
    int get(int y)
    {
        long long z = y;
        for(int j=0; j<p; j+=step){
            auto it = lower_bound(v.begin(), v.end(), make_pair(z, -1));
            if(it != v.end() && it->first == z)
                return j + it->second;
            z *= inv;
            z %= p;
        }
        return -1;
    }
};

int main()
{
    int p, r, q;
    cin >> p >> r >> q;
    discreteLogarithm dl(r, p);

    while(--q >= 0){
        int a, b, c;
        cin >> a >> b >> c;

        // a*x^2 + b*x + c = 0 → (a-s)^2 = t に変換する
        long long s = (-b * mod_inverse(2 * a % p, p)) % p;
        long long t = (s * s - c * mod_inverse(a, p)) % p;
        s += p;
        s %= p;
        t += p;
        t %= p;
        if(t == 0){
            cout << s << endl;
            continue;
        }

        int e = dl.get(t);
        if(e == -1 || e % 2 != 0){
            cout << -1 << endl;
            continue;
        }

        long long tmp = power(r, e/2, p);
        vector<long long> ans;
        ans.push_back(((s + tmp) % p + p) % p);
        ans.push_back(((s - tmp) % p + p) % p);
        if(ans[0] == ans[1]){
            cout << ans[0] << endl;
        }
        else{
            sort(ans.begin(), ans.end());
            cout << ans[0] << ' ' << ans[1] << endl;
        }
    }

    return 0;
}
0