[DP]hihoCoder #1147 시공진 문제 해결

제목의 대의.


nn개의 점의 그림을 보여 줍니다. 현재 임의의 두 점 사이에 길이가 1인 무방향변 (중변을 허용하지 않음) 을 만들 수 있습니다. 1에서 nn까지의 최단거리 거리가 KK인지 물어보십시오.n , K ≤ 100 n,K\le100 n,K≤100

문제 풀이 분석


묘한 DP!이 그림에 대해 층을 나누는 것을 고려할 수 있다. ii i층에 있는 모든 점의 최단거리 거리는 ii i이다. 그러면 1은 0층에 있고 n은 KK층에 있으며 각 층은 상층 또는 이 층의 노드와만 연결될 수 있다.f[i][j][k]f[i][j][k]f[i][j][k]를 설정하여 전 ii층을 위해 모두 jj개 노드를 사용하는데 그 중에서 제 ii층은 kk개 노드의 합법적인 방안이 있다.매거진 전 층에 xx개가 있으면 뚜렷한 전이 방정식은 f[i][j][k]=∑f[i-31][j-k][x][x]∗Cn-j+k+1k∗(2x-1)k∗2;2Ck2f[i][j]=\sumf[i-1][j-k][x]*C{n-j+k+1} {{{} * (2^x-1) ^k* 2^ {+ j+k^2} [j] [k] = ∑ f[i-1] [j-k] [x] [Cn-j+k+1k (2[j] [j] [[k] [k] [k] = ∑f[i[i[i[i] [j] [k] [x] [x] [x] [x] [x] [Cnn-k] [x] [x] [x] [x] [x] [x] [x] [x] [x] [x] [x] [x]]] [x] [x]] [x] [x]]] [x] [x]]]] [x] [x]]] [xK, K 층의 노드가 연결되어 있습니다.

예제 코드


제목 전송문
#include
using namespace std;
typedef long long LL;
const int tt=1e9+7;
int n,K,C[105][105],pw[10005];
LL ans,f[105][105][105];
void maken(){
	for (int i=0;i<=n;i++) C[i][0]=1;
	for (int i=1;i<=n;i++)
		for (int j=1;j<=i;j++)
			C[i][j]=(C[i-1][j]+C[i-1][j-1])%tt;
	pw[0]=1; for (int i=1;i<=n*n;i++) pw[i]=pw[i-1]*2%tt;
}
LL ksm(LL x,int y){
	LL sum=1,w=x;
	for (;y;y>>=1,w=w*w%tt) if (y&1) sum=sum*w%tt;
	return sum%tt;
}
int main()
{
	freopen("portal.in","r",stdin);
	freopen("portal.out","w",stdout);
	scanf("%d%d",&n,&K); maken(); f[0][1][1]=1;
	for (int i=1;i<=K;i++)
		for (int j=i+1;j<=n-K+i;j++)
			for (int k=1;k<=j-i;k++){
				LL tem=(i==K)?C[n-j+k-1][k-1]:C[n-j+k-1][k];
				for (int x=1;x<=j-k-i+1;x++)
					f[i][j][k]=(f[i][j][k]+f[i-1][j-k][x]*tem%tt*ksm(pw[x]+tt-1,k)%tt*pw[C[k][2]]%tt)%tt;
				if (i==K) ans=(ans+f[i][j][k]*pw[k*(n-j)+C[n-j][2]]%tt)%tt;
			}
	printf("%lld",ans);
	return 0;
}

좋은 웹페이지 즐겨찾기