結果

問題 No.1269 I hate Fibonacci Number
ユーザー chocoruskchocorusk
提出日時 2020-10-25 21:56:02
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 23 ms / 3,000 ms
コード長 5,396 bytes
コンパイル時間 1,636 ms
コンパイル使用メモリ 148,788 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-21 21:06:42
合計ジャッジ時間 2,909 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 3 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,944 KB
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 4 ms
6,944 KB
testcase_14 AC 21 ms
6,940 KB
testcase_15 AC 5 ms
6,940 KB
testcase_16 AC 20 ms
6,944 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 23 ms
6,940 KB
testcase_19 AC 17 ms
6,940 KB
testcase_20 AC 5 ms
6,940 KB
testcase_21 AC 14 ms
6,944 KB
testcase_22 AC 13 ms
6,940 KB
testcase_23 AC 13 ms
6,940 KB
testcase_24 AC 7 ms
6,944 KB
testcase_25 AC 9 ms
6,940 KB
testcase_26 AC 2 ms
6,944 KB
testcase_27 AC 2 ms
6,944 KB
testcase_28 AC 2 ms
6,944 KB
testcase_29 AC 9 ms
6,944 KB
testcase_30 AC 4 ms
6,940 KB
testcase_31 AC 17 ms
6,944 KB
testcase_32 AC 9 ms
6,944 KB
testcase_33 AC 7 ms
6,940 KB
testcase_34 AC 2 ms
6,940 KB
testcase_35 AC 5 ms
6,940 KB
testcase_36 AC 2 ms
6,940 KB
testcase_37 AC 2 ms
6,940 KB
testcase_38 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#define popcount __builtin_popcount
using namespace std;
using ll=long long;
typedef pair<int, int> P;
template< int char_size >
struct TrieNode {
  int nxt[char_size];

  int exist;
  vector< int > accept;

  TrieNode() : exist(0) {
    memset(nxt, -1, sizeof(nxt));
  }
};

template< int char_size, int margin >
struct Trie {
  using Node = TrieNode< char_size >;

  vector< Node > nodes;
  int root;

  Trie() : root(0) {
    nodes.push_back(Node());
  }

  void update_direct(int node, int id) {
    nodes[node].accept.push_back(id);
  }

  void update_child(int node, int child, int id) {
    ++nodes[node].exist;
  }

  void add(const string &str, int str_index, int node_index, int id) {
    if(str_index == str.size()) {
      update_direct(node_index, id);
    } else {
      const int c = str[str_index] - margin;
      if(nodes[node_index].nxt[c] == -1) {
        nodes[node_index].nxt[c] = (int) nodes.size();
        nodes.push_back(Node());
      }
      add(str, str_index + 1, nodes[node_index].nxt[c], id);
      update_child(node_index, nodes[node_index].nxt[c], id);
    }
  }

  void add(const string &str, int id) {
    add(str, 0, 0, id);
  }

  void add(const string &str) {
    add(str, nodes[0].exist);
  }

  void query(const string &str, const function< void(int) > &f, int str_index, int node_index) {
    for(auto &idx : nodes[node_index].accept) f(idx);
    if(str_index == str.size()) {
      return;
    } else {
      const int c = str[str_index] - margin;
      if(nodes[node_index].nxt[c] == -1) return;
      query(str, f, str_index + 1, nodes[node_index].nxt[c]);
    }
  }

  void query(const string &str, const function< void(int) > &f) {
    query(str, f, 0, 0);
  }

  int count() const {
    return (nodes[0].exist);
  }

  int size() const {
    return ((int) nodes.size());
  }
};
/**
 * @brief Aho-Corasick(エイホ–コラシック法)
 * @docs docs/aho-corasick.md
 */
template< int char_size, int margin >
struct AhoCorasick : Trie< char_size + 1, margin > {
  using Trie< char_size + 1, margin >::Trie;

  const int FAIL = char_size;
  vector< int > correct;

  void build(bool heavy = true) {
    correct.resize(this->size());
    for(int i = 0; i < this->size(); i++) {
      correct[i] = (int) this->nodes[i].accept.size();
    }
    queue< int > que;
    for(int i = 0; i <= char_size; i++) {
      if(~this->nodes[0].nxt[i]) {
        this->nodes[this->nodes[0].nxt[i]].nxt[FAIL] = 0;
        que.emplace(this->nodes[0].nxt[i]);
      } else {
        this->nodes[0].nxt[i] = 0;
      }
    }
    while(!que.empty()) {
      auto &now = this->nodes[que.front()];
      int fail = now.nxt[FAIL];
      correct[que.front()] += correct[fail];
      que.pop();
      for(int i = 0; i < char_size; i++) {
        if(~now.nxt[i]) {
          this->nodes[now.nxt[i]].nxt[FAIL] = this->nodes[fail].nxt[i];
          if(heavy) {
            auto &u = this->nodes[now.nxt[i]].accept;
            auto &v = this->nodes[this->nodes[fail].nxt[i]].accept;
            vector< int > accept;
            set_union(begin(u), end(u), begin(v), end(v), back_inserter(accept));
            u = accept;
          }
          que.emplace(now.nxt[i]);
        } else {
          now.nxt[i] = this->nodes[fail].nxt[i];
        }
      }
    }
  }

  map< int, int > match(const string &str, int now = 0) {
    map< int, int > result;
    for(auto &c : str) {
      now = this->nodes[now].nxt[c - margin];
      for(auto &v : this->nodes[now].accept) result[v] += 1;
    }
    return result;
  }

  pair< int64_t, int > move(const char &c, int now = 0) {
    now = this->nodes[now].nxt[c - margin];
    return {correct[now], now};
  }

  pair< int64_t, int > move(const string &str, int now = 0) {
    int64_t sum = 0;
    for(auto &c : str) {
      auto nxt = move(c, now);
      sum += nxt.first;
      now = nxt.second;
    }
    return {sum, now};
  }
};

const ll MOD=1e9+7;
ll f[99];
int main()
{
    int n; ll l, r; cin>>n>>l>>r;
    f[0]=1, f[1]=1;
    for(int i=2; i<90; i++){
        f[i]=f[i-1]+f[i-2];
    }
    AhoCorasick<10, '0'> aho;
    for(int i=1; i<90; i++){
        if(l<=f[i] && f[i]<=r){
            string s;
            ll x=f[i];
            while(x){
                s+='0'+(x%10);
                x/=10;
            }
            reverse(s.begin(), s.end());
            aho.add(s);
        }
    }
    aho.build();
    int m=aho.nodes.size();
    vector<ll> dp(m);
    ll ans=MOD-1;
    dp[0]=1;
    for(int i=0; i<n; i++){
        vector<ll> ndp(m);
        for(int j=0; j<m; j++){
            if(dp[j]==0) continue;
            auto v=aho.nodes[j];
            for(int k=0; k<10; k++){
                int l=v.nxt[k];
                if(!aho.nodes[l].accept.empty()) continue;
                ndp[l]+=dp[j];
                if(ndp[l]>=MOD) ndp[l]-=MOD;
            }
        }
        swap(dp, ndp);
    }
    for(int i=0; i<m; i++){
        (ans+=dp[i])%=MOD;
    }
    cout<<ans<<endl;
    return 0;
}
0