//#define NDEBUG #include #include #include #include #include #include namespace n91 { using i8 = std::int_fast8_t; using i32 = std::int_fast32_t; using i64 = std::int_fast64_t; using u8 = std::uint_fast8_t; using u32 = std::uint_fast32_t; using u64 = std::uint_fast64_t; using isize = std::ptrdiff_t; using usize = std::size_t; struct rep { struct itr { usize i; constexpr itr(const usize i) noexcept : i(i) {} void operator++() noexcept { ++i; } constexpr usize operator*() const noexcept { return i; } constexpr bool operator!=(const itr x) const noexcept { return i != x.i; } }; const itr f, l; constexpr rep(const usize f, const usize l) noexcept : f(std::min(f, l)), l(l) {} constexpr auto begin() const noexcept { return f; } constexpr auto end() const noexcept { return l; } }; struct revrep { struct itr { usize i; constexpr itr(const usize i) noexcept : i(i) {} void operator++() noexcept { --i; } constexpr usize operator*() const noexcept { return i; } constexpr bool operator!=(const itr x) const noexcept { return i != x.i; } }; const itr f, l; constexpr revrep(const usize f, const usize l) noexcept : f(l - 1), l(std::min(f, l) - 1) {} constexpr auto begin() const noexcept { return f; } constexpr auto end() const noexcept { return l; } }; template auto md_vec(const usize n, const T &value) { return std::vector(n, value); } template auto md_vec(const usize n, Args... args) { return std::vector(n, md_vec(args...)); } template constexpr T difference(const T &a, const T &b) noexcept { return a < b ? b - a : a - b; } template void chmin(T &a, const T &b) noexcept { if (b < a) a = b; } template void chmax(T &a, const T &b) noexcept { if (a < b) a = b; } template class rec_lambda { F f; public: rec_lambda(F &&f) : f(std::move(f)) {} template auto operator()(Args &&... args) const { return f(*this, std::forward(args)...); } }; template auto make_rec(F &&f) { return rec_lambda(std::move(f)); } template T scan() { T ret; std::cin >> ret; return ret; } } // namespace n91 #include namespace luma { using namespace std; vector Zalgorithm(string s) { int n = s.size(); vector Z(n); Z[0] = n; int i = 1, j = 0; while (i < n) { while (i + j < n && s[j] == s[i + j]) ++j; Z[i] = j; if (j == 0) { ++i; continue; } int k = 1; while (i + k < n && Z[k] < j - k) Z[i + k] = Z[k], ++k; i += k, j -= k; } return Z; } template struct SA { using T = _T; const int n; const T &s; vector rnk; vector sa; int operator[](int i) const { return sa[i]; } SA(const string &s) : n(s.size()), s(s), rnk(n) { sa_is(sa, s + U(0), K); // change if T != string sa.erase(begin(sa)); for (int i = 0; i < n; i++) rnk[sa[i]] = i; } template void sa_is(vector &sa, const V &s, int k) { int n = s.size(); vector S(n); // or L // S.back() = 1; for (int i = n - 2; i >= 0; i--) { if (s[i] < s[i + 1]) S[i] = 1; else if (s[i] > s[i + 1]) S[i] = 0; else S[i] = S[i + 1]; } // vector lms; for (int i = 0; i < n; i++) if (isLMS(S, i)) lms.emplace_back(i); auto seed = lms; vector _sa; inducedSort(_sa, s, k, S, seed); sa.resize(0); for (auto el : _sa) if (isLMS(S, el)) sa.emplace_back(el); vector nums(n, -1); int num = 0; nums[sa[0]] = 0; for (int x = 0; x < (int)sa.size() - 1; x++) { int i = sa[x], j = sa[x + 1]; int diff = 0; for (int d = 0; d < n; d++) { if (s[i + d] != s[j + d] || isLMS(S, i + d) != isLMS(S, j + d)) { diff = 1; break; } else if (d && (isLMS(S, i + d) || isLMS(S, j + d))) break; } if (diff) num++; nums[j] = num; } auto _nums = nums; nums.resize(0); for (int el : _nums) if (el != -1) nums.emplace_back(el); if (num + 1 < (int)nums.size()) { sa_is, int>(seed, nums, num + 1); } else { seed.resize(num + 1); for (int i = 0; i < num + 1; i++) seed[nums[i]] = i; } for (int &el : seed) el = lms[el]; inducedSort(sa, s, k, S, seed); } template void inducedSort(vector &sa, const V &s, int k, const vector &S, const vector &lms) { int n = s.size(); sa.resize(n), sa.assign(n, -1); vector bin(k + 1, 0); for (W ch : s) bin[ch + 1]++; int sum = 0; for (int &el : bin) el = sum += el; // step 1 vector count(k); for (auto it = rbegin(lms); it != rend(lms); ++it) { int i = *it; W ch = s[i]; sa[bin[ch + 1] - 1 - count[ch]] = i; count[ch]++; } // step 2 count.assign(k, 0); for (int i : sa) { if (i == -1 || i == 0) continue; if (S[i - 1]) continue; W ch = s[i - 1]; sa[bin[ch] + count[ch]] = i - 1; count[ch]++; } // step 3 count.assign(k, 0); for (auto it = rbegin(sa); it != rend(sa); ++it) { int i = *it; if (i == -1 || i == 0) continue; if (!S[i - 1]) continue; W ch = s[i - 1]; sa[bin[ch + 1] - 1 - count[ch]] = i - 1; count[ch]++; } } inline bool isLMS(const vector &S, int i) { return i > 0 && !S[i - 1] && S[i]; } }; } // namespace luma namespace n91 { void main_() { /* std::ios::sync_with_stdio(false); std::cin.tie(nullptr); //*/ usize n = scan(); u64 m = scan(); const usize q = scan(); std::string s = scan(); std::vector qs(q); for (auto &e : qs) { std::cin >> e; e -= 1; } { auto z = luma::Zalgorithm(s); usize i = 1; while (i != n) { if (z[i] == n - i) { break; } i += 1; } if (n % i == 0) { m *= n / i; n = i; s.resize(i); } } luma::SA<> sa(s + s); usize qi = 0; u64 cur = 0; std::vector ans(q); for (const usize i : rep(0, n * 2)) { if (sa[i] < n) { while (qi != q && qs[qi] < cur + m - 1) { ans[qi] = n * (qs[qi] - cur) + n * 2 - sa[i]; qi += 1; } cur += m - 1; } else { if (qi != q && qs[qi] == cur) { ans[qi] = n * 2 - sa[i]; qi += 1; } cur += 1; } } for (const usize i : rep(0, q)) { if (i) std::cout << " "; std::cout << n * m + 1 - ans[i]; } std::cout << "\n"; } } // namespace n91 int main() { n91::main_(); return 0; }