#171919 (C++14) No.515 典型LCP

提出ソース

結果

問題	No.515 典型LCP
ユーザー	しらっ亭
提出日時	2017-05-06 00:06:02
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	210 ms / 1,000 ms
コード長	5,817 bytes
コンパイル時間	2,741 ms
コンパイル使用メモリ	191,820 KB
実行使用メモリ	17,188 KB
最終ジャッジ日時	2024-09-14 10:05:38
合計ジャッジ時間	4,884 ms
ジャッジサーバーID （参考情報）	judge6 / judge5

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	210 ms 17,188 KB
testcase_01	AC	209 ms 17,168 KB
testcase_02	AC	107 ms 6,940 KB
testcase_03	AC	2 ms 6,940 KB
testcase_04	AC	2 ms 6,940 KB
testcase_05	AC	77 ms 6,940 KB
testcase_06	AC	77 ms 6,940 KB
testcase_07	AC	77 ms 6,940 KB
testcase_08	AC	92 ms 6,944 KB
testcase_09	AC	79 ms 6,940 KB
testcase_10	AC	78 ms 6,940 KB
testcase_11	AC	78 ms 6,940 KB
testcase_12	AC	78 ms 6,940 KB
testcase_13	AC	80 ms 6,940 KB
testcase_14	AC	8 ms 6,940 KB
testcase_15	AC	78 ms 6,944 KB
testcase_16	AC	77 ms 6,940 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <bits/stdc++.h>
using namespace std;

#define _p(...) (void)printf(__VA_ARGS__)
#define forr(x,arr) for(auto&& x:arr)
#define _overload3(_1,_2,_3,name,...) name
#define _rep2(i,n) _rep3(i,0,n)
#define _rep3(i,a,b) for(int i=int(a);i<int(b);++i)
#define rep(...) _overload3(__VA_ARGS__,_rep3,_rep2,)(__VA_ARGS__)
#define _rrep2(i,n) _rrep3(i,0,n)
#define _rrep3(i,a,b) for(int i=int(b)-1;i>=int(a);i--)
#define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__)
#define all(x) (x).begin(),(x).end()
#define bit(n) (1LL<<(n))
#define sz(x) ((int)(x).size())
#define ten(n) ((int)1e##n)
#define fst first
#define snd second
using ll=long long;
using pii=pair<int,int>;using pll=pair<ll,ll>;using pil=pair<int,ll>;using pli=pair<ll,int>;
using vs=vector<string>;using vvs=vector<vs>;using vvvs=vector<vvs>;
using vb=vector<bool>;using vvb=vector<vb>;using vvvb=vector<vvb>;
using vi=vector<int>;using vvi=vector<vi>;using vvvi=vector<vvi>;
using vl=vector<ll>;using vvl=vector<vl>;using vvvl=vector<vvl>;
using vd=vector<double>;using vvd=vector<vd>;using vvvd=vector<vvd>;
using vpii=vector<pii>;using vvpii=vector<vpii>;using vvvpii=vector<vvpii>;
template<class T> bool amax(T &a, const T &b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> bool amin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; }
ll ri(){ll l;cin>>l;return l;} string rs(){string s;cin>>s;return s;}
template<class T>T read(){T t;cin>>t;return t;}
template<class T,class U>ostream&operator<<(ostream&o,const pair<T,U>&p){return o<<'('<<p.fst<<", "<<p.snd<<')';}
ostream&operator<<(ostream&o,const vb&t){forr(e,t)o<<"#."[e];return o;}
template<class T>ostream&operator<<(ostream&o,const vector<T>&t){o<<"{";forr(e,t)o<<e<<",";o<<"}"<<endl;return o;}
#ifdef LOCAL
vs s_p_l_i_t(const string&s,char c){vs v;stringstream ss(s);string x;while(getline(ss,x,c))v.emplace_back(x);return move(v);}
void e_r_r(vs::iterator it){cerr<<endl;}
template<class T,class... Args>void e_r_r(vs::iterator it,T a,Args... args){cerr<<it->substr((*it)[0]==' ',it->length())<<" = "<<a<<", ";e_r_r(++it,args...);}
#define out(args...){vs a_r_g_s=s_p_l_i_t(#args,',');e_r_r(a_r_g_s.begin(),args);}
#else
#define out(args...)
#endif

struct RollingHash64 {
  const int base = 1e9+7;
  int N;
  vector<long long> P, H;

  RollingHash64() {}

