本著只貼代碼不寫(xiě)分析的題解是在耍流氓的原則，還是決定寫(xiě)點(diǎn)分析。

思路很清晰，參考的官方題解，一下文字僅對(duì)題解做一個(gè)簡(jiǎn)要翻譯。

?

題意：

有1~n這n個(gè)數(shù)，每個(gè)數(shù)用兩次。構(gòu)成一個(gè)長(zhǎng)為2n的序列，而且要求序列滿(mǎn)足先遞增后遞減(都是非嚴(yán)格的遞增遞減)。

再給出k個(gè)約束，每個(gè)約束形如1 >= 3這種，表示序列的第一個(gè)數(shù)要不小于第三個(gè)數(shù)。

問(wèn)滿(mǎn)足約束的合法序列有多少種。

?

分析：

首先先不考慮這些約束條件，考慮如何構(gòu)造出這種序列。

考慮兩個(gè)1放置的位置，因?yàn)樾蛄惺莾蛇呅≈虚g大，所以這兩個(gè)1要么放在前面兩個(gè)位置，或者后面兩個(gè)位置，要么一前一后，而且只有這三種放法。

事實(shí)上，不考慮約束條件的話(huà)，n個(gè)數(shù)能得到的合法的序列的個(gè)數(shù)為3ⁿ

?

因此這些數(shù)是1~n從兩邊往中間放的。

設(shè)d(L, R)表示[L, R]這個(gè)區(qū)間還沒(méi)放數(shù)，滿(mǎn)足約束條件的序列個(gè)數(shù)，則答案為d(1, 2n)

下面考慮如何處理這些不等式：

計(jì)算d(L, R)時(shí)，比如要放在L和L+1這兩個(gè)格子，那么就考慮所有和L相關(guān)的不等式，以及和L+1相關(guān)的不等式。

為了更清楚起見(jiàn)，畫(huà)一個(gè)圖看看：

綠色表示已經(jīng)放好數(shù)的區(qū)間，黃色表示正要放的兩個(gè)格子，紅色是還未放數(shù)的區(qū)間。

那么有大小關(guān)系：綠色的數(shù) < 黃色的數(shù) < 紅色的數(shù)，兩個(gè)黃色格子的數(shù)是相等的。

比如有不等式L >= v

如果a[L] == a[v]，那么v應(yīng)該等于L + 1，表示L和v兩個(gè)位置放同一個(gè)數(shù)；

如果a[L] > a[v]，那么v應(yīng)該在綠色的區(qū)間表示之前已經(jīng)放過(guò)數(shù)了，這樣放在L的數(shù)才能比放在v的數(shù)大。

?

1 #include <iostream> 2 #include <cstdio> 3 #include <cstring> 4 #include <algorithm> 5 #include <vector> 6 #include <map> 7 #define MP make_pair 8 using namespace std; 9 10 typedef long long LL; 11 12 const int maxn = 80; 13 14 int n, k; 15 16 vector<int> G[maxn], req[maxn]; 17 18 LL d[maxn][maxn]; 19 20 bool check(int L, int R, int l, int r) 21 { 22 for(int i = 0; i < G[l].size(); i++) 23 { 24 int v = G[l][i], t = req[l][i]; 25 if(t == -2) 26 { 27 if(v < L || v > R || v == r) return false; 28 } 29 else if(t == -1) 30 { 31 if(v < L || v > R) return false; 32 } 33 else if(!t) 34 { 35 if(v != r) return false; 36 } 37 else if(t == 1) 38 { 39 if(v >= L && v <= R && v != r) return false; 40 } 41 else 42 { 43 if(v >= L && v <= R) return false; 44 } 45 } 46 47 for(int i = 0; i < G[r].size(); i++) 48 { 49 int v = G[r][i], t = req[r][i]; 50 if(t == -2) 51 { 52 if(v < L || v > R || v == l) return false; 53 } 54 else if(t == -1) 55 { 56 if(v < L || v > R) return false; 57 } 58 else if(!t) 59 { 60 if(v != l) return false; 61 } 62 else if(t == 1) 63 { 64 if(v >= L && v <= R && v != l) return false; 65 } 66 else 67 { 68 if(v >= L && v <= R) return false; 69 } 70 } 71 72 return true; 73 } 74 75 LL dp(int L, int R) 76 { 77 LL& ans = d[L][R]; 78 if(ans >= 0) return d[L][R]; 79 if(L + 1 == R) 80 { 81 if(check(L, R, L, R)) return 1LL; 82 return 0; 83 } 84 85 ans = 0; 86 87 if(check(L, R, L, L + 1)) 88 ans += dp(L + 2, R); 89 if(check(L, R, L, R)) 90 ans += dp(L + 1, R - 1); 91 if(check(L, R, R - 1, R)) 92 ans += dp(L, R - 2); 93 94 return ans; 95 } 96 97 int main() 98 { 99 scanf("%d%d", &n, &k); 100 char eq[10]; 101 while(k--) 102 { 103 int u, v; 104 scanf("%d", &u); 105 scanf("%s", eq); 106 scanf("%d", &v); 107 108 int t; 109 if(strcmp(eq, "<") == 0) t = -2; 110 else if(strcmp(eq, "<=") == 0) t = -1; 111 else if(strcmp(eq, "=") == 0) t = 0; 112 else if(strcmp(eq, ">=") == 0) t = 1; 113 else if(strcmp(eq, ">") == 0) t = 2; 114 else exit(1234); 115 116 if(u == v) 117 { 118 if(abs(t) <= 1) continue; 119 else { puts("0"); exit(0); } 120 } 121 122 req[u].push_back(t); req[v].push_back(-t); 123 G[u].push_back(v); G[v].push_back(u); 124 } 125 126 memset(d, -1, sizeof(d)); 127 128 printf("%I64d\n", dp(1, n * 2)); 129 130 return 0; 131 } 代碼君

?

轉(zhuǎn)載于:https://www.cnblogs.com/AOQNRMGYXLMV/p/4738710.html

總結(jié)

以上是生活随笔為你收集整理的CodeForces 567F DP Mausoleum的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。