本文共 1393 字，大约阅读时间需要 4 分钟。

为了解决这个问题，我们需要找到满足一系列同余条件的最小非负整数 x。如果不存在这样的 x，则返回 -1。

方法思路

这个问题可以通过逐步合并同余方程来解决，每一步都确保当前解满足所有处理过的方程。我们使用扩展欧几里得算法来找到满足贝祖定理的条件，从而确保每一步都能正确地得到一个解，直到所有方程都被处理。

具体步骤如下：

解决代码

#include 
   
    #include 
    
     using namespace std;typedef long long ll;ll exgcd(ll a, ll b, ll &x, ll &y) {    if (!b) {        x = 1;        y = 0;        return a;    }    ll d = exgcd(b, a % b, y, x);    y -= a / b * x;    return d;}int main() {    int n;    cin >> n;    if (n == 0) {        cout << 0 << endl;        return 0;    }    ll x = 0;    ll a1;    ll m1;    cin >> a1 >> m1;    for (int i = 0; i < n - 1; ++i) {        ll a2, m2;        cin >> a2 >> m2;        ll d = exgcd(a1, -a2, k1, k2);        if ((m2 - m1) % d != 0) {            x = -1;            break;        }        k1 = (k1 % (a2 / d) + a2 / d) % (a2 / d);        x = k1 * a1 + m1;        ll new_M = a1 / d * a2;        a1 = new_M;        m1 = x;        x %= new_M;    }    if (x != -1) {        x %= a1;        if (x < 0) {            x += a1;        }    }    cout << x << endl;    return 0;}
    
   

代码解释

通过这种方法，我们可以高效地解决问题，并确保找到满足所有同余条件的最小解。