#include<bits/stdc++.h>
#define FOR(i,a,b) for(register int i=a;i<=b;i++)
#define ROF(i,a,b) for(register int i=a;i>=b;i--)
#define P std::pair
#define MP std::make_pair
#define pb emplace_back
const int N=15607,M=1048577,K=10485767,INF=0x7fffffff;
struct Edge{
int u,v,c;
}edges[K];
int cnt=0;
bool cmp(Edge a,Edge b){
return a.c>b.c;
}
struct Node{
int v,w,c,r;
};
std::vector<Node>b[N];
inline void add(int u,int v,int w,int c){
b[u].pb(Node{v,w,c,b[v].size()});
b[v].pb(Node{u,0,-c,b[u].size()-1});
}
int n,k,a[M],refer[M],id=3;
int flow[N],inq[N],dis[N],last[N];
std::queue<int>q;
bool SPFA(){
FOR(i,1,id)flow[i]=-1,last[i]=-1,dis[i]=-INF;
q.push(1);
flow[1]=INF;dis[1]=0;
while(!q.empty()){
int u=q.front();q.pop();
inq[u]=0;
for(Node i:b[u]){
if(i.w>0&&dis[i.v]<dis[u]+i.c){
dis[i.v]=dis[u]+i.c;
flow[i.v]=std::min(flow[u],i.w);
last[i.v]=i.r;
if(!inq[i.v]){q.push(i.v);inq[i.v]=1;}
}
}
}
return last[3]!=-1;
}
int maxcost(){
int ans=0;
while(SPFA()){
ans+=flow[3]*dis[3];
for(int i=3;i!=1;i=b[i][last[i]].v){
Node &j=b[i][last[i]];
j.w+=flow[3],b[j.v][j.r].w-=flow[3];
}
}
return ans;
}
signed main(){
std::cin.tie(0)->sync_with_stdio(0);
std::cin>>n>>k;
int t=(1<<n)-1,require=(k-1)*(2*n-1)+1;
FOR(i,0,t)std::cin>>a[i];
FOR(i,0,t)if(__builtin_popcount(i)&1)FOR(j,0,n-1){
int x=i^(1<<j);
edges[++cnt]={i,x,a[i]+a[x]};
}
if(require>=cnt)require=cnt;
else std::nth_element(edges+1,edges+1+require,edges+1+cnt,cmp);
add(1,2,k,0);
FOR(i,1,require){
int u=edges[i].u,v=edges[i].v,c=edges[i].c;
if(refer[u]==0)refer[u]=++id;
if(refer[v]==0)refer[v]=++id;
add(refer[u],refer[v],1,c);
}
FOR(i,0,t){
if(refer[i]){
if(__builtin_popcount(i)&1)add(2,refer[i],1,0);
else add(refer[i],3,1,0);
}
}
std::cout<<maxcost();
return 0;
}
561. Array Partition I | 1374. Generate a String With Characters That Have Odd Counts |
1822. Sign of the Product of an Array | 1464. Maximum Product of Two Elements in an Array |
1323. Maximum 69 Number | 832. Flipping an Image |
1295. Find Numbers with Even Number of Digits | 1704. Determine if String Halves Are Alike |
1732. Find the Highest Altitude | 709. To Lower Case |
1688. Count of Matches in Tournament | 1684. Count the Number of Consistent Strings |
1588. Sum of All Odd Length Subarrays | 1662. Check If Two String Arrays are Equivalent |
1832. Check if the Sentence Is Pangram | 1678. Goal Parser Interpretation |
1389. Create Target Array in the Given Order | 1313. Decompress Run-Length Encoded List |
1281. Subtract the Product and Sum of Digits of an Integer | 1342. Number of Steps to Reduce a Number to Zero |
1528. Shuffle String | 1365. How Many Numbers Are Smaller Than the Current Number |
771. Jewels and Stones | 1512. Number of Good Pairs |
672. Richest Customer Wealth | 1470. Shuffle the Array |
1431. Kids With the Greatest Number of Candies | 1480. Running Sum of 1d Array |
682. Baseball Game | 496. Next Greater Element I |