結果

問題 No.546 オンリー・ワン
ユーザー pekempey
提出日時 2017-07-16 18:28:54
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 1,357 bytes
コンパイル時間 811 ms
コンパイル使用メモリ 73,448 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-08 04:25:08
合計ジャッジ時間 1,348 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 7
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <iostream>
#include <algorithm>
#include <vector>
long long gcd(long long x, long long y) {
    if (y == 0) return x;
    return gcd(y, x % y);
}
long long lcm(long long x, long long y) {
    return std::min(1000000001LL, x / gcd(x, y) * y);
}
long long f(long long x, std::vector<long long> c) {
    const int n = c.size();
    // |A * !B * !C| + |!A * !B * !C| = |!B * !C|
    // |A * !B * !C| = |!B * !C| - |!A * !B * !C|
    std::vector<long long> cnt(1 << n);
    for (int i = 0; i < 1 << n; i++) {
        long long l = 1;
        for (int j = 0; j < n; j++) {
            if (i >> j & 1) {
                l = lcm(l, c[j]);
            }
        }
        cnt[i] = x / l;
    }
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < 1 << n; j++) {
            if (~j >> i & 1) {
                cnt[j | 1 << i] -= cnt[j];
            }
        }
    }
    // |A| |B| |A*B|
    // cnt[00] = x
    // cnt[01] = |A|-x
    // cnt[10] = |B|-x
    // cnt[11] = |A*B|-|A|+x-|B|
    for (int i = 0; i < 1 << n; i++) {
        int p = 1;
        for (int j = 0; j < n; j++) {
            if (i >> j & 1) {
                p *= -1;
            }
        }
        cnt[i] *= p;
    }
    long long ret = 0;
    for (int i = 0; i < n; i++) {
        int u = ((1 << n) - 1) ^ (1 << i);
        int v = ((1 << n) - 1);
        ret += cnt[u] - cnt[v];
    }
    return ret;
}
int main() {
    long long N, L, H;
    std::cin >> N >> L >> H;
    std::vector<long long> c(N);
    for (int i = 0; i < N; i++) {
        std::cin >> c[i];
    }
    std::cout << f(H, c) - f(L - 1, c) << std::endl;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0