codeforces 1315E

题目链接
题目大意：
一道让人看了就想跳过的题，题目花了好长好长的篇幅马马虎虎的介绍完了双败赛制，如果不是有图看了还是一头雾水，那么就直接看图：

题目给我们一个 $n$ ，代表总共会有 $2^n$ 个队伍参与比赛，按队伍标号顺序如图进行双败赛制的比赛，给定 $k$ 个主队，问在可以改变任意胜负关系的情况下，你的主队能参与最多多少场比赛（两个队参与同一场只算一场）。
$n<=17$

看完题就不想思考了，画了几下也是一头雾水，但一看到题解设计的状态就一下子明白了。

对于胜者组及败者组我们可以同时考虑，发现可以将整个赛程图分为 $n$ 层（上图用虚线分开），从第一层的 $[1,2]$ $[3,4]$ $[5,6]$ … …到第二层$[1,4]$ $[5,8]$ … …直到最终一层 $[1,2^n]$。对每层的每个区间进行分别考虑，可以发现层与层之间大致是一个合并的过程，而对于每层的每个区间，胜者组及败者组只能至多各有一个队继续进行下一层的比赛，那么我们可以设计状态 $DP[L,R][f_{胜者}][f_{败者}]$ ，$f_{胜者},f_{败者}$ 分别表示此区间能够继续下去的败者组与胜者组的人数 $0,1$，如此一来我们就可以轻松设计转移。

#include<bits/stdc++.h>
using namespace std;
 
const int inf=0x3f3f3f3f;
int dp[140000][2][2][2],is[140000];
 
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
 
    for(int i=0;i<(1<<17);i++)
        for(int j=0;j<2;j++)
            for(int k=0;k<2;k++)
                for(int p=0;p<2;p++)
                    dp[i][j][k][p]=-inf;
    int n,k;
    cin>>n>>k;
    for(int i=0;i<k;i++){
        int x;
        cin>>x;
        is[x]=1;
    }
    int now=0,pre=1;
    int m=1<<n;
    for(int i=1;i<=m;i+=2){
        if(is[i] && is[i+1]) dp[i][1][1][pre]=1;
        else if(is[i] || is[i+1]) dp[i][1][0][pre]=1,dp[i][0][1][pre]=1;
        else dp[i][0][0][pre]=0;
    }
    for(int i=4;i<=m;i*=2){
        for(int j=1;j<=m;j+=i){
 
            for(int p=0;p<2;p++)
                for(int q=0;q<2;q++)
                    dp[j][p][q][now]=-inf;
 
            for(int p=0;p<2;p++)
            for(int q=0;q<2;q++)
            for(int u=0;u<2;u++)
            for(int v=0;v<2;v++){
                int cnt1=p+u,cnt2=q+v;
                if(cnt1==0 && cnt2==0) dp[j][0][0][now]=max(dp[j][0][0][now],dp[j][p][q][pre]+dp[j+i/2][u][v][pre]);
                else if(cnt1==0 && cnt2!=0) dp[j][0][1][now]=max(dp[j][0][1][now],dp[j][p][q][pre]+dp[j+i/2][u][v][pre]+2);
                else if(cnt1==1 && cnt2==0)
                    dp[j][1][0][now]=max(dp[j][1][0][now],dp[j][p][q][pre]+dp[j+i/2][u][v][pre]+1),
                    dp[j][0][1][now]=max(dp[j][0][1][now],dp[j][p][q][pre]+dp[j+i/2][u][v][pre]+1);
                else if(cnt1==2 && cnt2==0) dp[j][1][1][now]=max(dp[j][1][1][now],dp[j][p][q][pre]+dp[j+i/2][u][v][pre]+2);
                else dp[j][1][1][now]=max(dp[j][1][1][now],dp[j][p][q][pre]+dp[j+i/2][u][v][pre]+3);
            }
 
        }
        swap(now,pre);
    }
    int res=0;
    for(int i=0;i<2;i++)
        for(int j=0;j<2;j++)
            res=max(res,dp[1][i][j][pre]);
    res+=(k>0);
    cout<<res<<endl;
}