• Valley Numer II 题解(状压dp)


    题目链接

    题目大意

    给定一张 N 个点 M 条边的无向图,其中有 K 个点被标记为高点,剩下的 (N-K) 个点是低点。图中的山谷

    定义为三元组 <X,Y,Z>,满足X和Y之间有边,Y与 Z之间也有边,同时X和Z是高点,Y是低点。问这个图中

    最多有几个山谷(一个点只能出现在一个山谷中)

    N ≤ 30, K ≤ min(N,15)

    题目思路

    高点的数量很少,那么可以想到把高点状态压缩

    $dp[i][s] $表示前 i 个低点,使用过的高点的状态为 s 的情况下,组成的山谷的最大可能值。

    转移(dp[i][s]) 的时候,取出第 i+1 个低点。枚举不在 s 中的两个高点 p 和 q.检查 p 和 q 和第 i+1 个低点

    能否配对。如果可以,那么就可以用$ dp[i][s] + 1$ 去更新(dp[i + 1][s | (1 << p) | (1 << q)] )答案就是

    $max ;dp[n-k][i] | 0 ≤ i < 2^k $

    然后再把可以预处理的东西都预处理一下

    代码

    #include<set>
    #include<map>
    #include<queue>
    #include<stack>
    #include<cmath>
    #include<cstdio>
    #include<vector>
    #include<string>
    #include<cstring>
    #include<iostream>
    #include<algorithm>
    #define fi first
    #define se second
    #define debug cout<<"I AM HERE"<<endl;
    using namespace std;
    typedef long long ll;
    const int maxn=30+5,inf=0x3f3f3f3f,mod=1e9+7;
    const double eps=1e-6;
    int n,m,k;
    int e[maxn][maxn];
    int dp[maxn][1<<15];
    int h[maxn];
    signed main(){
        int _;scanf("%d",&_);
        while(_--){
            scanf("%d%d%d",&n,&m,&k);
            for(int i=1;i<=n;i++){
                h[i]=0;
                for(int j=1;j<=n;j++){
                    e[i][j]=0;
                }
            }
            for(int i=1,x,y;i<=m;i++){
                scanf("%d%d",&x,&y);
                e[x][y]=e[y][x]=1;
            }
            for(int i=1,x;i<=k;i++){
                scanf("%d",&x);
                h[x]=1;
            }
            vector<int> a,b;
            for(int i=1;i<=n;i++){
                if(h[i]){// 高点
                    b.push_back(i);
                }else{ //低点
                    a.push_back(i);
                }
            }
            vector<pair<int,int> > vec[maxn];
            for(int i=0;i<a.size();i++){
                int x=a[i];
                for(int j=0;j<b.size();j++){
                    int y=b[j];
                    for(int k=j+1;k<b.size();k++){
                        int z=b[k];
                        if(e[x][y]&&e[x][z]){
                            vec[i].push_back({j,k});
                        }
                    }
                }
            }
            int sza=a.size();
            int szb=b.size();
            for(int i=0;i<=sza;i++){
                for(int j=0;j<=(1<<szb);j++){
                    dp[i][j]=-inf;
                }
            }
            dp[0][0]=0;
            for(int i=0;i<sza;i++){
                for(int j=0;j<=(1<<szb)-1;j++){
                    dp[i+1][j]=max(dp[i+1][j],dp[i][j]);
                    for(auto temp:vec[i]){
                        int x=temp.fi;
                        int y=temp.se;
                        if(!(j&(1<<x))&&(!(j&(1<<y)))){
                            dp[i+1][j|(1<<x)|(1<<y)]=max(dp[i+1][j|(1<<x)|(1<<y)],dp[i][j]+1);
                        }
                    }
                }
            }
            int ans=0;
            for(int j=0;j<=(1<<szb)-1;j++){
                ans=max(ans,dp[sza][j]);
            }
            printf("%d
    ",ans);
        }
        return 0;
    }
    
    
    卷也卷不过,躺又躺不平
  • 相关阅读:
    c#调用系统资源大集合1
    ASP.NET GridView,DataList,Repeater日期格式显示
    msSQL存储过程中使用 IF ELSE 的规范示例
    PHP DOMDocument简单用法(XML创建、添加、删除、修改)
    PHP解析XML文档属性并编辑
    php修改和增加xml结点属性
    asp.net FileUpload控件文件格式的判断及文件大小限制
    《Linux内核设计与实现》读书笔记(四) 进程的调度
    《Linux内核设计与实现》读书笔记(七) 中断处理
    红黑树
  • 原文地址:https://www.cnblogs.com/hunxuewangzi/p/15178180.html
Copyright © 2020-2023  润新知