SDOI2009 學校食堂（狀態壓縮）

小f 的學校在城市的乙個偏僻角落，所有學生都只好在學校吃飯。學校有乙個食堂，雖然簡陋，但食堂大廚總能做出讓同學們滿意的菜餚。當然，不同的人口味也不一定相同，但每個人的口味都可以用乙個非負整數表示。由於人手不夠，食堂每次只能為乙個人做菜。做每道菜所需的時間是和前一道菜有關的，若前一道菜的對應的口味是a，這一道為b，則做這道菜所需的時間為（a or b）-（a and b），而做第一道菜是不需要計算時間的。其中，or 和and 表示整數逐位或運算及逐位與運算，c語言中對應的運算子為「|」和「&」。

學生數目相對於這個學校還是比較多的，吃飯做菜往往就會花去不少時間。因此，學校食堂偶爾會不按照大家的排隊順序做菜，以縮短總的進餐時間。

雖然同學們能夠理解學校食堂的這種做法，不過每個同學還是有一定容忍度的。也就是說，隊伍中的第i 個同學，最多允許緊跟他身後的bi 個人先拿到飯菜。一旦在此之後的任意同學比當前同學先拿到飯，當前同學將會十分憤怒。因此，食堂做菜還得照顧到同學們的情緒。現在，小f 想知道在滿足所有人的容忍度這一前提下，自己的學校食堂做完這些菜最少需要多少時間。

輸入格式：

第一行包含乙個正整數c，表示測試點的資料組數。每組資料的第一行包含乙個正整數n，表示同學數。每組資料的第二行起共n行，每行包含兩個用空格分隔的非負整數ti和bi，表示按隊伍順序從前往後的每個同學所需的菜的口味和這個同學的忍受度。每組資料之間沒有多餘空行。

輸出格式：

包含c行，每行乙個整數，表示對應資料中食堂完成所有菜所需的最少時間。

輸入樣例#1：複製

55 2

4 112 0

3 32 2

25 0

4 0

輸出樣例#1：複製

對於第一組資料：

同學1允許同學2或同學3在他之前拿到菜；同學2允許同學3在他之前拿到菜；同學3比較小氣，他必須比他後面的同學先拿菜……

一種最優的方案是按同學3、同學2、同學1、同學4、同學5做菜，每道菜所需的時間分別是0、8、1、6及1。

【資料規模和約定】

對於30%的資料，滿足1 ≤ n ≤ 20。

對於100%的資料，滿足1 ≤ n ≤ 1,000，0 ≤ ti ≤ 1,000，0 ≤ bi ≤ 7，1 ≤ c ≤ 5。

存在30%的資料，滿足0 ≤ bi ≤ 1。

存在65%的資料，滿足0 ≤ bi ≤ 5。

存在45%的資料，滿足0 ≤ ti ≤ 130。】

狀態：

f[i][j][k] 表示：前面i-1個人全都打完飯了，第i個人以及這個人後面的七個人是否打過飯的狀態（什麼？可能不到七個人？後面會處理的！），最後一名打過飯的同學的相對編號是k（-8 ≤ k ≤ 7），即當前最後一名打過飯的同學是i+k。

狀態轉移方程（我為人人）：

如果當前第i個人打過飯了if(j & 1)：

f[i+1][j>>1][k-1] = min(f[i][j][k]);（這裡不用增加時間，是因為已經打過飯了）

如果當前第i個人沒打過飯else

列舉h = 0...7，只要滿足之前同學的容忍度（用limit維護，如下），且第i+h個人沒打過飯，就可以更新：

f[i][j|(1《這個dp有點假，是從前往後推的，更像是遞推。

1 #include 2
3using
namespace
std;
4const
int inf = 0x3f3f3f3f;5
const
int max_n = 1000 + 5;6
const
int max_b = 8;7
8int
c, n;
9int
t[max_n], b[max_n];
10int f[max_n][1
<20
];11
12void
input()
1318
19void tomin(int& a, int
b)20
23void tomax(int& a, int
b)24
2728 inline int cal(int inda, int
indb)
2934
35void
dp()
3645
else54}
55}5657
int ans =inf;
58for (int k = 0; k < 8; k++)
59 tomin(ans, f[n+1][0
][k]);
60 cout << ans <6263
intmain()
6470
return0;
71 }

SDOI2009 學校食堂（狀態壓縮）

SDOI2009 學校食堂

SDOI2009 學校食堂

SDOI2009 學校食堂

相關推薦