백준(BOJ) 13172 Σ 파이썬(Python)

문제 링크

설명이 엄청 길지만, 그래서 문제 안에 답이 다 있다.
주어진 분수 \(S/N\)에 대해, 이를 기약분수로 나타내고, 문제에서 제시한 방법으로 모듈러 역원을 구해 분수를 대신하는 정수로 변환하면 된다.
문제에서 말하는 것처럼, \(b^{X - 2} \equiv b^{-1} (\mod X)\)이다. 따라서 모듈러 역원을 구하기 위해 주어진 수를 \(1000000005\)로 제곱해 주면 된다.
여기까진 잘 생각했는데, 파이썬의 내장 거듭제곱이 선형적이라는 걸 몰라서 헤매다가 결국 구글을 참조했다.
그러고서야 문제를 깨달았다…
효율적으로 거듭제곱을 하기 위해서는 분할 정복을 사용해야 한다.
예를 들어, \(N^{10}\)은 다음과 같이 표현할 수 있다.
\(N^{10} = (N^5)^2 = (N^4 \times N)^2 = ((N^2)^2 \times N)^2\)
즉, 지수가 짝수일 때는 절반으로 나누고, 홀수일 때는 1을 빼서 분할 정복으로 계산할 수 있다.

from sys import stdin
from math import gcd
input = stdin.readline
X = 1_000_000_007

# 거듭제곱 함수
def sq(n, m):
    if m == 1: return n
    elif m % 2: return n * sq(n, m-1) % X
    temp = sq(n, m //2 )
    return temp * temp % X

m = int(input())
ans = 0
for _ in range(m):
    n, s = map(int, input().split())
    # 기약분수로 만들기
    d = gcd(n, s)
    n //= d
    s //= d
    # 분모의 모듈러 역원 구하기
    mod = sq(n, X-2)
    # 모듈러 역원에 분자 곱하기
    # 곱한 수를 1_000_000_007로 모듈러 연산 하기
    # 나온 답을 더하기
    ans = (ans + (mod * s % X)) % X

print(ans)

2024

맨 위로 이동 ↑

2023

세그먼트 트리

개요 선형적인 자료구조에서는 값에 접근하는 데에 \(O(1)\)이면 충분하지만, 대신 부분합을 구하는 데에는 \(O(N)\)이 필요하다. 그렇다면 이 자료구조를 이진 트리로 구성하면 어떨까? 값에 접근하는 데에 걸리는 시간이 \(O(\lg N)\)으로 늘어나지만 대신 부분합을 구하...

벨만-포드 알고리즘

개요 다익스트라 알고리즘과 함께 Single Sourse Shortest Path(SSSP) 문제를 푸는 알고리즘이다. 즉, 한 노드에서 다른 모든 노드로 가는 최단 경로를 구하는 알고리즘이다. 다익스트라 알고리즘보다 느리지만, 음수 가중치 간선이 있어도 작동하며, 음수 가중치 사...

다익스트라 알고리즘

개요 다익스트라 알고리즘은 Single Sourse Shortest Path(SSSP) 문제를 푸는 알고리즘 중 하나이다. 즉, 한 노드에서 다른 모든 노드로 가는 최단 경로를 구하는 알고리즘이다. 단, 다익스트라 알고리즘은 음수 가중치 엣지를 허용하지 않는다. 이 경우에는 벨만-...

맨 위로 이동 ↑