結果
| 問題 |
No.506 限られたジャパリまん
|
| コンテスト | |
| ユーザー |
vjudge1
|
| 提出日時 | 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;
}
vjudge1