結果

問題 No.1204 お菓子配り-FINAL
ユーザー PCTprobabilityPCTprobability
提出日時 2020-08-01 16:26:27
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 4,274 bytes
コンパイル時間 3,914 ms
コンパイル使用メモリ 346,540 KB
実行使用メモリ 52,352 KB
最終ジャッジ日時 2024-11-09 01:34:45
合計ジャッジ時間 87,348 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 32 WA * 42 RE * 56
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <random>
#include <bits/stdc++.h>
#include <boost/multiprecision/cpp_int.hpp>
using namespace std;
namespace mp = boost::multiprecision;
using namespace mp;
using ull = __int128;
using ll = long long;
using cll = cpp_int;
#define sort(a) sort(a.begin(), a.end())
#define rep(i,a) for(int i=0;i<a;i++)
const ll mod = 1000000007;
const ll MOD = 1000000007;
const ll MAX = 2000000;

long long fac[MAX],finv[MAX],inv[MAX];

// テーブルを作る前処理
void COMinit() {
    fac[0] = fac[1] = 1;
    finv[0] = finv[1] = 1;
    inv[1] = 1;
    for (int i = 2; i < MAX; i++){
        fac[i] = fac[i - 1] * i % MOD;
        inv[i] = MOD - inv[MOD%i] * (MOD / i) % MOD;
        finv[i] = finv[i - 1] * inv[i] % MOD;
    }
}

// 二項係数計算
long long COM(int n, int k){
    if (n < k) return 0;
    if (n < 0 || k < 0) return 0;
    return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD;
}

class mint {
    long long x;
public:
    mint(long long x=0) : x((x%mod+mod)%mod) {}
    mint operator-() const { 
      return mint(-x);
    }
    mint& operator+=(const mint& a) {
        if ((x += a.x) >= mod) x -= mod;
        return *this;
    }
    mint& operator-=(const mint& a) {
        if ((x += mod-a.x) >= mod) x -= mod;
        return *this;
    }
    mint& operator*=(const  mint& a) {
        (x *= a.x) %= mod;
        return *this;
    }
    mint operator+(const mint& a) const {
        mint res(*this);
        return res+=a;
    }
    mint operator-(const mint& a) const {
        mint res(*this);
        return res-=a;
    }
    mint operator*(const mint& a) const {
        mint res(*this);
        return res*=a;
    }
    mint pow(ll t) const {
        if (!t) return 1;
        mint a = pow(t>>1);
        a *= a;
        if (t&1) a *= *this;
        return a;
    }
    // for prime mod
    mint inv() const {
        return pow(mod-2);
    }
    mint& operator/=(const mint& a) {
        return (*this) *= a.inv();
    }
    mint operator/(const mint& a) const {
        mint res(*this);
        return res/=a;
    }

    friend ostream& operator<<(ostream& os, const mint& m){
        os << m.x;
        return os;
    }
  friend istream& operator>>(istream& lhs,mint& rhs) noexcept {
        lhs >> rhs.x;
        return lhs;
    }
};


int kkk(vector<int> n){
  ll b=n.size();
  if(b==1){
    return n.at(0);
  }
  else{
   ll  ans=0;
   vector<vector<int>> data(b-1, vector<int>(b-1));
    for(int i=0;i<b-1;i++){
      for(int j=0;j<b-1;j++){
        if(i==j){
          data.at(i).at(j)=n.at(j)+n.at(j+1);
        }
        else if(i>j){
          data.at(i).at(j)=n.at(j);
      }
        else{
          data.at(i).at(j)=n.at(j+1);
    }
  }
    }
    vector<int> k(b-1);
    for(int i=0;i<b-1;i++){
      k.at(i)=n.at(i);
    }
    ans=(ans+(n.at(b-1)%MOD)*(kkk(k)%MOD)%MOD);
      for(int i=0;i<b-1;i++){
        ans=(ans+((n.at(i)%MOD)*(kkk(data.at(i))%MOD))%MOD)%MOD;
      }
      return ans;
}
}

int modPow(long long a, long long n, long long p) {
  if (n == 0) return 1; // 0乗にも対応する場合
  if (n == 1) return a % p;
  if (n % 2 == 1) return (a * modPow(a, n - 1, p)) % p;
  long long t = modPow(a, n / 2, p);
  return (t * t) % p;
}
ll T(ll a,ll b){
  if(b!=0){
 return (a-b+1)*modPow(a+1,b-1,MOD)%MOD;
  }
  else{
    return 1;
  }
}
int main() {
  COMinit();
  ll kai[100001];
kai[0]=1;
  for(int i=1;i<=100000;i++){
    kai[i]=kai[i-1]*i%MOD;
  }
  ll gya[100001];
    for(int i=0;i<=100000;i++){
      gya[i]=modPow(i,MOD-2,MOD);
    }
 ll a,b;
  cin>>a>>b;
  string c;
  cin>>c;
  ll d=0;
  ll mou=0;
  ll mada=0;
  for(int i=0;i<b;i++){
    if(c.at(i)=='-'){
      mou++;
    }
    else{
      mada++;
    }
  }
for(int i=0;i<b-1;i++){
  if(c.at(i)=='o'&&c.at(i+1)=='-'){
    d++;
  }
}
  vector<ll> before(d);
  ll e=0;
  for(int i=1;i<b;i++){
    if(c.at(i)=='-'){
      before.at(e)++;
    }
    if(c.at(i)=='o'&&c.at(i-1)=='-'){
      e++;
    }
  }
ll ans=1;
  for(int i=0;i<d;i++){
    ans=ans*T(before.at(i),before.at(i))%MOD;
  }
  ans=ans*kai[mou]%MOD;
  for(int i=0;i<d;i++){
    ans=ans*gya[before.at(i)]%MOD;
  }
  ll answer=0;
  for(int i=0;i<=a-b;i++){
   answer+=(T(a-b,i)*ans%MOD)*COM(mou+i,i)*modPow(a,(a-b-i)+mada,MOD)%MOD;
  }
  cout<<(answer%MOD)*(a-b+1)%MOD<<endl;
}
0