結果
問題 | No.1815 K色問題 |
ユーザー | ああいい |
提出日時 | 2022-02-05 13:53:02 |
言語 | PyPy3 (7.3.15) |
結果 |
TLE
|
実行時間 | - |
コード長 | 1,450 bytes |
コンパイル時間 | 292 ms |
コンパイル使用メモリ | 82,160 KB |
実行使用メモリ | 85,760 KB |
最終ジャッジ日時 | 2024-09-29 22:40:53 |
合計ジャッジ時間 | 4,500 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 41 ms
57,344 KB |
testcase_01 | AC | 37 ms
52,096 KB |
testcase_02 | AC | 38 ms
52,480 KB |
testcase_03 | AC | 37 ms
52,736 KB |
testcase_04 | AC | 38 ms
52,224 KB |
testcase_05 | AC | 38 ms
52,480 KB |
testcase_06 | AC | 377 ms
78,976 KB |
testcase_07 | AC | 125 ms
73,088 KB |
testcase_08 | TLE | - |
testcase_09 | -- | - |
testcase_10 | -- | - |
testcase_11 | -- | - |
testcase_12 | -- | - |
testcase_13 | -- | - |
testcase_14 | -- | - |
testcase_15 | -- | - |
ソースコード
import sys N,M,K = map(int,input().split()) P = 10 ** 9 + 7 if K < N: print(0) exit() if K == 1: if M > 1: print(0) exit() else: print(1) exit() C = K + 10 fact = [1] * C fact_inv = [1] * C for i in range(2,C): fact[i] = fact[i-1] * i % P fact_inv[-1] = pow(fact[-1],P-2,P) for i in range(C-2,0,-1): fact_inv[i] = fact_inv[i+1] * (i+1) % P def comb(n,k): if n < 0 or k < 0 or k > n:return 0 return fact[n] * fact_inv[k] * fact_inv[n-k] % P def seki(x,y): l = [[0] * 2 for _ in range(2)] for i in range(2): for j in range(2): for k in range(2): l[i][j] = (l[i][j] + x[i][k] * y[k][j]) % P return l def f(k): if N == 1: return k * pow(k-1,M-1,P) % P if N == 2: return k * (k-1) * pow(k*k-3*k+3,M-1,P)%P A = [[k * k - 3 * k + 3,k-1 + (k-2) * (k-3)], [2 * (k-2)**2 + (k-2) * (k-3) ** 2,2 * (k-2) ** 2 + (k-3) ** 3 + (k-2)*(k-3) + (k-3) ** 2 * (k-4)]] tmp = [[1,0], [0,1]] a = k * (k-1) b = k * (k-1) * (k-2) u = M-1 while u: if u & 1: tmp = seki(tmp,A) A = seki(A,A) u >>= 1 ans = (tmp[0][0] * a + tmp[0][1] * b + tmp[1][0] * a + tmp[1][1] * b) % P return ans ans = 0 for i in range(K-1): if i % 2 == 0: c = 1 else: c = -1 tmp = comb(K,i) * f(K-i) * c ans = (ans + tmp) % P print(ans)