P1896 [SCOI2005]互不侵犯

Posted popo-black-cat

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了P1896 [SCOI2005]互不侵犯相关的知识,希望对你有一定的参考价值。

  我好久都没有发博客了……

  可不是因为我没做题啊,因为懒得发qwq……

  今天发一波状压dp(就是dp)。

  我还想不到如果不是格子图,状压dp怎么用……

  因为它与dp的不同就是它可以用二进制来表示这一位(这个格子选不选)……

  dp [ i ] [ j ] [ t ] 表示第 i 行,第 j 个状态,选择 t 个的方案数……

  其实因为每一行都一样,所以其实所谓状态 j 就是第 j 种放法罢了,而第几行其实无所谓,因为每一行都一样。

  当然一开始第1行,第 j 种状态,放第 j 种状态下应该放的数量的方案数自然是1。

  接下来上代码:

#include<cstdio>
#include<iostream>
#include<vector>
#include<cstring>
#include<algorithm>
using namespace std;
#define int long long
int dp[20][200][200],mark[200],uni[200],ans[200],sta[200];
vector<int> sec[900];
int n,k,tot;
void dfs(int x)
{
    if(x==n+1)
    {
        tot++;
        for(int i=1; i<=n; i++)
        {
            sta[tot]*=2;
            sta[tot]+=ans[i];
            mark[tot]+=ans[i];
        }
        return ;
    }
    ans[x]=0;
    dfs(x+1);
    if(!ans[x-1])
    {
        ans[x]=1;
        dfs(x+1);
        ans[x]=0;
    }
}
bool ac(int l1,int l2)
{
    for (int i = 2; i < n; i++)
    {
        if ((sta[l1] & uni[i]) && ((sta[l2] & uni[i - 1]) || (sta[l2] & uni[i]) || (sta[l2] & uni[i + 1])))
            return 0;
        if ((sta[l2] & uni[i]) && ((sta[l1] & uni[i - 1]) || (sta[l1] & uni[i]) || (sta[l1] & uni[i + 1])))
            return 0;
    }
    if( (sta[l1] & uni[1]) && ( (sta[l2] & uni[1]) || sta[l2] & uni[2] ) ) return 0;
    if( (sta[l1] & uni[n]) && ( (sta[l2] & uni[n]) || sta[l2] & uni[n-1]) ) return 0;
    if( (sta[l2] & uni[1]) && ( (sta[l1] & uni[1]) || sta[l1] & uni[2] ) ) return 0;
    if( (sta[l2] & uni[n]) && ( (sta[l1] & uni[n]) || sta[l1] & uni[n-1]) ) return 0;
    return 1;
}
main()
{
    scanf("%lld%lld",&n,&k);
    if(n==0)
    {
        printf("0");
        return 0;
    }
    if(n==1)
    {
        if(k==0) printf("1");
        else printf("0");
        return 0;
    }
    uni[n]=1;
    for(int i=n-1; i>=1; i--)
        uni[i]=uni[i+1]<<1;
    dfs(1);
    for(int i=1; i<=tot; i++)
        for(int j=1; j<=tot; j++)
            if(ac(i,j)) sec[i].push_back(j);
    for(int i=0; i<=tot; i++)
        dp[1][i][mark[i]]=1;
    for(int i=1; i<=n; i++)
        for(int j=1; j<=tot; j++)
            for(int t=mark[j]; t<=k; t++)
                for(int o=0; o<sec[j].size(); o++)
                {
                    dp[i][j][t]+=dp[i-1][sec[j][o]][t-mark[j]];
                }
    int sum=0;
    for(int i=1; i<=tot; i++)
        sum+=dp[n][i][k];
    printf("%lld",sum);
    return 0;

}

 

以上是关于P1896 [SCOI2005]互不侵犯的主要内容,如果未能解决你的问题,请参考以下文章

洛谷P1896 [SCOI2005]互不侵犯King

P1896 [SCOI2005]互不侵犯

P1896 [SCOI2005]互不侵犯

P1896 [SCOI2005]互不侵犯

解题报告P1896 [SCOI2005]互不侵犯

洛谷 P1896 [SCOI2005]互不侵犯King