結果
問題 |
No.506 限られたジャパリまん
|
ユーザー |
![]() |
提出日時 | 2025-02-03 13:33:41 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 9 ms / 2,000 ms |
コード長 | 1,293 bytes |
コンパイル時間 | 1,016 ms |
コンパイル使用メモリ | 64,228 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2025-02-03 13:33:44 |
合計ジャッジ時間 | 2,479 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 25 |
ソースコード
#include<iostream> #include<cstdio> #include<string> using namespace std; const int N=40,K=20; bool flip; int n,m,k,p,sta; long long ans,f[N][N]; bool can[N][N]; struct Animal { int x,y; string name; bool use; }a[K]; void dfs(int u,int cnt) { if(cnt==p) { for(int i=0;i<=n;i++) for(int j=0;j<=m;j++) can[i][j]=true,f[i][j]=0; for(int i=1;i<=k;i++) if((!flip&&!a[i].use)||(flip&&a[i].use)) can[a[i].x][a[i].y]=false; f[0][0]=can[0][0]; for(int i=0;i<=n;i++) for(int j=0;j<=m;j++) { if((!i&&!j)||!can[i][j]) continue; if(i) f[i][j]+=f[i-1][j]; if(j) f[i][j]+=f[i][j-1]; } if(f[n][m]>ans) { ans=f[n][m],sta=0; for(int i=1;i<=k;i++) if((!flip&&a[i].use)||(flip&&!a[i].use)) sta+=(1<<(i-1)); } return; } if(u==k+1) return; a[u].use=true,dfs(u+1,cnt+1); a[u].use=false,dfs(u+1,cnt); } int main() { //freopen("kart.in","r",stdin); //freopen("kart.out","w",stdout); ios::sync_with_stdio(false),cin.tie(nullptr); cin>>n>>m>>k>>p; for(int i=1;i<=k;i++) cin>>a[i].x>>a[i].y>>a[i].name; if(p>k/2) p=k-p,flip=true; dfs(1,0),cout<<ans%(int)(1e9+7)<<'\n'; if(!ans) return 0; for(int i=1;i<=k;i++) if((sta>>(i-1))&1) cout<<a[i].name<<'\n'; return 0; }