結果

問題 No.3516 Very Large Range Mod
コンテスト
ユーザー Kude
提出日時 2026-04-24 23:45:56
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 86 ms / 2,000 ms
コード長 1,697 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,695 ms
コンパイル使用メモリ 364,120 KB
実行使用メモリ 14,900 KB
最終ジャッジ日時 2026-04-24 23:46:05
合計ジャッジ時間 7,390 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic warning "-Wunused-function"
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, k, m;
  cin >> n >> k >> m;
  VI b(n), c(n);
  rep(i, n) cin >> b[i];
  rep(i, n) cin >> c[i];
  VL d(n + 1);
  rep(i, n) d[i+1] = d[i] + b[i];
  vector<pair<ll, int>> evs;
  rep(i, n + 1) {
    int pre = i == 0 ? 0 : c[i-1];
    int nxt = i == n ? 0 : c[i];
    evs.emplace_back(d[i], nxt - pre);
    if (d[i] + k <= d[n]) evs.emplace_back(d[i] + k, -(nxt - pre));
  }
  evs.emplace_back(d[n] + 1, 0);
  sort(all(evs));
  ll t_pre = 0;
  int val = 0, inc = 0;
  ll ans = 0;
  for (auto [t_nxt, add] : evs) {
    if (t_pre >= k) {
      auto [g, inv] = internal::inv_gcd(inc, m);
      ll d = t_nxt - t_pre;
      if (val % g == 0) {
        int p = m / g;
        int r = (m - val) / g * inv % p;
        if (r < d) ans += (d - r + p - 1) / p;
      }
    }
    val = (val + inc * (t_nxt - t_pre)) % m;
    if (val < 0) val += m;
    inc += add;
    t_pre = t_nxt;
  }
  cout << ans << '\n';
}
0