結果
| 問題 | No.681 Fractal Gravity Glue | 
| コンテスト | |
| ユーザー |  beet | 
| 提出日時 | 2018-04-27 23:32:43 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 2 ms / 2,000 ms | 
| コード長 | 1,529 bytes | 
| コンパイル時間 | 1,739 ms | 
| コンパイル使用メモリ | 175,024 KB | 
| 実行使用メモリ | 6,944 KB | 
| 最終ジャッジ日時 | 2024-06-27 22:21:40 | 
| 合計ジャッジ時間 | 2,447 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 20 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
using Int = long long;
const Int MOD=1e9+7; //<- alert!!!
typedef vector<Int> arr;
typedef vector<arr> mat;
inline arr mul(const mat &a,arr &b,Int mod){
  arr res(b.size(),0);
  for(Int i=0;i<(Int)b.size();i++)
    for(Int j=0;j<(Int)a[i].size();j++)
      (res[i]+=a[i][j]*b[j])%=mod;
  return res;
}
inline mat mul(const mat &a,const mat &b,Int mod){
  mat res(a.size(),arr(b[0].size(),0));
  for(Int i=0;i<(Int)a.size();i++)
    for(Int j=0;j<(Int)b[0].size();j++)
      for(Int k=0;k<(Int)b.size();k++)
	(res[i][j]+=a[i][k]*b[k][j])%=mod;
  return res;
}
inline mat mat_pow(mat a,Int n,Int mod){
  mat res(a);
  for(Int i=0;i<(Int)a.size();i++)
    for(Int j=0;j<(Int)a[i].size();j++)
      res[i][j]=(i==j);
  while(n){
    if(n&1) res=mul(a,res,mod);
    a=mul(a,a,mod);
    n>>=1;
  }
  return res;
}
arr G(Int b,Int d){
  mat m(3,arr(3,0));
  m[0][0]=d+1;m[0][1]=d;
  m[1][1]=1;m[1][2]=1;
  m[2][2]=1;
  arr v({0,1,1});
  mat p=mat_pow(m,b,MOD);
  arr r=mul(p,v,MOD);
  return r;
}
//INSERT ABOVE HERE
signed main(){
  Int n,b,d;
  cin>>n>>b>>d;
  arr r=G(b,d);
  Int ans=r[0];
  if(n<=d){
    ans+=MOD-n;
    ans%=MOD;
    cout<<ans<<endl;
    return 0;
  }
  Int x=d,y=1;
  while(x*(d+1)+d<=n) x=x*(d+1)+d,y++;
  
  while(n){
    Int k=n/(x+1);
    Int v=(G(y,d)[0]+(y+1))%MOD;
    ans+=MOD-(v*k%MOD);
    ans%=MOD;
    
    //cout<<x<<" "<<y<<":"<<n<<" "<<k<<":"<<(v*k%MOD)<<endl;
    
    n-=k*(x+1);
    x=(x-d)/(d+1);
    y--;
  }
  
  cout<<ans<<endl;
  return 0;
}
            
            
            
        