AtCoder题解 —— AtCoder Regular Contest 111 —— A - Simple Math 2 —— 数论：快速幂

题目相关

题目链接

AtCoder Regular Contest 111 A 题，https://atcoder.jp/contests/arc111/tasks/arc111_a。

Problem Statement

Given positive integers $N$ and $M$, find the remainder when $\lfloor \frac{10^N}{M}\rfloor$ is divided by $M$.

Input

Input is given from Standard Input in the following format:

N M

Output

Print the answer.

Sample 1

Sample Input 1

1 2

Sample Output 1

1

Explaination

We have $\lfloor \frac{10^1}{5}\rfloor =5$, so we should print the remainder when $5$ is divided by $2$, that is $1$.

Sample 2

Sample Input 2

2 7

Sample Output 2

0

Sample 2

Sample Input 2

1000000000000000000 9997

Sample Output 2

9015

Constraints

• $1\le N\le 10^{18}$
• $1\le M\le 10000$

题解报告

题目翻译

给两个正整数 $N$ 和 $M$，请求 $\lfloor \frac{10^N}{M}\rfloor$ 的结果对 $M$ 取余是多少。

题目分析

本题是一个标准的数学题。
由于 $N$ 的最大值是 1e18，因此，我们没有办法直接计算出 $10^N$ 的结果，这是一个天文数字，已经超过了 long long 能表示的范围。因此，我们需要使用快速幂取余的技巧。
本题最终计算结果为 $\lfloor \frac{10^N}{M}\rfloor modM$，因此，我们考虑计算 $\lfloor \frac{10^N}{M^2}\rfloor$ 的结果，下面我们来证明这两个结果是一样的。
$$\lfloor \frac{10^N-k{M}^2}{M}\rfloor \equiv \lfloor \frac{10^N}{M}-kM\rfloor \equiv \lfloor \frac{10^N}{M}\rfloor -kM\equiv \lfloor \frac{10^N}{M}\rfloor (modM)(k\in \mathbb{Z}$$

数据范围估计

$N$ 的最大值是 1e18，必须使用 long long。

AC 参考代码

//https://atcoder.jp/contests/arc111/tasks/arc111_a
//A - Simple Math 2
#include <bits/stdc++.h>

using namespace std;

//如果提交到OJ，不要定义 __LOCAL
//#define __LOCAL

typedef long long ll;

long long ModePower(ll a, ll b, ll mod) {
    ll ans=1;
    a %= mod;
    while (b>0) {
        if (1==b%2) {
            ans = (ans*a)%mod;
        }
        b/=2;
        a=(a*a)%mod;
    }
    return ans;
}

int main() {
#ifndef __LOCAL
    //这部分代码需要提交到OJ，本地调试不使用
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
#endif
    ll n,m;
    cin>>n>>m;
    ll r=ModePower(10, n, m*m);
    cout<<r/m<<"\n";
#ifdef __LOCAL
    //这部分代码不需要提交到OJ，本地调试使用
    system("pause");
#endif
    return 0;
}

时间复杂度

$O(logN)$。

空间复杂度

$O(1)$。