题目
注解
区间
[
l
,
r
]
[l,r]
[l,r] 指的是时刻
l
l
l 到时刻
r
r
r 之间都能翻转。从时刻
0
0
0 开始,时刻
2
n
2n
2n 结束。
思路
神题。人给我搞傻了。这个 d p \tt dp dp 状态定义非常牛批。🐮🍺
f ( i , j ) f(i,j) f(i,j) 表示 r i r_i ri 时刻,没在火里那一面烤了 j j j 秒,最少需要翻转几次。
假设第 i i i 个区间内没有翻转,则
f ( i , j ) = f ( i − 1 , j ) f(i,j)=f(i-1,j) f(i,j)=f(i−1,j)
假设第 i i i 个区间内翻转了一次。称现在是“正面”被烤。“正面”直到 r i r_i ri 时刻一共要烤 r i − j r_i-j ri−j 秒,若第 i i i 个区间内被烤了 t t t 秒,则
f ( i , j ) = f ( i − 1 , r i − j − t ) + 1 ( 0 ≤ t ≤ r i − l i ) f(i,j)=f(i-1,r_i-j-t)+1\quad(0\le t\le r_i-l_i) f(i,j)=f(i−1,ri−j−t)+1(0≤t≤ri−li)
假设第 i i i 个区间内翻转了两次。其实就是把“反面”拿出来烤了烤。于是
f ( i , j ) = f ( i − 1 , j − t ) + 2 ( 0 ≤ t ≤ r i − l i ) f(i,j)=f(i-1,j-t)+2\quad(0\le t\le r_i-l_i) f(i,j)=f(i−1,j−t)+2(0≤t≤ri−li)
翻转三次及以上?没啥用啊。我唯一可以控制的是,在该区间内,正反面各烤了多久;结束时,哪一面朝上。显然一次翻转可以代替所有奇数次翻转,两次翻转搞定所有偶数次翻转。
区间长度是固定的,显然是个滑窗问题,做到了 O ( 1 ) \mathcal O(1) O(1) 转移。而且这个 c o s t \tt cost cost 非常简单啊 😂
代码
如果你只想做一次单调队列,可以将第二个转移式写成
f ( i , r i − j ) = f ( i − 1 , j − t ) + 1 ( 0 ≤ t ≤ r i − l i ) f(i,r_i-j)=f(i-1,j-t)+1\quad(0\le t\le r_i-l_i) f(i,ri−j)=f(i−1,j−t)+1(0≤t≤ri−li)
然后直接把 f f 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;
}