bzoj3939[Usaco2015 Feb]Cow Hopscotch 动态开点线段树优化dp

Posted GXZlegend

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了bzoj3939[Usaco2015 Feb]Cow Hopscotch 动态开点线段树优化dp相关的知识,希望对你有一定的参考价值。

题目描述

Just like humans enjoy playing the game of Hopscotch, Farmer John‘s cows have invented a variant of the game for themselves to play. Being played by clumsy animals weighing nearly a ton, Cow Hopscotch almost always ends in disaster, but this has surprisingly not deterred the cows from attempting to play nearly every afternoon.

The game is played on an R by C grid (2 <= R <= 750, 2 <= C <= 750), where each square is labeled with an integer in the range 1..K (1 <= K <= R*C). Cows start in the top-left square and move to the bottom-right square by a sequence of jumps, where a jump is valid if and only if

1) You are jumping to a square labeled with a different integer than your current square,

2) The square that you are jumping to is at least one row below the current square that you are on, and

3) The square that you are jumping to is at least one column to the right of the current square that you are on.

Please help the cows compute the number of different possible sequences of valid jumps that will take them from the top-left square to the bottom-right square.

就像人类喜欢跳格子游戏一样,FJ的奶牛们发明了一种新的跳格子游戏。虽然这种接近一吨的笨拙的动物玩跳格子游戏几乎总是不愉快地结束,但是这并没有阻止奶牛们在每天下午参加跳格子游戏 
游戏在一个R*C的网格上进行,每个格子有一个取值在1-k之间的整数标号,奶牛开始在左上角的格子,目的是通过若干次跳跃后到达右下角的格子,当且仅当格子A和格子B满足如下条件时能从格子A跳到格子B: 
1.B格子在A格子的严格右方(B的列号严格大于A的列号) 
2.B格子在A格子的严格下方(B的行号严格大于A的行号) 
3.B格子的标号和A格子的标号不同 
请你帮助奶牛计算出从左上角的格子到右下角的格子一共有多少种不同的方案

输入

The first line contains the integers R, C, and K. The next R lines will each contain C integers, each in the range 1..K.
第一行包含两个整数R C K 
接下来的R行,每行C个整数表示格子的标号

输出

Output the number of different ways one can jump from the top-left square to the bottom-right square, mod 1000000007.

一行,代表有多少种不同的方案,由于答案很大,请输出答案对1000000007取模的结果

样例输入

4 4 4
1 1 1 1
1 3 2 1
1 2 4 1
1 1 1 1

样例输出

5


题解

动态开点线段树优化dp

首先有dp方程$f[x][y]=\sum\limits_{i=1}^{x-1}\sum\limits_{j=1\& c[i][j]\neq c[x][y]}^{y-1}f[i][j]=\sum\limits_{i=1}^{x-1}\sum\limits_{j=1}^{y-1}f[i][j]-\sum\limits_{i=1}^{x-1}\sum\limits_{j=1\& c[i][j]=c[x][y]}^{y-1}f[i][j]$。

前面那个东西我们可以使用二维前缀和优化,而后面的那个东西只能使用数据结构。

考虑我们的dp方式:先循环行、再循环列。那么搜到某一行时,它之前的一定是行数比它小的,所以不用管这个条件,只要维护列即可,即维护第1~x列某种颜色的f之和。

由于颜色数太多,显然不能使用静态数据结构,所以使用动态开点线段树,对每一个颜色开一棵线段树维护区间和。

对于第i行,先对于第j列求出1~j-1列与它颜色相同的f的和,然后再循环一遍,更新二维前缀和及线段树。

时间复杂度$O(nm\log nm)$

#include <cstdio>
#include <algorithm>
#define N 800
#define M 600000
using namespace std;
const int mod = 1000000007;
int c[N][N] , f[N][N] , sum[N][N] , root[M] , ls[M * 15] , rs[M * 15] , si[M * 15] , tot;
void update(int p , int a , int l , int r , int &x)
{
	if(!x) x = ++tot;
	si[x] = (si[x] + a) % mod;
	if(l == r) return;
	int mid = (l + r) >> 1;
	if(p <= mid) update(p , a , l , mid , ls[x]);
	else update(p , a , mid + 1 , r , rs[x]);
}
int query(int b , int e , int l , int r , int x)
{
	if(b <= l && r <= e) return si[x];
	int mid = (l + r) >> 1 , ans = 0;
	if(b <= mid) ans += query(b , e , l , mid , ls[x]);
	if(e > mid) ans += query(b , e , mid + 1 , r , rs[x]);
	return ans % mod;
}
int main()
{
	int n , m , i , j;
	scanf("%d%d%*d" , &n , &m);
	for(i = 1 ; i <= n ; i ++ )
		for(j = 1 ; j <= m ; j ++ )
			scanf("%d" , &c[i][j]);
	f[1][1] = sum[1][1] = 1 , update(1 , 1 , 1 , m , root[c[1][1]]);
	for(i = 2 ; i <= n ; i ++ ) sum[i][1] = 1;
	for(i = 2 ; i <= m ; i ++ ) sum[1][i] = 1;
	for(i = 2 ; i <= n ; i ++ )
	{
		for(j = 2 ; j <= m ; j ++ ) f[i][j] = (sum[i - 1][j - 1] - query(1 , j - 1 , 1 , m , root[c[i][j]]) + mod) % mod;
		for(j = 2 ; j <= m ; j ++ ) sum[i][j] = (((sum[i][j - 1] + sum[i - 1][j]) % mod + f[i][j]) % mod - sum[i - 1][j - 1] + mod) % mod;
		for(j = 2 ; j <= m ; j ++ ) update(j , f[i][j] , 1 , m , root[c[i][j]]);
	}
	printf("%d\n" , f[n][m]);
	return 0;
}

 

 

以上是关于bzoj3939[Usaco2015 Feb]Cow Hopscotch 动态开点线段树优化dp的主要内容,如果未能解决你的问题,请参考以下文章

[bzoj3939_Usaco2015 Feb]Cow Hopscotch(线段树维护DP)

BZOJ 3942: [Usaco2015 Feb]Censoring

bzoj3940 [Usaco2015 Feb]Censoring

bzoj3940[Usaco2015 Feb]Censoring*

bzoj 3940: [Usaco2015 Feb]Censoring -- AC自动机

bzoj3942[Usaco2015 Feb]Censoring*