[CF939F]Cutlet

题目

传送门 to luogu

注解
区间 $[l,r]$ 指的是时刻 $l$ 到时刻 $r$ 之间都能翻转。从时刻 $0$ 开始，时刻 $2n$ 结束。

思路

神题。人给我搞傻了。这个 $\mathtt{d}\mathtt{p}$ 状态定义非常牛批。🐮🍺

$f(i,j)$ 表示 $r_i$ 时刻，没在火里那一面烤了 $j$ 秒，最少需要翻转几次。

假设第 $i$ 个区间内没有翻转，则

$$f(i,j)=f(i-1,j)$$

假设第 $i$ 个区间内翻转了一次。称现在是“正面”被烤。“正面”直到 $r_i$ 时刻一共要烤 $r_i-j$ 秒，若第 $i$ 个区间内被烤了 $t$ 秒，则

$$f(i,j)=f(i-1,r_i-j-t)+1(0\le t\le r_i-l_i)$$

假设第 $i$ 个区间内翻转了两次。其实就是把“反面”拿出来烤了烤。于是

$$f(i,j)=f(i-1,j-t)+2(0\le t\le r_i-l_i)$$

翻转三次及以上？没啥用啊。我唯一可以控制的是，在该区间内，正反面各烤了多久；结束时，哪一面朝上。显然一次翻转可以代替所有奇数次翻转，两次翻转搞定所有偶数次翻转。

区间长度是固定的，显然是个滑窗问题，做到了 $\mathcal{O}(1)$ 转移。而且这个 $\mathtt{c}\mathtt{o}\mathtt{s}\mathtt{t}$ 非常简单啊 😂

代码

如果你只想做一次单调队列，可以将第二个转移式写成

$$f(i,r_i-j)=f(i-1,j-t)+1(0\le t\le r_i-l_i)$$

然后直接把 $f$ 丢进去做单调队列。

#include <cstdio>
#include <iostream>
#include <vector>
using namespace std;
typedef long long int_;
inline int_ readint(){
	int_ a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

const int infty = (1<<30)-1;
int q[100001], head, tail;
// dp[i][j]: r_i 时刻，没在火中的一面烤了 j 分
// 存储最小翻转次数
int dp[102][100001];

int main(){
	int n = readint(), T = readint();
	for(int j=1; j<=n; ++j)
		dp[0][j] = infty;
	for(int i=1,l,r; i<=T+1; ++i){
		if(i != T+1)
			l = readint(), r = readint();
		else l = r = n<<1; // 血战到最后一刻
		l = r-l; // 区间长度
		for(int j=0; j<=n; ++j)
			dp[i][j] = dp[i-1][j];
		head = 1, tail = 0; // Q.clear()
		for(int j=0; j<=n; ++j){
			while(head <= tail)
				if(dp[i-1][q[tail]] >= dp[i-1][j])
					-- tail; else break;
			q[++ tail] = j;
			while(q[head] < j-l) ++ head;
			dp[i][j] = min(dp[i][j],dp[i-1][q[head]]+2);
			if(0 <= r-j && r-j <= n)
				dp[i][r-j] = min(dp[i][r-j],dp[i-1][q[head]]+1);
		}
	}
	if(dp[T+1][n] == infty){
		puts("Hungry"); return 0;
	}
	puts("Full");
	printf("%d\n",dp[T+1][n]);
	return 0;
}