可能是因为会状压dp吧，所以看y总视频的时候总是听不进去。最终还是决定自己写了，实际上我还想着按照y总写法锻炼一下自己vector的熟练度。

调试依法wa，仔细思考发现思路没问题，然后观察代码的时候发现原来是符号优先级出现了问题，按位与（&）的等级低于等于号（==），顿时恍然大雾。

再交一发，wa，原来是没开long long，头大。

今天也算是了解了一些东西吧，取地址符&优先级为2，逻辑与&&优先级11，按位与优先级8。等于号与不等于优先级7。位移<<or>>优先级5。

这也提醒我，实际上我在下面的代码写的并不简洁。可以把s&(s>>1)改成s&s>>1，这是没问题的。

1064. 小国王 - AcWing题库

#include<bits/stdc++.h>
using namespace std;
const int maxn=2*1e3;
bool judge1(int s)
{
    if(s&(s>>1)) return false;
    return true;
}
bool judge2(int s1,int s2)
{
    if(judge1(s1|s2)&&(s1&s2)==0) return true;
    return false;
}
int cont(int s)
{
    int ans=0;
    while(s)
    {
        if(s&1) ans++;
        s>>=1;
    }
    return ans;
}
int Right[maxn];
int cnt=0;
long long f[15][105][maxn];
int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=0;i<(1<<n);i++)
    {
        if(judge1(i)) Right[++cnt]=i;
        f[1][cont(i)][i]++;
    }
    f[0][0][0]=1;
    for(int i=2;i<=n+1;i++)
    {
        for(int j=0;j<=m;j++)
        {

            for(int k=1;k<=cnt;k++)
            {
                for(int pre=1;pre<=cnt;pre++)
                {
                    if(judge2(Right[k],Right[pre]))
                    {
                        int rul=cont(Right[k]);
                        if(j>=rul) f[i][j][Right[k]]+=f[i-1][j-rul][Right[pre]];
                    }
                }
            }
        }
    }
    printf("%lld\n",f[n+1][m][0]);
}

下面这个是y总的代码，供参考

#include <cstring>
#include <iostream>
#include <algorithm>
#include <vector>

using namespace std;

typedef long long LL;

const int N = 12, M = 1 << 10, K = 110;

int n, m;
vector<int> state;
int cnt[M];
vector<int> head[M];
LL f[N][K][M];

bool check(int state)
{
    for (int i = 0; i < n; i ++ )
        if ((state >> i & 1) && (state >> i + 1 & 1))
            return false;
    return true;
}

int count(int state)
{
    int res = 0;
    for (int i = 0; i < n; i ++ ) res += state >> i & 1;
    return res;
}

int main()
{
    cin >> n >> m;

    for (int i = 0; i < 1 << n; i ++ )
        if (check(i))
        {
            state.push_back(i);
            cnt[i] = count(i);
        }

    for (int i = 0; i < state.size(); i ++ )
        for (int j = 0; j < state.size(); j ++ )
        {
            int a = state[i], b = state[j];
            if ((a & b) == 0 && check(a | b))
                head[i].push_back(j);
        }

    f[0][0][0] = 1;
    for (int i = 1; i <= n + 1; i ++ )
        for (int j = 0; j <= m; j ++ )
            for (int a = 0; a < state.size(); a ++ )
                for (int b : head[a])
                {
                    int c = cnt[state[a]];
                    if (j >= c)
                        f[i][j][a] += f[i - 1][j - c][b];
                }

    cout << f[n + 1][m][0] << endl;

    return 0;
}