結果

問題 No.1189 Sum is XOR
ユーザー firiexpfiriexp
提出日時 2020-08-22 15:11:06
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 47 ms / 2,000 ms
コード長 2,793 bytes
コンパイル時間 1,060 ms
コンパイル使用メモリ 107,360 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-15 09:28:30
合計ジャッジ時間 2,355 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 47 ms
6,820 KB
testcase_01 AC 46 ms
6,816 KB
testcase_02 AC 47 ms
6,820 KB
testcase_03 AC 2 ms
6,816 KB
testcase_04 AC 2 ms
6,820 KB
testcase_05 AC 2 ms
6,816 KB
testcase_06 AC 2 ms
6,816 KB
testcase_07 AC 2 ms
6,820 KB
testcase_08 AC 2 ms
6,816 KB
testcase_09 AC 2 ms
6,820 KB
testcase_10 AC 2 ms
6,820 KB
testcase_11 AC 13 ms
6,820 KB
testcase_12 AC 45 ms
6,820 KB
testcase_13 AC 39 ms
6,820 KB
testcase_14 AC 26 ms
6,816 KB
testcase_15 AC 13 ms
6,816 KB
testcase_16 AC 9 ms
6,816 KB
testcase_17 AC 12 ms
6,820 KB
testcase_18 AC 19 ms
6,820 KB
testcase_19 AC 34 ms
6,816 KB
testcase_20 AC 35 ms
6,816 KB
testcase_21 AC 5 ms
6,820 KB
testcase_22 AC 5 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <algorithm>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <numeric>
#include <bitset>
#include <cmath>

static const int MOD = 998244353;
using ll = long long;
using u32 = unsigned;
using u64 = unsigned long long;
using namespace std;

template<class T> constexpr T INF = ::numeric_limits<T>::max()/32*15+208;

template <class T, class U>
vector<T> make_v(U size, const T& init){ return vector<T>(static_cast<size_t>(size), init); }

template<class... Ts, class U>
auto make_v(U size, Ts... rest) { return vector<decltype(make_v(rest...))>(static_cast<size_t>(size), make_v(rest...)); }

template<class T> void chmin(T &a, const T &b){ a = (a < b ? a : b); }
template<class T> void chmax(T &a, const T &b){ a = (a > b ? a : b); }

template<u32 M = 1000000007>
struct modint{
    u32 val;
    modint(): val(0){}
    template<typename T>
    modint(T t){t %= (T)M; if(t < 0) t += (T)M; val = t;}

    modint pow(ll k) const {
        modint res(1), x(val);
        while(k){
            if(k&1) res *= x;
            x *= x;
            k >>= 1;
        }
        return res;
    }
    template<typename T>
    modint& operator=(T t){t %= (T)M; if(t < 0) t += (T)M; val = t; return *this;}
    modint inv() const {return pow(M-2);}
    modint& operator+=(modint a){val += a.val; if(val >= M) val -= M; return *this;}
    modint& operator-=(modint a){if(val < a.val) val += M-a.val; else val -= a.val; return *this;}
    modint& operator*=(modint a){val = (u64)val*a.val%M; return *this;}
    modint& operator/=(modint a){return (*this) *= a.inv();}
    modint operator+(modint a) const {return modint(val) +=a;}
    modint operator-(modint a) const {return modint(val) -=a;}
    modint operator*(modint a) const {return modint(val) *=a;}
    modint operator/(modint a) const {return modint(val) /=a;}
    modint operator-(){return modint(M-val);}
    bool operator==(const modint a) const {return val == a.val;}
    bool operator!=(const modint a) const {return val != a.val;}
    bool operator<(const modint a) const {return val < a.val;}
};
using mint = modint<MOD>;

int main() {
    int n, k;
    cin >> n >> k;
    if(k > 10){
        puts("0");
        return 0;
    }
    vector<mint> cnt(1 << 10);
    auto dp = make_v(1 << 10, 11, mint(0));
    dp[0][0] = 1;
    for (int i = 0; i < n; ++i) {
        int x;
        cin >> x;
        cnt[x] += 1;
    }
    for (int S = 0; S < (1 << 10); ++S) {
        for (int T = 0; T < (1 << 10); ++T) {
            if(S & T) continue;
            for (int i = 0; i < 10; ++i) {
                dp[S|T][i+1] += dp[T][i]*cnt[S];
            }
        }
    }
    mint ans = 0;
    for (int i = 0; i < (1 << 10); ++i) {
        ans += dp[i][k];
    }
    cout << ans.val << "\n";
    return 0;
}
0