Submission #344505

---

Source Code Expand

#include <algorithm>
#include <cstdio>
#include <cstdlib>
#include <cctype>
#include <cmath>
#include <iostream>
#include <queue>
#include <list>
#include <map>
#include <numeric>
#include <set>
#include <sstream>
#include <string>
#include <vector>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;

#define MOD 1000000007

int dp[255][3][255][255];

int main(){
  int N, X;
  string str;
  cin >> N >> X;
  cin >> str;

  if(str[0] == '?'){
    dp[0][1][1][0] = 1;
    dp[0][2][0][0] = 1;
    dp[0][0][0][0] = 8;
  }else{
    int t = str[0]-'0';
    if(t==2){
      dp[0][1][1][0] = 1;
    }
    else if(t==5){
      dp[0][2][0][0] = 1;
    }
    else{
      dp[0][0][0][0] = 1;
    }
  }

  rep(i,N-1){
    rep(j,3){
      rep(k,N){
        rep(l,X+1){
          //cout << i << " " << j << " " << k << " " << l << " " << dp[i][j][k][l] << endl;
          
          if(str[i+1]=='?'){
            rep(t,3){
              if(t==1){
                if(j==2){
                  dp[i+1][t][k+1][l] += dp[i][j][k][l];
                  dp[i+1][t][k+1][l] %= MOD;
                }
                else if(j==1){
                  dp[i+1][t][1][l] += dp[i][j][k][l];
                  dp[i+1][t][1][l] %= MOD;
                }
                else{
                  dp[i+1][t][1][l] = (dp[i+1][t][1][l] + dp[i][j][k][l])%MOD;
                }
              }
              else if(t==2){
                if(j==1){
                  dp[i+1][t][k+1][min(X,l+(k+1)/2)] += dp[i][j][k][l];
                  dp[i+1][t][k+1][min(X,l+(k+1)/2)] %= MOD;
                }
                else if(j==2){
                  dp[i+1][t][0][l] += dp[i][j][k][l];
                  dp[i+1][t][0][l] %= MOD;
                }
                else{
                  dp[i+1][t][0][l] = (dp[i+1][t][0][l] + dp[i][j][k][l])%MOD;
                }              
              }
              else{
                dp[i+1][t][0][l] = (dp[i+1][t][0][l] + 8LL*dp[i][j][k][l])%MOD;
                dp[i+1][t][0][l] %= MOD;
              }
            }
          }else{
            int in = str[i+1]-'0';
            int t = 0;
            if(in == 2) t = 1;
            if(in == 5) t = 2;
            
            if(t==1){
              if(j==2){
                dp[i+1][t][k+1][l] += dp[i][j][k][l];
                dp[i+1][t][k+1][l] %= MOD;
              }
              else if(j==1){
                dp[i+1][t][1][l] += dp[i][j][k][l];
                dp[i+1][t][1][l] %= MOD;
              }
              else{
                dp[i+1][t][1][l] += dp[i][j][k][l];
                dp[i+1][t][1][l] %= MOD;
              }
            }
            else if(t==2){
              if(j==1){
                dp[i+1][t][k+1][min(X,l+(k+1)/2)] += dp[i][j][k][l];
                dp[i+1][t][k+1][min(X,l+(k+1)/2)] %= MOD;
              }
              else if(j==2){
                dp[i+1][t][0][l] += dp[i][j][k][l];
                dp[i+1][t][0][l] %= MOD;
              }
              else{
                dp[i+1][t][0][l] += dp[i][j][k][l];
                dp[i+1][t][0][l] %= MOD;
              }              
            }
            else{
              dp[i+1][t][0][l] += dp[i][j][k][l];
              dp[i+1][t][0][l] %= MOD;
            }
          }
        }
      }
    }
  }

  ll ret = 0;
  ll all = 1;
  rep(i,N){
    if(str[i]=='?') all = (all * 10LL)%MOD;
  }
  rep(i,3){
    rep(j,N+1){
      rep(k,X){
        ret = (ret + dp[N-1][i][j][k])%MOD;
      }
    }
  }
  cout << (all - ret + MOD)%MOD << endl;
  return 0;
}

Submission Info

Judge Result