結果
問題 | No.1560 majority x majority |
ユーザー |
![]() |
提出日時 | 2021-06-25 21:58:53 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 604 ms / 2,000 ms |
コード長 | 1,457 bytes |
コンパイル時間 | 3,374 ms |
コンパイル使用メモリ | 181,348 KB |
最終ジャッジ日時 | 2025-01-22 12:13:42 |
ジャッジサーバーID (参考情報) |
judge3 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 5 |
other | AC * 26 |
ソースコード
#include <cstdio> #include <cstring> #include <iostream> #include <string> #include <cmath> #include <bitset> #include <vector> #include <map> #include <set> #include <queue> #include <deque> #include <algorithm> #include <complex> #include <unordered_map> #include <unordered_set> #include <random> #include <cassert> #include <fstream> #include <utility> #include <functional> #include <time.h> #include <stack> #include <array> #include <list> #include <atcoder/all> #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair<int, int> P; int main() { int n, m; cin>>n>>m; int s[5050][13]; for(int i=0; i<n; i++) for(int j=0; j<m; j++) cin>>s[i][j]; bitset<5001> b[1<<12]; for(int i=0; i<(1<<m); i++){ for(int j=0; j<n; j++){ b[i][j]=1; } for(int j=0; j<n; j++){ for(int k=0; k<m; k++){ if(i&(1<<k)){ if(!s[j][k]) b[i][j]=0; } } } } ll dp[1<<12]={}; dp[0]=1; for(int i=0; i<(1<<m); i++){ for(int j=0; j<m; j++){ if(i&(1<<j)) continue; int c=0, c1=0; for(int k=0; k<n; k++){ if(!b[i][k]) continue; c++; if(s[k][j]) c1++; } if(c<=c1*2) dp[i^(1<<j)]+=dp[i]; } } cout<<dp[(1<<m)-1]<<endl; return 0; }