51NOD1522 上下序列/CF567F Mausoleum DP

题目传送门：http://codeforces.com/problemset/problem/567/F

大致题意：你有$1$到$N$的所有正整数每个数两个，现在需要你将它排成一个序列，使得序列为单峰序列（存在一个$j \in [1,2N]$满足$a_1 \leq a_2 \leq .. \leq a_j \geq a_{j+1} ... \geq a_{2N}$），并且满足输入中给出的$K$个约束条件。$N \leq 35 , K \leq 100$

---

因为序列要满足单峰，所以考虑从小到大在没有加入数字的序列位置的最左和最右加入元素，这样序列将会一直满足单峰性质
考虑状态$f_{p,q}$表示左边已经填了$p$个，右边填了$q$个的方案（其实可以压掉其中一维），考虑第$i$个数字的转移，有$3$种：
$a:$将这两个$i$都放在序列最左边；$b:$将这两个$i$放在序列最右边；$c.$将这两个$i$一个放一边。
对于$K$个约束条件我们可以在加入的时候直接判断：当前加入的两个数相等，没加入的位置的数必定比当前加的数大，而其他已经填好的地方一定比当前的数小。
最后的答案是$\frac{\sum\limits_{i=0}^{2n}f_{i,2n-i}}{3}$，除3是因为对于最后一次加入，$abc$三种方案都是可行的，但是我们只能算一种。
注意判断约束条件时的细节，约束条件的存储可以使用类似邻接表的方法，在加入约束条件时如加入无向边一样变成两个约束条件，判断起来会方便一些。

 #include<bits/stdc++.h>
 #define int long long
 using namespace std;

 ][] , numOp[];

 vector < ] , op[];
 map < string , int > opToNum;

 bool ifOK(int l , int r , int que1 , int que2){
 //特别注意判断que1位置与que2位置有联系的情况
      ; i < numOp[que1] ; i++)
         switch(op[que1][i]){
             :
                 if(num[que1][i] < r && num[que1][i] > l || num[que1][i] == que2)
                     ;
                 break;
             :
                 if(num[que1][i] < r && num[que1][i] > l && num[que1][i] != que2)
                     ;
                 break;
             :
                 if(!(num[que1][i] == que2))
                     ;
                 break;
             :
                 if(!(num[que1][i] <= r && num[que1][i] >= l || num[que1][i] == que2))
                     ;
                 break;
             :
                 if(!(num[que1][i] < r && num[que1][i] > l) || num[que1][i] == que2)
                     ;
         }
      ; i < numOp[que2] ; i++)
         switch(op[que2][i]){
             :
                 if(num[que2][i] < r && num[que2][i] > l || num[que2][i] == que1)
                     ;
                 break;
             :
                 if(num[que2][i] < r && num[que2][i] > l && num[que2][i] != que1)
                     ;
                 break;
             :
                 if(!(num[que2][i] == que1))
                     ;
                 break;
             :
                 if(!(num[que2][i] <= r && num[que2][i] >= l || num[que2][i] == que1))
                     ;
                 break;
             :
                 if(!(num[que2][i] < r && num[que2][i] > l) || num[que2][i] == que1)
                     ;
         }
     ;
 }

 main(){
     opToNum.insert(make_pair());
     opToNum.insert(make_pair());
     opToNum.insert(make_pair());
     opToNum.insert(make_pair());
     opToNum.insert(make_pair());
     int N , K;
     for(cin >> N >> K ; K ; K--){
         int a , b , t;
         string s;
         cin >> a >> s >> b;
         t = opToNum.find(s)->second;
         if(a == b)
              || t == ){
                 cout << ;
                 ;
             }
             else
                 continue;
         num[a].push_back(b);
         op[a].push_back(t);
         num[b].push_back(a);
         op[b].push_back( - t);
         numOp[a]++;
         numOp[b]++;
     }
     ans[][] = ;
      ; i <= N ; i++){
     //DP
          * i ; j >=  ; j--)
             ][ * i - j] && ifOK(j ,  * N -  * i + j +  , j , j - ))
                 ans[j][ * i - j] += ans[j - ][ * i - j];
          * i ; j >=  ; j--)
              * i - j][j - ] && ifOK( * i - j ,  * N - j +  ,  * N - j +  ,  * N - j + ))
                 ans[ * i - j][j] += ans[ * i - j][j - ];
          ; j <  * i ; j++)
              * i - j - ][j - ] && ifOK( * i - j ,  * N - j +  ,  * i - j ,  * N - j + ))
                 ans[ * i - j][j] += ans[ * i - j - ][j - ];
     }
     ;
      ; i <=  * N ; i++)
         all += ans[i][ * N - i];
     cout << all / ;
     ;
 }