結果

問題 No.3516 Very Large Range Mod
コンテスト
ユーザー tassei903
提出日時 2026-04-25 17:39:27
言語 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  
実行時間 110 ms / 2,000 ms
コード長 2,565 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,229 ms
コンパイル使用メモリ 334,756 KB
実行使用メモリ 7,972 KB
最終ジャッジ日時 2026-04-25 17:39:47
合計ジャッジ時間 9,167 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'void solve()':
main.cpp:102:18: warning: 'j' may be used uninitialized [-Wmaybe-uninitialized]
  102 |         while (j < n + 1) {
      |                ~~^~~~~~~
main.cpp:64:13: note: 'j' was declared here
   64 |         int j;
      |             ^
In file included from /home/linuxbrew/.linuxbrew/Cellar/gcc/15.2.0_1/include/c++/15/algorithm:62,
                 from /home/linuxbrew/.linuxbrew/Cellar/gcc/15.2.0_1/include/c++/15/x86_64-pc-linux-gnu/bits/stdc++.h:53,
                 from main.cpp:1:
In function 'constexpr const _Tp& std::min(const _Tp&, const _Tp&) [with _Tp = long long int]',
    inlined from 'void solve()' at main.cpp:103:14:
/home/linuxbrew/.linuxbrew/Cellar/gcc/15.2.0_1/include/c++/15/bits/stl_algobase.h:239:7: warning: 'rj' may be used uninitialized [-Wmaybe-uninitialized]
  239 |       if (__b < __a)
      |       ^~
main.cpp: In function 'void solve()':
main.cpp:65:12: note: 'rj' was declared here
   65 |         ll rj;
      |            ^~

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int, int>
#define pll pair<ll, ll>
#define vi vector<int>
#define vl vector<ll>
#define ov4(a, b, c, d, name, ...) name
#define rep3(i, a, b, c) for(ll i = (a); i < (b); i += (c))
#define rep2(i, a, b) rep3(i, a, b, 1)
#define rep1(i, n) rep2(i, 0, n)
#define rep0(n) rep1(aaaaa, n)
#define rep(...) ov4(__VA_ARGS__, rep3, rep2, rep1, rep0)(__VA_ARGS__)
#define per(i, a, b) for(ll i = (a)-1; i >= (b); i--)
#define fore(e, v) for(auto&& e : v)
#define all(a) begin(a), end(a)
#define sz(a) (int)(a.size())
#define lb(v, x) (lower_bound(all(v), x) - begin(v))
#define eb emplace_back

template<typename T, typename S> bool chmin(T& a, const S& b) { return a > b ? a = b, 1 : 0; }
template<typename T, typename S> bool chmax(T& a, const S& b) { return a < b ? a = b, 1 : 0; }
 
const int INF = 1e9 + 100;
const ll INFL = 3e18 + 100;
 
#define i128 __int128_t
 
struct _ {
   _() { cin.tie(0)->sync_with_stdio(0), cout.tie(0); }
} __;

void debug(auto ...vs) {
    ((cerr << vs << " "), ...) << endl;
}
ll extgcd(ll a, ll b, ll& x, ll& y) {
   // assert(a >= 0 && b >= 0);
   if(!b) return x = 1, y = 0, a;
   ll d = extgcd(b, a % b, y, x);
   y -= a / b * x;
   return d;
}
ll inv_mod(ll x, ll md) {
   ll y, z;
   extgcd(x, md, y, z);
   return (y % md + md) % md;
}

void solve() {
	int n;
	cin >> n;
	ll k, m;cin >> k >> m;
	vl b(n + 1), c(n + 1);
	rep(i, n) cin >> b[i];
	rep(i, n) {
		cin >> c[i];
		c[i] %= m;
	}
	b.back() = 1;
	c.back() = 0;
	// debug("!");
	
	ll s = 0;
	int j;
	ll rj;
	ll t = 0;
	rep(i, n + 1) {
		if (s + b[i] <= k) {
			s += b[i];
			t += b[i] * c[i] % m;
			t %= m;
		}
		else {
			t += (k - s) * c[i] % m;
			t %= m;
			rj = s + b[i] - k;
			j = i;
			break;
		}
	}

	auto calc = [&](ll r, ll t, ll z) -> ll {
		if (z == 0) {
			if (t == 0) return r;
			else return 0;
		}
		ll g = gcd(m, z);
		if (t % g) return 0;
		t /= g;
		z /= g;
		int M = m / g;
		ll i0 = inv_mod(z, M) * (M - t) % M;

		ll ans = r / M;
		if (i0 < r % M)ans++;
		return ans;
	};

	int i = 0;
	ll ri = b[i];
	ll ans = 0;
	while (j < n + 1) {
		int r = min(ri, rj);
		ans += calc(r, t, (c[j]-c[i] + m) % m);
		// debug(r, t,  (c[j]-c[i] + m) % m,calc(r, t, (c[j]-c[i] + m) % m));
		t += (c[j] - c[i] + m) % m * r % m;
		t %= m;
		if (ri < rj) {
			rj -= ri;
			i += 1;
			ri = b[i];
		}
		else {
			ri -= rj;
			j += 1;
			if (j < n + 1) rj = b[j];
		}
	}
	cout << ans << endl;
}

int main(){
    int T = 1;
    // int T;cin >> T;
    while(T--) {

        solve();
    }
    
}
0