DISCO presents ディスカバリーチャンネル プログラミングコンテスト2016 予選 C: アメージングな文字列は、きみが作る！

問題

discovery2016-qual.contest.atcoder.jp

解法

DDPC 2016 予選 解説 from AtCoder Inc.

www.slideshare.net

解説スライドの通り、出来るだけ前の方をaで埋めて、置換しきれない分は辞書順最小の接尾辞を探している。接尾辞を探すのは Suffix Array ではなく、 Rolling Hash を使った。

コード

#include <cstdio>
#include <iostream>
#include <sstream>
#include <fstream>
#include <iterator>
#include <iomanip>
#include <algorithm>
#include <cmath>
#include <string>
#include <vector>
#include <list>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <bitset>
#include <numeric>
#include <limits>
#include <climits>
#include <cfloat>
#include <functional>
#include <cassert>
using namespace std;

typedef long long ll;

class RollingHash {
 private:
  vector<long long> mod;
  void init() {
    // mod.push_back(999999937LL);
    mod.push_back(1000000009LL);
  }
  const long long base = 1000000007LL;
  int n;
  vector<vector<long long> > hs, pw;
  RollingHash() {}

 public:
  int cnt = 0;

  RollingHash(const string& s) : n(s.size()) {
    init();
    hs.resize(mod.size()), pw.resize(mod.size());
    for (int i = 0; i < mod.size(); i++) {
      hs[i].assign(n + 1, 0);
      pw[i].assign(n + 1, 0);
      hs[i][0] = 0;
      pw[i][0] = 1;
      for (int j = 0; j < n; j++) {
        // pw[i][j + 1] = pw[i][j] * base % mod[i];
        // hs[i][j + 1] = (hs[i][j] * base + s[j]) % mod[i];
        pw[i][j + 1] = pw[i][j] * base;
        hs[i][j + 1] = (hs[i][j] * base + s[j]);
      }
    }
  }

  inline long long hash(int l, int r, int i) {
    // return ((hs[i][r] - hs[i][l] * pw[i][r - l]) % mod[i] + mod[i]) % mod[i];
    return hs[i][r] - hs[i][l] * pw[i][r - l];
  }

  inline bool match(int l1, int r1, int l2, int r2) {
    bool ret = 1;
    for (int i = 0; i < mod.size(); i++)
      ret &= hash(l1, r1, i) == hash(l2, r2, i);
    return ret;
  }

  int lcp(int i, int j) {
    int l = 0, r = min(n - i, n - j) + 1;
    while (l + 1 < r) {
      int m = (l + r) / 2;
      if (match(i, i + m, j, j + m))
        l = m;
      else
        r = m;
    }
    return l;
  }
};

int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);

  string S;
  int K;
  cin >> S >> K;
  if (K == 0) {
    cout << S << endl;
    return 0;
  }
  int pos = 0;
  int last = 0;
  int k = K;
  for (int i = 0; i < S.size(); ++i) {
    if (S[i] != 'a') {
      k--;
    } else {
      pos = i + 1;
    }
    if (k == 0 && i < S.size() - 1 && S[i + 1] != 'a') {
      last = i;
      break;
    }
    if (i == S.size() - 1) last = i;
  }

  if (last == S.size() - 1 || pos == S.size()) {
    for (int i = 0; i < S.size() - K; ++i) {
      cout << 'a';
    }
    cout << endl;
    return 0;
  }

  RollingHash rh(S);
  for (int i = pos; i <= last + 1 && i < S.size(); ++i) {
    int lcp = rh.lcp(pos, i);
    if (i + lcp == S.size())
      pos = i;
    else if (S[i + lcp] < S[pos + lcp])
      pos = i;
  }

  for (int i = 0; i <= last; ++i) cout << 'a';
  for (int i = pos; i < S.size(); ++i) cout << S[i];

  cout << endl;
}