狀壓\(dp\)是動態規劃的一種,通過將狀態壓縮為整數來達到優化轉移的目的 -- \(oi wiki\) 狀態壓縮的思想是用二進位制來表示狀態.
狀壓\(dp\)的時間複雜度是\(o(n^22^n)\)的,通常只能用於\(n \leq 21\)的資料範圍
我們定義陣列\(dp[i][j]\)表示的是老鼠走到第\(i\)個乳酪,且之前走過的狀態為\(j\)時所用的最短的距離.舉個栗子:\(dp[9][166]\)代表的就是老鼠走到了第\(9\)塊乳酪,之前已經走過第\(2,3,6,8\)塊乳酪,因為\(166\)用二進位制表示就是\(10100110\),值得注意的是,這裡的第\(i\)狀態是從二進位制低位到高位來算的.
對於\(dp\)陣列的初始化:首先先賦值為最大值,可以使用memset(dp,127,sizeof(dp)),接著如果只經過第\(i\)塊乳酪,那麼對應的\(dp\)陣列的值就是原點到這個乳酪的座標的直線距離.用程式表示就是dp[i][1 << (i - 1)] = dis[0][i].為什麼是左移\(i-1\)位呢?我們可以手推一下,假設現在我們只到了第\(1\)塊乳酪,那麼對應的狀態(二進位制)因該是\(0001\),轉換為十進位制就是\(1\),\(1=2^0\),所以我們其實是左移\(0\)位,如果到了第\(2\)塊乳酪,則二進位制下的表示是\(00010\),對應的十進位制就是\(2\),\(2 = 2^1\)所以實際上左移了\(1\)位,這也就是左移\(i-1\)位的原因.
接下來就是轉移方程了,\(dp[i][k] = min(dp[i][k],dp[j][k-2^] + dis[i][j])\),\(dp[j][k-2^]\)表示的是現在老鼠在\(j\)點,並且沒有走過\(i\)點的最短距離,\(dis[i][j]\)就是\(i,j\)之間的距離,為什麼可以表示沒有走過\(i\)的狀態呢?因為\(dp[i][k]\)要求的就是走過了\(i\)的最佳答案,所以\(k\)的二進位制表示中在\(i\)那一位是\(1\),而\(dp[j][k-2^]\)中,\(k\)減去了\(2^\)所以剛好把\(k\)二進位制表示中\(i\)那一位的\(1\)減成了\(0\),至於為什麼是\(2^\)前文有解釋.
關於統計答案,就是找出\(min(dp[i][2^n-1])\)就可以了,因為已經明確了最終的狀態是全部乳酪都要吃,所以對於每乙個\(i\)只要保證描述狀態的那一維也就是\(2^n-1\)也就保證了每乙個乳酪都被吃了,所以每乙個\(i\)都是成立的合法解,所以取最小值就行.再理解一下,為什麼\(2^n-1\)就可以保證代表每乙個乳酪都被取到了呢?根據上文的描述我們知道乳酪\(i\)被取了就意味著在\(dp\)陣列第二維描述狀態的數的二進位制位上第\(i\)位是\(1\),那麼其實我們只要在統計答案的時候保證描述狀態的每一位都是\(1\)即可,那麼我們先假設\(n=3\),那麼對應的最終狀態的二進位制表示因該是\(111\),十進位制下就是\(7\),而\(7=8-1,8=2^3,8\)的二進位制表示是\(1000\),那麼再在\(8\)的二進位制位上\(-1\),就變成\(111\),也就是答案了.
這就是狀壓\(dp\)的基本思路和解法,其實應用過的範圍不是很廣,因為可以支援的資料範圍不大,但是這種用二進位制來優化狀態表示和轉移的方法還是很有學習價值的.
下面就是洛谷上例題的**了:
在實現的時候還是要注意精度,因為要不然的話太小的小數比如\(0.001\)就會被計算成\(0\),導致\(wa\),所以盡量所有含有實數運算的函式和引數都要定義成\(double\)型別
#include using namespace std;
double dis[20][20];
struct pointpos[20];
double dp[20][34000];
int n;
double pow(double x)
double calc_dis(int x,int y)
int main()
pos[0].x = pos[0].y = 0;
for(int i = 0;i <= n;i++)
} for(int i = 1;i <= n;i++)
dp[i][1 << (i - 1)] = dis[0][i];
for(int k = 1;k < (1 << n);k++)
} }for(int i = 1;i <= n;i++)ans = min(ans,dp[i][(1 << n) - 1]);
printf("%.2lf\n",ans);
return 0;
}
洛谷 P1433 吃乳酪
題目描述 房間裡放著n塊乳酪。乙隻小老鼠要把它們都吃掉，問至少要跑多少距離？老鼠一開始在 0,0 點處。輸入輸出格式 輸入格式 第一行乙個數n n 15 接下來每行2個實數，表示第i塊乳酪的座標。兩點之間的距離公式 sqrt x1 x2 x1 x2 y1 y2 y1 y2 輸出格式 乙個數，表示要跑...
洛谷P1433 吃乳酪
房間裡放著n塊乳酪。乙隻小老鼠要把它們都吃掉，問至少要跑多少距離？老鼠一開始在 0,0 點處。輸入格式 第一行乙個數n n 15 接下來每行2個實數，表示第i塊乳酪的座標。兩點之間的距離公式 sqrt x1 x2 x1 x2 y1 y2 y1 y2 輸出格式 乙個數，表示要跑的最少距離，保留2位小數...
洛谷P1433 吃乳酪
房間裡放著n塊乳酪。乙隻小老鼠要把它們都吃掉，問至少要跑多少距離？老鼠一開始在 0,0 點處。輸入格式 第一行乙個數n n 15 接下來每行2個實數，表示第i塊乳酪的座標。兩點之間的距離公式 sqrt x1 x2 x1 x2 y1 y2 y1 y2 輸出格式 乙個數，表示要跑的最少距離，保留2位小數...