状压搜索 洛谷T47092 作业

TYM 有 nn 本作业，编号为 1,\dots,n1,…,n。

由于 \mathrm{TYM}TYM 很喜欢偷懒，而且不喜欢消耗脑细胞，所以他选择跳着完成这 nn 本作业。
此外，如果将做作业的顺序转换为 1,\dots,n1,…,n 的一个排列，并以序列 ss 表示，有以下规定：

1. 最终 \forall i \in [1,n-1],a_{s_i} \leq a_{s_{i+1}}∀i∈[1,n−1],asi​​≤asi+1​​。

2. 每次做作业时，对于最后一本做完的作业 ii 和下一本准备做的作业 jj，编号为 i,ji,j 之间的作业中，没有做的作业数量 \le b_i≤bi​。

求满足以上条件的情况下，\mathrm{TYM}TYM 做完所有作业的方案数对 49210574921057 取模的结果。

输入输出格式

输入格式：

第一行，一个整数 nn。
第二行，nn 个整数 a_iai​。
第三行，nn 个整数 b_ibi​。

输出格式：

一行，方案数对 49210574921057 取模的结果。

输入输出样例

输入样例#1：

5
2 4 5 10 6
1 1 2 1 1

输出样例#1：

1
题解：把每个状态压成二进制，进行搜索，搜索下一个满足两个条件的作业，注意，dfs最好只进去一遍，初始化b[0]=maxlongint，所有第一次做的作业会被都搜到（1000，0100，0010，0001）；
ps：对于复杂的条件，为了更好理解，建议写在dfs主程序外，独立成函数

 var
 n,i,ans:longint;
 a,b:array[..]of longint;
 function min(x,y:longint):longint;
  begin
   if x>y then exit(y) else exit(x);
  end;
  function max(x,y:longint):longint;
   begin
    if x>y then exit(x) else exit(y);
   end;

 function pd(l,r,t:longint):longint;
 var tot:longint;
  begin
  tot:=;
  for i:=l+ to r- do
   begin
    if t and (<<(i-))= then inc(tot);
   end;
   exit(tot);
 end;
 procedure dfs(x,t:longint);
 var i:longint;
  begin
  if t=(<<n)- then
  begin
   ans:=(ans+)mod ;
   exit;
  end;
   for i:= to n do
    begin
     if t and(<<(i-))= then
      if (a[i]>=a[x])and(pd(min(i,x),max(i,x),t)<=b[x]) then
       dfs(i,t+(<<(i-)));
    end;
 end;
 begin
 readln(n);
 for i:= to n do read(a[i]);
 readln;
 for i:= to n do read(b[i]);
 {for i:=1 to n do
 begin

  dfs(i,1<<(i-1));
 end;}
 b[]:=maxlongint;
 dfs(,);
 writeln(ans);
 end.