結果

問題 No.1358 [Zelkova 2nd Tune *] 語るなら枚数を...
ユーザー leaf_1415leaf_1415
提出日時 2021-01-22 23:22:59
言語 C++11
(gcc 11.4.0)
結果
TLE  
実行時間 -
コード長 2,100 bytes
コンパイル時間 657 ms
コンパイル使用メモリ 86,404 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-08-27 22:40:10
合計ジャッジ時間 5,542 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 18 ms
4,380 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 44 ms
4,376 KB
testcase_07 AC 29 ms
4,376 KB
testcase_08 AC 32 ms
4,376 KB
testcase_09 AC 29 ms
4,380 KB
testcase_10 AC 24 ms
4,380 KB
testcase_11 TLE -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#include <complex>
#define rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define all(x) (x).begin(),(x).end()
#define inf 1e18
#define mod 1000000007

using namespace std;

typedef long long llint;
typedef long long ll;
typedef pair<llint, llint> P;

llint gcd(llint a, llint b)
{
	if(b == 0) return a;
	return gcd(b, a%b);
}

//ax+by = gcd(a, b)を満たす(x, y)を求めgcd(a, b)を返す
llint extgcd(llint a, llint b, llint &x, llint &y)
{
	if(b == 0){
		x = 1, y = 0;
		return a;
	}
	llint xx, yy;
	llint d = extgcd(b, a%b, xx, yy);
	x = yy, y = xx-(a/b)*yy;
	return d;
}

//a^{-1} (mod m)を求める。存在しない場合(gcd(a, m)!=1)は-1を返す
llint mod_inverse(llint a, llint m)
{
	llint x, y;
	if(extgcd(a, m, x, y) != 1) return -1;
	return (x%m + m) % m;
}

//ax = b (mod m)を満たすx(mod m/gcd(a, m))を求める。存在しない場合(b%gcd(a, m)!=0)は(0, -1)を返す
P congruence(llint a, llint b, llint m)
{
	llint d = gcd(a, m);
	if(b % d) return make_pair(0, -1);
	a /= d, b /= d, m /= d;
	return make_pair(b * mod_inverse(a, m) % m, m);
}

ll T;
ll a[3], g;

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> T;
	while(T--){
		cin >> a[0] >> a[1] >> a[2] >> g;
		sort(a, a+3);
		
		ll d = gcd(a[0], a[1]), l = a[0]*a[1]/d;
		
		ll ans = 0;
		for(llint i = 0; ; i++){
			ll rem = g - i * a[2];
			if(rem < 0) break;
			
			if(rem % d) continue;
			P res = congruence(a[0], rem, a[1]);
			if(res.second == -1) continue;
			ll x = res.first, m = res.second;
			if(x >= 1e18/a[0]) continue;
			//cout << x << " " << m << endl;
			if(rem-a[0]*x%l >= 0){
				ans += (rem-a[0]*x%l) / l + 1;
				if(ans >= mod) ans -= mod;
			}
		}
		cout << ans << endl;
	}
	
	return 0;
}
0