Yukicoder No.344 ある無理数の累乗
No.344 ある無理数の累乗
感想
数学ゲー (+ DP, 周期性)。解けず。解法はeditorialが詳しい。
累乗法で対数時間で解くことをまず考えた。$a + b \sqrt 3 \; (a, b \in {\mathbb N})$とする。$a, b$を$\bmod 1000$で計算したいが、これはできなかった。無理数であるため小数点以下に無限に続くため、$a,b$の$1000$の位以上が後の$a,b$の$1,10,100$の位に影響しうる。有理数なら(循環少数になるやつでも)なんとかなりそう。正直modの話はふわっとしか理解してなかったので勉強になった。
二項定理による展開はちょっと考えたが、$1 - \sqrt 3$は出てこなかった。 数学ゲーであるという判断ができなかったのが問題だろう。 無理数を扱うのは(係数だけ考えるといった程度では)無理なのだと考えるべきであった。
実装
#include <iostream>
#include <vector>
#include <map>
#include <utility>
#define repeat_from(i,m,n) for (int i = (m); (i) < (n); ++(i))
using namespace std;
const int mod = 1000;
int main() {
int n; cin >> n;
vector<int> g;
map<pair<int,int>,int> adj;
g.push_back(2);
g.push_back(2);
adj[make_pair(g[0], g[1])] = 2;
repeat_from (i,2,n+1) {
g.push_back((2 * g[i-1] + 2 * g[i-2]) % mod);
pair<int,int> key = { g[i-1], g[i] };
if (adj.count(key)) {
int l = adj[key]; // g[p] == g[i+1]
int r = i+1;
int j = (n - l) % (r - l) + l;
cout << (g[j] - (n%2 ? 0 : 1) + mod) % mod << endl;
return 0;
}
adj[key] = i+1;
}
cout << (g[n] - (n%2 ? 0 : 1) + mod) % mod << endl;
return 0;
}