Connecting Vertices

最新推荐文章于 2021-08-22 10:54:15 发布

StaroForgin

最新推荐文章于 2021-08-22 10:54:15 发布

阅读量179

点赞数 1

分类专栏： ------动态规划------ # 区间dp

本文链接：https://blog.csdn.net/Tan_tan_tann/article/details/107658323

版权

------动态规划------ 同时被 2 个专栏收录

174 篇文章 0 订阅

订阅专栏

区间dp

10 篇文章 0 订阅

订阅专栏

Connecting Vertices

题解

由于整个图形是一个正N边形，很容易发现，连接一条 (i,j) 的边，相当于将与两侧的点隔开，使其无法连接。

于是，我们就自然而然的想到了区间dp。

但是由于这是一个环，我们还需要将其剖成一条链，而在链上的线段，是不可以相交的。

我们设 $f_{l,r,0}$ 为要连接 (l,r) 的方案数， $f_{l,r,1}$ 为不连接 (l,r) 的方案数。

两者都可以通过断点的枚举进行转移，

$f_{l,r,0}=\sum(f_{l,k,0}+f_{l,k,1})(f_{k+1,r,0}+f_{k+1,r,1})$

$f_{l,r,1}=\sum f_{l,k,0}(f_{k,r,0}+f_{k,r,1})$

而 $\left [ l,r \right ]$ 区间之间的连接为 $f_{l,r,0}+f_{l,r,1}$ ，最后答案即为 $f_{1,n,0}+f_{1,n,1}$ 。

源码

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const LL INF=0x7f7f7f7f7f7f;
const LL mo=1000000007;
#define gc() getchar()
template<typename _T>
void read(_T &x){
	_T f=1;x=0;char s=gc();
	while(s>'9'||s<'0'){if(s=='-')f=-1;s=gc();}
	while(s>='0'&&s<='9'){x=(x<<3)+(x<<1)+(s^48);s=gc();}
	x*=f;
}
template<typename _T>
_T Fabs(_T x){return x<0?-x:x;}
LL n,dp[505][505][2];
bool a[505][505];
signed main(){
	read(n);
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			read(a[i][j]);
	for(int i=1;i<=n;i++)dp[i][i][0]=1;
	for(int i=1;i<n;i++)
		for(int l=1;l<=n-i;l++){
			int r=l+i;
			if(a[l][r])
				for(int j=l;j<r;j++)
					(dp[l][r][0]+=(dp[l][j][0]+dp[l][j][1])*(dp[j+1][r][0]+dp[j+1][r][1])%mo)%=mo;
			for(int j=l+1;j<r;j++)
				if(a[l][j])
					(dp[l][r][1]+=dp[l][j][0]*(dp[j][r][0]+dp[j][r][1])%mo)%=mo;
		}
	printf("%lld\n",(dp[1][n][0]+dp[1][n][1])%mo);
	return 0;
}