#1043223 (C++23) No.3022 一元一次式 mod 1000000000

• 問題: No.3022 一元一次式 mod 1000000000
• ユーザー: Tatsu_mr
• 提出日時: 2025-02-14 23:40:56
• 言語: C++23 (gcc 13.3.0 + boost 1.87.0)
• 結果: AC
• 実行時間: 76 ms / 2,000 ms
• コード長: 2,279 bytes
• コンパイル時間: 3,033 ms
• コンパイル使用メモリ: 274,768 KB
• 実行使用メモリ: 6,820 KB
• 最終ジャッジ日時: 2025-02-17 12:57:59
• 合計ジャッジ時間: 4,297 ms
• ジャッジサーバーID （参考情報）: judge2 / judge1

ファイルパターン	結果
other	AC * 21

ソースコード

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
#include <bits/stdc++.h>
using namespace std;
#define For(i, a, b) for(int i = (a); i < (b); i++)
#define rep(i, n) For(i, 0, n)
#define rFor(i, a, b) for(int i = (a); i >= (b); i--)
#define ALL(v) (v).begin(), (v).end()
#define rALL(v) (v).rbegin(), (v).rend()
using lint = long long;
using ld = long double;
int INF = 2000000000;
lint LINF = 1000000000000000000;
struct SetupIo {
    SetupIo() {
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
        cout << fixed << setprecision(15);
    }
} setupio;
template <class T>
T bin_gcd(T a_, T b_) {
    unsigned long long a = abs(a_), b = abs(b_);
    if (a == 0 || b == 0) {
        return (a == 0 ? b : a);
    }
    int x = __builtin_ctzll(a), y = __builtin_ctzll(b);
    a >>= x;
    b >>= y;
    while (a != b) {
        if (a < b) {
            swap(a, b);
        }
        a -= b;
        a >>= __builtin_ctzll(a);
    }
    return (a << min(x, y));
}
// ax + by = gcd(a, b) を満たす (x, y) を求める
// c が gcd(a, b) で割り切れないと、ax + by = c を満たす c は存在しない
// 負の数の場合の処理に注意
long long extGCD(long long a, long long b, long long &x, long long &y) {
    if (b == 0) {
        x = 1;
        y = 0;
        return a;
    }
    long long d = extGCD(b, a % b, y, x);
    y -= a / b * x;
    return d;
}
template <class T>
T div_floor(T a, T b) {
    assert(b != 0);
    if (b < 0) {
        a = -a;
        b = -b;
    }
    return (a >= 0 ? a / b : (a + 1) / b - 1);
}
template <class T>
T div_ceil(T a, T b) {
    assert(b != 0);
    if (b < 0) {
        a = -a;
        b = -b;
    }
    return (a > 0 ? (a - 1) / b + 1 : a / b);
}
const lint mod = 1000000000;
int main() {
    int TT;
    cin >> TT;
    while (TT--) {
        lint n, m;
        cin >> n >> m;
        n %= mod;
        m %= mod;
        lint g = bin_gcd(mod, n);
        if (m % g != 0) {
            cout << -1 << "\n";
            continue;
        }
        lint x, y;
        extGCD(mod, -n, x, y);
        if (mod * x - n * y == -g) {
            x = -x;
            y = -y;
        }
        x *= (m / g);
        y *= (m / g);
        lint add = mod / g;
        lint p = div_ceil<lint>(-y + 1, add);
        y += p * add;
        cout << y << "\n";
    }
}
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX