P2613 【模板】有理数取余


原题链接

P2613
AC记录:Accepted

题目大意

给出一个有理数 c = a b c=\frac ab c=ba,求 c   m o d   19260817 c\bmod 19260817 cmod19260817

输入格式

一共两行。
第一行一个整数 a a a
第二行一个整数 b b b

输出格式

一个整数,代表求余后的结果。如果无解,输出Angry!

S a m p l e \mathbf{Sample} Sample I n p u t \mathbf{Input} Input

233
666

S a m p l e \mathbf{Sample} Sample O u t p u t \mathbf{Output} Output

18595654

H i n t & E x p l a i n \mathbf{Hint\&Explain} Hint&Explain

数据范围

对于 100 % 100\% 100%的数据, 0 ≤ a ≤ 1 0 10001 , 1 ≤ b ≤ 1 0 10001 0\le a\le 10^{10001},1\le b\le 10^{10001} 0a1010001,1b1010001
a , b a,b a,b 不同时是 19260817 19260817 19260817 的倍数。

解题思路

首先,你需要知道…


1. 费 马 小 定 理 \large\sf1.费马小定理 1.
p p p 为质数,且正整数 a a a p p p 不互质时, a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1\pmod p ap11(modp)
换句话说,就是
a p − 2 ≡ a − 1 ( m o d p ) (1) a^{p-2}\equiv a^{-1}\pmod p \tag{1} ap2a1(modp)(1)


现在进入正题。
把原式 c = a b c=\frac ab c=ba 改一下,就可以得到
c = a ⋅ b − 1 c=a\cdot b^{-1} c=ab1
因为 19260817 19260817 19260817 是一个质数,则可以把 ( 1 ) (1) (1) 代入得
c = a ⋅ b p − 2 c=a\cdot b^{p-2} c=abp2
直接套一个快速幂就可以过了。


但是,不要着急,题目说了还会有无解的情况。
问题是,在什么情况下 a b \frac ab ba会无解呢?
很容易可以想到,当 b = 0 ( m o d p ) b=0\pmod p b=0(modp) 时无解。
判断一下 b ( m o d p ) b\pmod p b(modp) 是否为 0 0 0 即可。


最后,还有最重要的一步,就是读入
数据范围给的上限是 1 0 10001 10^{10001} 1010001 ,所以要在读入的时候,边读入边模,达到读入后 a , b a,b a,b 都在 p p p 以内的效果。

上代码

#include<bits/stdc++.h>

#define endl '\n'

using namespace std;

#define int long long

int power(int a,int b,int p)
{
    int tar=1;
    while(b)
    {
        if(b&1)
            tar=(tar*a)%p;
        a=(1ll*a*a)%p;
        b>>=1;
    }
    return tar;
}

int read(int p)
{
    int tar=0;
    string s;
    cin>>s;
    for(int i=0; i<s.size(); i++)
        tar=(tar*10+s[i]-'0')%p;
    return tar;
}

const int   p=19260817;
int         a,b;

signed main()
{
    // freopen("test.in","r",stdin);
    // freopen("test.out","w",stdout);
    /* Code */
    a=read(p);
    b=read(p);
    if(b==0)
        cout<<"Angry!"<<endl;
    else
        cout<<(a*power(b,p-2,p))%p<<endl;
    // fclose(stdin);
    // fclose(stdout);
    return 0;
}

完美切题 ∼ \sim

