#706691 (Python3) No.1706 Many Bus Stops (hard)

提出ソース

結果

問題	No.1706 Many Bus Stops (hard)
ユーザー	NatsubiSogan
提出日時	2021-10-10 17:50:18
言語	Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果	AC
実行時間	41 ms / 2,000 ms
コード長	3,198 bytes
コンパイル時間	96 ms
コンパイル使用メモリ	11,300 KB
実行使用メモリ	10,216 KB
最終ジャッジ日時	2023-10-12 14:34:33
合計ジャッジ時間	3,166 ms
ジャッジサーバーID （参考情報）	judge13 / judge12

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	32 ms 10,188 KB
testcase_01	AC	33 ms 10,208 KB
testcase_02	AC	36 ms 10,100 KB
testcase_03	AC	33 ms 10,160 KB
testcase_04	AC	35 ms 10,092 KB
testcase_05	AC	34 ms 10,064 KB
testcase_06	AC	35 ms 10,208 KB
testcase_07	AC	35 ms 10,052 KB
testcase_08	AC	34 ms 10,104 KB
testcase_09	AC	33 ms 10,156 KB
testcase_10	AC	34 ms 10,188 KB
testcase_11	AC	38 ms 10,092 KB
testcase_12	AC	34 ms 10,076 KB
testcase_13	AC	34 ms 10,008 KB
testcase_14	AC	34 ms 10,152 KB
testcase_15	AC	41 ms 10,096 KB
testcase_16	AC	34 ms 10,064 KB
testcase_17	AC	34 ms 10,092 KB
testcase_18	AC	34 ms 10,048 KB
testcase_19	AC	34 ms 10,136 KB
testcase_20	AC	34 ms 10,140 KB
testcase_21	AC	34 ms 10,156 KB
testcase_22	AC	35 ms 10,048 KB
testcase_23	AC	34 ms 10,212 KB
testcase_24	AC	34 ms 10,040 KB
testcase_25	AC	35 ms 10,096 KB
testcase_26	AC	34 ms 10,068 KB
testcase_27	AC	34 ms 10,108 KB
testcase_28	AC	35 ms 10,100 KB
testcase_29	AC	34 ms 10,048 KB
testcase_30	AC	35 ms 10,080 KB
testcase_31	AC	35 ms 10,060 KB
testcase_32	AC	35 ms 10,136 KB
testcase_33	AC	34 ms 10,192 KB
testcase_34	AC	34 ms 10,124 KB
testcase_35	AC	33 ms 10,076 KB
testcase_36	AC	34 ms 10,008 KB
testcase_37	AC	34 ms 10,128 KB
testcase_38	AC	35 ms 10,080 KB
testcase_39	AC	34 ms 10,136 KB
testcase_40	AC	34 ms 10,112 KB
testcase_41	AC	34 ms 10,152 KB
testcase_42	AC	34 ms 10,216 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

import typing

class Matrix:
	def __init__(self, n: int, m: int, mat: typing.Union[list, None] = None, mod: int = 10 ** 9 + 7) -> None:
		self.n = n
		self.m = m
		self.mat = [[0] * self.m for i in range(self.n)]
		self.mod = mod
		if mat:
			for i in range(self.n):
				self.mat[i] = mat[i]
	
	def is_square(self) -> None:
		return self.n == self.m
	
	def __getitem__(self, key: int) -> int:
		if isinstance(key, slice):
			return self.mat[key]
		else:
			assert key >= 0
			return self.mat[key]

	def id(n: int):
		res = Matrix(n, n)
		for i in range(n):
			res[i][i] = 1
		return res

	def __len__(self) -> int:
		return len(self.mat)
	
	def __str__(self) -> str:
		return "\n".join(" ".join(map(str, self[i])) for i in range(self.n))

	def times(self, k: int):
		res = [[0] * self.m for i in range(self.n)]
		for i in range(self.n):
			for j in range(self.m):
				res[i][j] = k * self[i][j] % self.mod
		return Matrix(self.n, self.m, res)

	def __pos__(self):
		return self

	def __neg__(self):
		return self.times(-1)

	def __add__(self, other):
		res = [[0] * self.m for i in range(self.n)]
		for i in range(self.n):
			for j in range(self.m):
				res[i][j] = (self[i][j] + other[i][j]) % self.mod
		return Matrix(self.n, self.m, res)
	
	def __sub__(self, other):
		res = [[0] * self.m for i in range(self.n)]
		for i in range(self.n):
			for j in range(self.m):
				res[i][j] = (self[i][j] - other[i][j]) % self.mod
		return Matrix(self.n, self.m, res)

	def __mul__(self, other):
		if other.__class__ == Matrix:
			res = [[0] * other.m for i in range(self.n)]
			for i in range(self.n):
				for k in range(self.m):
					for j in range(other.m):
						res[i][j] += self[i][k] * other[k][j]
						res[i][j] %= self.mod
			return Matrix(self.n, other.m, res)
		else:
			return self.times(other)
	
	def __rmul__(self, other):
		return self.times(other)

	def __pow__(self, k):
		tmp = Matrix(self.n, self.n, self.mat)
		res = Matrix.id(self.n)
		while k:
			if k & 1:
				res *= tmp
			tmp *= tmp
			k >>= 1
		return res

	def determinant(self):
		res = 1
		tmp  = Matrix(self.n, self.n, self.mat)
		for j in range(self.n):
			if tmp[j][j] == 0:
				for i in range(j + 1, self.n):
					if tmp[i][j] != 0: break
				else:
					return 0
				tmp.mat[j], tmp.mat[i] = tmp.mat[i], tmp.mat[j]
				res *= -1
			inv = invmod(tmp[j][j], self.mod)
			for i in range(j + 1, self.n):
				c = -inv * tmp[i][j] % self.mod
				for k in range(self.n):
					tmp[i][k] += c * tmp[j][k]
					tmp[i][k] %= self.mod
		for i in range(self.n):
			res *= tmp[i][i]
			res %= self.mod
		return res
# 拡張Euclidの互除法
def extgcd(a: int, b: int, d: int = 0) -> typing.Tuple[int, int, int]:
	g = a
	if b == 0:
		x, y = 1, 0
	else:
		x, y, g = extgcd(b, a % b)
		x, y = y, x - a // b * y
	return x, y, g
 
# mod p における逆元
def invmod(a: int, p: int) -> int:
	x, y, g = extgcd(a, p)
	x %= p
	return x

mod = 10 ** 9 + 7
c, n, m = map(int, input().split())
a = Matrix(4, 4, [[1, 0, 0, 1], [0, 1, c - 1, c - 2], [c, 0, 0, 0], [0, c, 0, 0]], mod)
a **= n
a *= Matrix(4, 1, [[1], [0], [c], [0]], mod)
x = a[2][0] * pow(invmod(c, mod), n + 1, mod)
x = (1 - x) % mod
x = pow(x, m, mod)
x = (1 - x) % mod
print(x)

yukicoder

結果

テストケース

ソースコード