結果
| 問題 |
No.1025 Modular Equation
|
| コンテスト | |
| ユーザー |
chocorusk
|
| 提出日時 | 2020-03-05 02:17:04 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 1,464 ms / 5,000 ms |
| コード長 | 1,345 bytes |
| コンパイル時間 | 768 ms |
| コンパイル使用メモリ | 76,648 KB |
| 実行使用メモリ | 6,820 KB |
| 最終ジャッジ日時 | 2024-11-30 23:52:50 |
| 合計ジャッジ時間 | 28,100 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 32 |
ソースコード
#include <iostream>
#include <vector>
#include <algorithm>
typedef long long ll;
using namespace std;
const ll MOD=1e9+7;
ll powmod(ll a, ll k, ll mod){
if(a==0) return 0;
ll ap=a, ans=1;
while(k){
if(k&1){
ans*=ap;
ans%=mod;
}
ap=ap*ap;
ap%=mod;
k>>=1;
}
return ans;
}
ll inv(ll a, ll mod){
return powmod(a, mod-2, mod);
}
ll gcd(ll a, ll b){
if(b==0) return a;
return gcd(b, a%b);
}
int main()
{
int n, k; ll b, p;
cin>>p>>n>>k>>b;
vector<ll> a(n);
k=gcd(k, p-1);
for(int i=0; i<n; i++) cin>>a[i];
ll r;
for(r=1; r<p; r++){
bool dame=0;
ll pp=1;
for(int i=0; i<p-2; i++){
(pp*=r)%=p;
if(pp==1){
dame=1; break;
}
}
if(!dame) break;
}
vector<ll> q(p-1);
vector<int> qi(p);
q[0]=1;
for(int i=1; i<p-1; i++) q[i]=q[i-1]*r%p;
for(int i=0; i<p-1; i++) qi[q[i]]=i;
vector<ll> dp(k+1);
dp[k]=1;
for(int i=0; i<n; i++){
vector<ll> tmp=dp;
for(int j=0; j<k; j++){
for(int l=0; l<(p-1)/k; l++){
ll m=(q[l*k]*a[i]+q[j])%p;
if(m==0) (tmp[k]+=dp[j]*k)%=MOD;
else (tmp[qi[m]%k]+=dp[j]*k)%=MOD;
}
}
if(a[i]==0) (tmp[k]+=dp[k]*(p-1))%=MOD;
else (tmp[qi[a[i]]%k]+=dp[k]*(p-1))%=MOD;
swap(tmp, dp);
}
if(b==0) cout<<dp[k]<<endl;
else cout<<dp[qi[b]%k]*inv((p-1)/k, MOD)%MOD<<endl;
return 0;
}
chocorusk