<think>题目要求:有理数,即求解方程 b*x ≡ a (mod 19260817) 输入是两行字符串,分别代表大整数a和b(0<=a<=10^10001, 1<=b<=10^10001) 我们需要将a和b对模数19260817模,然后求b的逆元,计算a*b^{-1} mod 19260817 注意:当b mod 19260817为0时,如果a mod 19260817不为0,则无解(输出Angry!);如果a也为0,但题目保证a,b不同时是19260817的倍数,所以当b mod 19260817为0时,a mod 19260817一定不为0,因此无解。 步骤: 1. 读入两个字符串s_a和s_b。 2. 将字符串s_a和s_b转换成模19260817下的整数(使用逐位模)。 3. 检查b_mod是否为0: 如果为0,则输出"Angry!"。 否则,计算b_mod的逆元(因为19260817是质数,所以可以用费马小定理:逆元为b_mod^(19260817-2) mod 19260817)。 4. 计算答案:ans = a_mod * inv_b % MOD,然后输出ans。 注意:题目中a可能为0,但b不为0,所以当a_mod为0时,结果就是0。 但是,之前代码已经可以处理,但为什么有人0分?可能是以下原因: - 没有考虑大数模过程中,字符串可能有前导0,但我们的模函数是逐位处理的,前导0不影响。 - 输入可能有负数?但题目保证a>=0, b>=1,所以不需要处理负数。 - 模数19260817是质数,所以费马小定理适用。 因此,代码和之前一样,但为了确保正确,我们重新写一遍,并注意细节。 重新实现: 使用常量MOD=19260817 写一个函数:long long read_mod() 用于读一行字符串并模。 修改:由于输入可能很长,使用getline读字符串,然后调用模函数。 但是,注意:题目输入是两行,每行可能以换行符结束,注意处理可能的回车。 我们使用getline读两行,然后对每行字符串进行模。 注意:字符串可能为空吗?题目保证a>=0, b>=1,所以至少b有一个数字。 重新编写代码: </think> # 有理数问题详解与实现 ## 问题分析 题目要求求解有理数问题:给定两个大整数 $a$ 和 $b$(最大可达 $10^{10001}$),求 $c = \frac{a}{b} \mod 19260817$,即求解方程 $bx \equiv a \pmod{19260817}$。 ### 关键点: 1. **大数处理**:$a$ 和 $b$ 可能非常大(最多 10,001 位),无法用标准整数类型存储 2. **模逆元计算**:由于 $19260817$ 是质数,可以使用费马小定理求乘法逆元 3. **无解情况**:当 $b \equiv 0 \pmod{19260817}$ 且 $a \not\equiv 0$ 时无解 ## 解决方案 使用以下步骤解决问题: 1. 将超大整数 $a$ 和 $b$ 对 $19260817$ 模 2. 检查分母模值是否为 0: - 若 $b \equiv 0 \pmod{19260817}$ 且 $a \not\equiv 0$,输出 `Angry!` - 否则计算 $b$ 在模 $19260817$ 下的乘法逆元 3. 计算结果 $x \equiv a \times b^{-1} \pmod{19260817}$ ### 核心算法 1. **大数算法**:逐位处理字符串计算模值 2. **快速幂算法**:高效计算大指数幂模 3. **费马小定理**:$b^{-1} \equiv b^{p-2} \pmod{p}$($p$ 为质数) ## C++ 完整实现 ```cpp #include <iostream> #include <string> #include <cctype> using namespace std; const long long MOD = 19260817; // 大数模函数:将字符串表示的大整数转换为模 MOD 下的整数 long long string_to_mod(string num_str, long long mod) { long long result = 0; for (char c : num_str) { // 跳过非数字字符(如可能的换行符) if (!isdigit(c)) continue; // 逐位计算:result = (result * 10 + (c - '0')) % mod result = (result * 10 + (c - '0')) % mod; } return result; } // 快速幂算法:计算 base^exp % mod long long fast_power(long long base, long long exp, long long mod) { long long result = 1; base %= mod; // 确保 base 在模范围内 while (exp > 0) { // 如果 exp 是奇数,乘入结果 if (exp & 1) { result = (result * base) % mod; } // 底数平方 base = (base * base) % mod; // 指数减半 exp >>= 1; } return result; } // 主函数 int main() { string a_str, b_str; // 读输入 getline(cin, a_str); getline(cin, b_str); // 将大整数转换为模 MOD 下的整数 long long a_mod = string_to_mod(a_str, MOD); long long b_mod = string_to_mod(b_str, MOD); // 检查无解情况 if (b_mod == 0) { cout << "Angry!" << endl; } else { // 计算 b 的逆元(费马小定理) long long inv_b = fast_power(b_mod, MOD - 2, MOD); // 计算结果:x = a * b^{-1} mod MOD long long result = (a_mod * inv_b) % MOD; // 确保结果非负 if (result < 0) result += MOD; cout << result << endl; } return 0; } ``` ## 代码详解 ### 1. 大数模函数 (`string_to_mod`) ```cpp long long string_to_mod(string num_str, long long mod) { long long result = 0; for (char c : num_str) { if (!isdigit(c)) continue; result = (result * 10 + (c - '0')) % mod; } return result; } ``` - **功能**:将字符串形式的大整数转换为模 `MOD` 下的整数 - **原理**: - 从左到右逐位处理数字字符 - 使用公式 `result = (result * 10 + digit) % mod` 更新结果 - 跳过非数字字符(如换行符) - **复杂度**:$O(n)$,$n$ 为字符串长度 ### 2. 快速幂算法 (`fast_power`) ```cpp long long fast_power(long long base, long long exp, long long mod) { long long result = 1; base %= mod; while (exp > 0) { if (exp & 1) { result = (result * base) % mod; } base = (base * base) % mod; exp >>= 1; } return result; } ``` - **功能**:高效计算 $base^{exp} \mod mod$ - **原理**: - 将指数 $exp$ 表示为二进制形式 - 当 $exp$ 的最低位为 1 时,将当前 $base$ 乘入结果 - 每次迭代将 $base$ 平方,指数右移 - **复杂度**:$O(\log exp)$ ### 3. 主函数逻辑 ```cpp int main() { // 读输入 getline(cin, a_str); getline(cin, b_str); // 大数模 long long a_mod = string_to_mod(a_str, MOD); long long b_mod = string_to_mod(b_str, MOD); if (b_mod == 0) { cout << "Angry!" << endl; } else { // 计算逆元 long long inv_b = fast_power(b_mod, MOD - 2, MOD); // 计算结果 long long result = (a_mod * inv_b) % MOD; if (result < 0) result += MOD; // 确保结果非负 cout << result << endl; } return 0; } ``` - **输入处理**:使用 `getline` 读两行输入 - **无解判断**:当 $b \equiv 0 \pmod{MOD}$ 时无解 - **计算结果**: - 使用费马小定理计算 $b$ 的逆元 - 计算 $x \equiv a \times b^{-1} \pmod{MOD}$ - 确保结果在 $[0, MOD-1]$ 范围内 ## 测试用例 ### 输入 #1 ``` 233 666 ``` ### 输出 #1 ``` 18595654 ``` ### 边界情况测试 1. **$a=0$,$b \neq 0$**:输出 $0$ 2. **$b \equiv 0 \pmod{MOD}$**:输出 `Angry!` 3. **最大输入**:处理 $10^{10001}$ 位大数 ## 相关问题
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值