結果
問題 | No.1706 Many Bus Stops (hard) |
ユーザー | tabae326 |
提出日時 | 2021-10-08 23:41:12 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 3,152 bytes |
コンパイル時間 | 3,270 ms |
コンパイル使用メモリ | 222,944 KB |
実行使用メモリ | 6,948 KB |
最終ジャッジ日時 | 2024-07-23 08:02:46 |
合計ジャッジ時間 | 4,877 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | WA | - |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | AC | 2 ms
5,376 KB |
testcase_06 | WA | - |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | WA | - |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | WA | - |
testcase_23 | WA | - |
testcase_24 | WA | - |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | WA | - |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | WA | - |
testcase_31 | WA | - |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | WA | - |
testcase_36 | WA | - |
testcase_37 | WA | - |
testcase_38 | WA | - |
testcase_39 | WA | - |
testcase_40 | WA | - |
testcase_41 | WA | - |
testcase_42 | WA | - |
ソースコード
#include <bits/stdc++.h> using namespace std; using ll = long long; #define rep(i, srt, end) for (long long i = (srt); i < (long long)(end); i++) // Ref: https://qiita.com/ysuzuki19/items/d89057d65284ba1a16ac #define dump(var) do{std::cerr << #var << " : ";view(var);}while(0) template<typename T> void view(T e){std::cerr << e << "\n";} template<typename T> void view(const std::vector<T>& v){for(const auto& e : v){ std::cerr << e << " "; } std::cerr << "\n";} template<typename T> void view(const std::vector<std::vector<T> >& vv){ std::cerr << "\n"; for(const auto& v : vv){ view(v); } } template<typename T> void dump_cout(const T& v) { for(long long i = 0; i < v.size(); i++) std::cout << v[i] << (i == v.size()-1 ? "\n" : " "); } #include <atcoder/modint> using mint = atcoder::modint1000000007; namespace mm { template <class T> using matrix = std::vector<std::vector<T>>; template <class T> matrix<T> E(int n) { matrix<T> res(n, std::vector<T>(n, 0)); for(int i = 0; i < n; i++) res[i][i] = 1; return res; } template <class T> matrix<T> matMul(matrix<T> a, matrix<T> b) { assert(a.size() && b.size()); assert(a[0].size() == b.size()); matrix<T> res(a.size(), std::vector<T>(b[0].size(), 0)); for(int i = 0; i < a.size(); i++) { for(int j = 0; j < b[0].size(); j++) { for(int k = 0; k < b.size(); k++) { res[i][j] += a[i][k] * b[k][j]; } } } return res; } template <class T> std::vector<T> vecMul(matrix<T> a, std::vector<T> b) { assert(a.size() && b.size()); assert(a[0].size() == b.size()); std::vector<T> res(b.size(), 0); for(int i = 0; i < a.size(); i++) { for(int j = 0; j < b.size(); j++) { res[i] += a[i][j] * b[j]; } } return res; } template <class T> matrix<T> matPow(matrix<T> a, long long p) { assert(a.size() && a.size() == a[0].size()); matrix<T> res(a.size(), std::vector<T>(a.size(), 0)); for(int i = 0; i < a.size(); i++) res[i][i] = 1; while(p) { if(p & 1) res = matMul(res, a); a = matMul(a, a); p /= 2; } return res; } } using namespace mm; void F(ll c, ll n, ll m) { double a = 1. / c; double b = 1. - a; matrix<double> M = { {a, 0, 0, a}, {0, b, b, 0}, {1, 0, 0, 0}, {0, 1, 0, 0} }; vector<double> V = {a, 0, 1, 0}; auto RM = matPow(M, n); auto RV = vecMul(RM, V); dump(RV); } void solve() { ll c, n, m; cin >> c >> n >> m; mint a = mint(c).inv(); mint b = 1 - a; matrix<mint> M = { {a, 0, 0, a}, {0, b, b, 0}, {1, 0, 0, 0}, {0, 1, 0, 0} }; vector<mint> V = {a, 0, 1, 0}; auto RM = matPow(M, n); auto RV = vecMul(RM, V); mint ans = 1 - (1 - RV[2]).pow(m); cout << ans.val() << endl; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); solve(); return 0; }