Combination (二項係数)
(lib/math/combination.hpp)

• View this file on GitHub
• Last update: 2024-05-04 18:06:16+09:00
• Include: #include "lib/math/combination.hpp"

Combination (二項係数)

概要

二項係数を求めるライブラリです。

使い方

$m$ が素数でないと使えないため注意。

• Combination(N, m): $N$ までの二項係数 (mod. m) を前計算します。
• fact(n): $n!$ を求めます。
• factinv(n): $n!$ の逆元を求めます。
• ncr(n, r): $nCr$ を求めます。
• npr(n, r): $nPr$ を求めます。
• nhr(n, r): $nHr$ を求めます。

以下のものは $m$ が素数でなくても使えますが、上述のものよりも計算量が悪いです。

• CombinationByPascal(N, m): $N$ までの二項係数 (mod. m) を前計算します。
• ncr(n, r): $nCr$ を求めます。

計算量

• Combination(N, m): $\mathrm{O}(N)$
• fact(n): $\mathrm{O}(1)$
• factinv(n): $\mathrm{O}(1)$
• ncr(n, r): $\mathrm{O}(1)$
• npr(n, r): $\mathrm{O}(1)$
• nhr(n, r): $\mathrm{O}(1)$

CombinationByPascal についての計算量

• CombinationByPascal(N, m): $\mathrm{O}(N^2)$
• ncr(n, r): $\mathrm{O}(1)$

Verified with

• test/library_checker/enumerative_combinatorics/binomial_coefficient_prime_mod.test.cpp
• test/library_checker/enumerative_combinatorics/binomial_coefficient_prime_mod_1.test.cpp
• test/yukicoder/yuki_117.test.cpp

Code

#pragma once

/**
 * @brief Combination (二項係数)
 * @docs docs/math/combination.md
 */

struct Combination{
    vector<long long> memo, memoinv, inv;
    const long long mod;
    Combination(const int &N, const long long &m) : memo(N + 1), memoinv(N + 1), inv(N + 1), mod(m){
        memo[0] = memo[1] = 1;
        memoinv[0] = memoinv[1] = 1;
        inv[1] = 1;
        for(int i = 2; i <= N; ++i){
            memo[i] = memo[i - 1] * i % mod;
            inv[i] = mod - inv[mod % i] * (m / i) % mod;
            memoinv[i] = memoinv[i - 1] * inv[i] % mod;
        }
    }
    inline long long fact(const long long &n) const {
        return memo[n];
    }
    inline long long factinv(const long long &n) const {
        return memoinv[n];
    }
    inline long long ncr(const long long &n, const long long &r) const {
        if(n < r || r < 0) return 0;
        return (memo[n] * memoinv[r] % mod) * memoinv[n - r] % mod;
    }
    inline long long npr(const long long &n, const long long &r) const {
        if(n < r || r < 0) return 0;
        return (memo[n] % mod) * memoinv[n - r] % mod;
    }
    inline long long nhr(const long long &n, const long long &r) const {
        if(n == 0 && r == 0) return 1;
        return ncr(n + r - 1, r);
    }
};

struct CombinationByPascal{
    vector<vector<long long>> memo;
    const long long mod;
    CombinationByPascal(const int &N, const long long &m) : mod(m){
        memo.assign(N + 1, vector<long long>(N + 1));
        memo[0][0] = 1;
        for(int i = 1; i <= N; ++i){
            memo[i][0] = 1;
            for(int j = 1; j <= N; ++j){
                memo[i][j] = (memo[i - 1][j - 1] + memo[i - 1][j]);
                if(memo[i][j] >= mod) memo[i][j] -= mod;
            }
        }
    }
    inline long long ncr(const int &n, const int &r) const {
        if(n < r || r < 0) return 0;
        return memo[n][r];
    }
};

#line 2 "lib/math/combination.hpp"

/**
 * @brief Combination (二項係数)
 * @docs docs/math/combination.md
 */

struct Combination{
    vector<long long> memo, memoinv, inv;
    const long long mod;
    Combination(const int &N, const long long &m) : memo(N + 1), memoinv(N + 1), inv(N + 1), mod(m){
        memo[0] = memo[1] = 1;
        memoinv[0] = memoinv[1] = 1;
        inv[1] = 1;
        for(int i = 2; i <= N; ++i){
            memo[i] = memo[i - 1] * i % mod;
            inv[i] = mod - inv[mod % i] * (m / i) % mod;
            memoinv[i] = memoinv[i - 1] * inv[i] % mod;
        }
    }
    inline long long fact(const long long &n) const {
        return memo[n];
    }
    inline long long factinv(const long long &n) const {
        return memoinv[n];
    }
    inline long long ncr(const long long &n, const long long &r) const {
        if(n < r || r < 0) return 0;
        return (memo[n] * memoinv[r] % mod) * memoinv[n - r] % mod;
    }
    inline long long npr(const long long &n, const long long &r) const {
        if(n < r || r < 0) return 0;
        return (memo[n] % mod) * memoinv[n - r] % mod;
    }
    inline long long nhr(const long long &n, const long long &r) const {
        if(n == 0 && r == 0) return 1;
        return ncr(n + r - 1, r);
    }
};

struct CombinationByPascal{
    vector<vector<long long>> memo;
    const long long mod;
    CombinationByPascal(const int &N, const long long &m) : mod(m){
        memo.assign(N + 1, vector<long long>(N + 1));
        memo[0][0] = 1;
        for(int i = 1; i <= N; ++i){
            memo[i][0] = 1;
            for(int j = 1; j <= N; ++j){
                memo[i][j] = (memo[i - 1][j - 1] + memo[i - 1][j]);
                if(memo[i][j] >= mod) memo[i][j] -= mod;
            }
        }
    }
    inline long long ncr(const int &n, const int &r) const {
        if(n < r || r < 0) return 0;
        return memo[n][r];
    }
};

Back to top page