  /**
   * O(N)
   */
  void init(const string & S) {
    N = sz(S);
    P.resize(N+1, 1);
    H.resize(N+1, 0);
    for (int i = 0; i < N; i++) {
      int c = (int) (S[i] - ' ');
      H[i+1] = H[i] * base + c;
      P[i+1] = P[i] * base;
    }
  }

  /**
   * S全体のハッシュ値を返す
   * O(1)
   */
  long long hash() const {
    return hash(0, N);
  }

  /**
   * S の [l, r) のハッシュ値を返す
   * O(1)
   */
  long long hash(int l, int r) const {
    return H[r] - H[l] * P[r - l];
  }

  /**
   * S の [l1, r1) と [l2, r2) のハッシュ値が等しいかを返す
   * O(1)
   */
  bool equals(int l1, int r1, int l2, int r2) const {
    if (l1 < 0 || l2 < 0) return false;
    if (r1 > N || r2 > N) return false;
    if (r1 - l1 != r2 - l2) return false;
    return hash(l1, r1) == hash(l2, r2);
  }

  /**
   * S の p1 からの len 文字と p2 からの len 文字が等しいかを返す
   * O(1)
   */
  bool equals(int p1, int p2, int len) const {
    return equals(p1, p1 + len, p2, p2 + len);
  }

  /**
   * S の pos 以降と other が等しいかを返す
   * O(1)
   */
  bool equals(int pos, const RollingHash64 &other) const {
    int r = pos + other.N;
    if (r >= N) return false;

    return hash(pos, r) == hash(0, other.N);
  }

  /**
   * S の p1 からと p2 からで共通する文字列の長さを返す。
   * O(log(N))
   */
  int lcp(int p1, int p2) const {
    int ok = 0;
    int ng = min(N - p1, N - p2) + 1;
    while (ng - ok > 1) {
      int mid = (ok + ng) / 2;
      (equals(p1, p1 + mid, p2, p2 + mid) ? ok : ng) = mid;
    }
    return ok;
  }
};

// space: O(n log n)
// init: O(n log n)
// query: O(1)
template <class T> struct SparseTable {
  vector<vector<T>> table;

  SparseTable() {}
  SparseTable(const vector<T> &A) {
    init(A);
  }

  void init(const vector<T> &A) {
    int n = (int) A.size();
    int height = 32 - __builtin_clz(n - 1);
    int width = 1 << height;
    table.resize(height, vector<T>(width));
    for (int i = 0; i < width; i++) table[0][i] = A[i];
    for (int i = 1; i < height; i++) for (int j = 0; j < width; j++) {
      const int b = ((j >> i) | 1) << i;
      table[i][j] = (j >> i) & 1 ? query(b, j) : query(j, b-1);
    }
  }

  // [l, r]
  T query(int l, int r) {
    if (l == r) return table[0][l];
    const int d = 31 - __builtin_clz(l ^ r);
    return min(table[d][l], table[d][r]);
  }
};

void Main() {
  ll n = ri();

  vector<pair<string, int>> S(n);
  rep(i, n) {
    S[i].fst = rs();
    S[i].snd = i;
  }

  sort(all(S));

  vi T(n);
  rep(i, n) T[S[i].snd] = i;

  ll m = ri();
  ll x = ri();
  ll d = ri();

  ll ans = 0;

  vi A(n-1);
  RollingHash64 r[2];

  r[0].init(S[0].fst);
  int p = 0;

  rep(i, n-1) {
    r[p^1].init(S[i+1].fst);
    {
      int ok = 0;
      int ng = min(r[0].N, r[1].N) + 1;
      while (ng - ok > 1) {
        int mid = (ok + ng) / 2;
        (r[0].hash(0, mid) == r[1].hash(0, mid) ? ok : ng) = mid;
      }
      A[i] = ok;
    }
    p ^= 1;
  }

  SparseTable<int> sparse_table(A);

  rep(k, 1, m+1) {
    ll i = (x / (n - 1)) + 1;
    ll j = (x % (n - 1)) + 1;
    if (i > j) swap(i, j);
    else j++;
    x = (x + d) % (n * (n - 1));

    int x = T[i-1];
    int y = T[j-1];
    if (x > y) swap(x, y);
    int l;
    if (x == y) l = sz(S[x].fst);
    else l = sparse_table.query(x, y-1);
    ans += l;
  }
  cout << ans << endl;
  
}
int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }

yukicoder

結果

テストケース

ソースコード