結果
| 問題 | No.2711 Connecting Lights | 
| コンテスト | |
| ユーザー |  Tatsu_mr | 
| 提出日時 | 2024-03-31 20:52:07 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 157 ms / 5,000 ms | 
| コード長 | 750 bytes | 
| コンパイル時間 | 3,580 ms | 
| コンパイル使用メモリ | 253,056 KB | 
| 最終ジャッジ日時 | 2025-02-20 18:21:22 | 
| ジャッジサーバーID (参考情報) | judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 27 | 
ソースコード
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
int main() {
    int n, m, K;
    cin >> n >> m >> K;
    vector<vector<mint>> dp(m, vector<mint>(1 << n, mint(0)));
    for (int j = 0; j < (1 << n); j++) {
        dp[0][j] = 1;
    }
    for (int i = 1; i < m; i++) {
        for (int j = 0; j < (1 << n); j++) {
            for (int pj = 0; pj < (1 << n); pj++) {
                int cnt = __builtin_popcount(j & pj);
                if (cnt >= K) {
                    dp[i][j] += dp[i - 1][pj];
                }
            }
        }
    }
    mint ans = 0;
    for (int j = 0; j < (1 << n); j++) {
        ans += dp[m - 1][j];
    }
    cout << ans.val() << endl;
}
            
            
            
        