結果
問題 |
No.3158 Collect Stamps
|
ユーザー |
![]() |
提出日時 | 2025-05-23 20:19:50 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 57 ms / 2,000 ms |
コード長 | 1,860 bytes |
コンパイル時間 | 3,115 ms |
コンパイル使用メモリ | 281,068 KB |
実行使用メモリ | 13,824 KB |
最終ジャッジ日時 | 2025-05-23 20:19:56 |
合計ジャッジ時間 | 5,110 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 35 |
ソースコード
#include <bits/stdc++.h> using namespace std; #define ALL(x) (x).begin(),(x).end() #define IO ios::sync_with_stdio(false),cin.tie(nullptr); #define REP(i, n) for(ll i=0; i<(ll)(n); i++) #define FOR(i, a, b) for(ll i=(ll)(a); i<(b); i++) #define ROF(i, a, b) for(ll i=(ll)(b)-1; i>=(b); i--) template<typename T> int LB(const vector<T>& v, T x) { return lower_bound(ALL(v),x)-(v).begin(); } template<typename T> int UQ(T& v) { sort(ALL(v)); v.erase(unique(ALL(v)),v.end()); return v.size(); } template<typename T> bool chmax(T &a, T b) { return a<b ? a=b, true : false; } template<typename T> bool chmin(T &a, T b) { return a>b ? a=b, true : false; } template<typename T> using rpriority_queue=priority_queue<T,vector<T>,greater<T>>; using ll=long long; const int INF=1e9+10; const ll INFL=4e18; using ld=long double; using ull=unsigned long long; using lll=__int128_t; using VST=vector<string>; using VI=vector<int>; using VVI=vector<VI>; using VL=vector<ll>; using VVL=vector<VL>; using PL=pair<ll,ll>; using VP=vector<PL>; using WG=vector<vector<pair<int,ll>>>; #ifdef LOCAL #include "./debug.hpp" #else #define debug(...) #define print_line #endif //---------------------------------------------------------- int main() { ll N,M,K; cin>>N>>M>>K; VL A(N); REP(i,K) { ll a; cin>>a; a--; A[a]=1; } VVL T(N,VL(N)); REP(i,N) REP(j,N) cin>>T[i][j]; VVL dp(1<<N, VL(N,INFL)); REP(i,N) dp[1<<i][i]=0; REP(b,1<<N) { REP(i,N) { if(dp[b][i]==INFL) continue; REP(j,N) { if(b>>j&1) continue; ll nb=b|1<<j; chmin(dp[nb][j],dp[b][i]+T[i][j]); } } } ll ans=INFL; REP(b,1<<N) { if(popcount(ull(b))>=M) { REP(j,N) if(A[j]) chmin(ans,dp[b][j]); } } cout<<ans<<endl; }