結果
| 問題 | No.1532 Different Products |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2024-04-04 23:43:35 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 857 ms / 4,000 ms |
| コード長 | 1,399 bytes |
| コンパイル時間 | 2,879 ms |
| コンパイル使用メモリ | 198,436 KB |
| 最終ジャッジ日時 | 2025-02-20 20:10:48 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 62 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
int main() {
int N;ll K;cin >> N >> K;
int D = 1e5;
vector<vector<ll>> dp(N + 1, vector<ll> (D + 1, 0));
vector<vector<ll>> dp2(N + 2, vector<ll>(D + 1, 0));
for (int i = 1;i <= N;i++) {
//iをはじめて
if (i <= D) dp[i][i]++;
for (int j = 1;j <= D;j++) {
dp[i][j] += dp[i - 1][j];
if (j * i <= D) dp[i][i * j] += dp[i - 1][j];
}
}
for (int i = N;i >= 1;i--) {
if (i <= D) dp2[i][i]++;
for (int j = 1;j <= D;j++) {
dp2[i][j] += dp2[i + 1][j];
if (j * i <= D) dp2[i][i * j] += dp2[i + 1][j];
}
}
vector<vector<ll>> sdp(N + 2, vector<ll>(D + 1, 0));
ll ans = 0;
for (int i = 1;i <= N;i++) for (int j = 1;j <= D;j++) sdp[i][j] = sdp[i][j - 1] + dp2[i][j];
for (int i = 1;i <= N;i++) {
if (i > D) {
//iだけつかう
ans++;
//iよりまえになにもでてこない かつ それいこうでいっこいじょうでつかう
ll t = K / (ll)i;
ans += sdp[i + 1][t];
}
//それよりまえでいっこいじょうつかいそのせきがj
for (int j = 1;j <= D;j++) {
ll x = (ll)i * (ll)j;
if (x <= D) continue;
//それいこうでいっこもつかわない
if (x <= K) ans += dp[i - 1][j];
//つかう
//
ll t = K / x;
ans += dp[i - 1][j] * sdp[i + 1][t];
}
}
for (ll j = 1;j <= min(K, (ll)D);j++) ans += dp[N][j];
cout << ans << endl;
}