結果
| 問題 |
No.950 行列累乗
|
| コンテスト | |
| ユーザー |
heno239
|
| 提出日時 | 2019-12-13 02:48:35 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 3,335 bytes |
| コンパイル時間 | 1,691 ms |
| コンパイル使用メモリ | 128,448 KB |
| 実行使用メモリ | 240,064 KB |
| 最終ジャッジ日時 | 2024-06-26 05:02:29 |
| 合計ジャッジ時間 | 8,204 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | -- * 4 |
| other | TLE * 1 -- * 56 |
ソースコード
#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<iomanip>
#include<math.h>
#include<complex>
#include<queue>
#include<deque>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<functional>
#include<assert.h>
#include<numeric>
using namespace std;
#define Rep(i,m,n) for(int i=(int)(m) ; i < (int) (n) ; ++i )
#define rep(i,n) Rep(i,0,n)
#define stop char nyaa;cin>>nyaa;
using ll = long long;
const int inf = 1e9 + 7;
const ll INF = 1LL << 60;
//const ll mod = 1e9 + 7;
using P = pair<int, int>;
using LP = pair<ll, ll>;
ll p;
typedef vector<vector<ll>> mat;
typedef vector<ll> vec;
mat mtmul(mat &A, mat &B) {
mat C(A.size(), vec(B[0].size()));
rep(i, (int)A.size()) {
rep(k, (int)B.size()) {
rep(j, (int)B[0].size()) {
C[i][j] = (C[i][j] + (A[i][k] * B[k][j]) % p) % p;
}
}
}
return C;
}
mat mtpow(mat A, ll n) {
mat B(A.size(), vec(A.size()));
rep(i, (int)A.size()) {
B[i][i] = 1;
}
while (n > 0) {
if (n&(ll)1)B = mtmul(B, A);
A = mtmul(A, A);
n >>= 1;
}
return B;
}
ll dat(mat A) {
ll res = A[0][0] * A[1][1] - A[0][1] * A[1][0];
res = (res%p + p) % p;
return res;
}
ll mod_pow(ll x, ll n) {
ll res = 1;
while (n > 0) {
if (n % 2)res = res * x%p;
x = x * x%p; n >>= 1;
}
return res;
}
//a^res=b (mod p)
ll ident(ll a, ll b) {
if (b == 1)return p-1;
if (p <= 100000) {
int tmp = 1;
ll cop = a;
while (cop != b) {
cop = cop * a%p;
tmp++;
}
return tmp;
}
ll d = sqrt(p);
map<ll, int> mp;
ll cop = b;
ll inva = mod_pow(a, p - 2);
for (int y = 0; y < d; y++) {
mp[cop] = y;
cop = cop * inva%p;
}
ll spea = mod_pow(a, d);
cop = 1;
for (int x = 0; x <= d; x++) {
if (mp.find(cop)!=mp.end()) {
ll res = x * d + mp[cop];
res %= (p - 1);
return res;
}
cop = cop * spea%p;
}
assert(false);
return 0;
}
void solve() {
mat A(2), B(2);
cin >> p;
rep(i, 2) {
A[i].resize(2);
rep(j, 2)cin >> A[i][j];
}
rep(i, 2) {
B[i].resize(2);
rep(j, 2)cin >> B[i][j];
}
ll da = dat(A), db = dat(B);
map<mat, bool> mp;
if (da == 0) {
if (db > 0) {
cout << -1 << endl; return;
}
mat cop = A;
if (cop == B) {
cout << 1 << endl; return;
}
mp[cop] = true;
int tmp = 1;
while (true) {
tmp++;
cop = mtmul(cop, A);
if (mp[cop]) {
cout << -1 << endl; return;
}
if (cop == B) {
cout << tmp << endl; return;
}
mp[cop] = true;
}
}
if (da == 1) {
mat cop = A;
if (db != 1) {
cout << -1 << endl; return;
}
if (cop == B) {
cout << 1 << endl; return;
}
mp[cop] = true;
int tmp = 1;
while (true) {
tmp++;
cop = mtmul(cop, A);
if (mp[cop]) {
cout << -1 << endl; return;
}
if (cop == B) {
cout << tmp << endl; return;
}
mp[cop] = true;
}
}
if (db == 0) {
cout << -1 << endl; return;
}
ll k = ident(da, db);
ll res = k;
//assert(0 < k&&k <= p - 1);
mat cop = mtpow(A, k);
mat Z = mtpow(A, p - 1);
//cout << Z[0][0] << " " << Z[0][1] << " " << Z[1][0] << " " << Z[1][1] << endl;
if (cop == B) {
cout << k << endl; return;
}
mp[cop] = true;
while (true) {
res += p - 1;
cop = mtmul(cop, Z);
if (cop == B) {
assert(false);
cout << res << endl; return;
}
if (mp[cop]) {
cout << -1 << endl; return;
}
mp[cop] = true;
}
}
signed main() {
solve();
stop
return 0;
}
heno239