状压搜索 洛谷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[0..500]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:=0;
 for i:=l+1 to r-1 do
  begin
   if t and (1<<(i-1))=0 then inc(tot);
  end;
  exit(tot);
end;
procedure dfs(x,t:longint);
var i:longint;
 begin
 if t=(1<<n)-1 then
 begin
  ans:=(ans+1)mod 4921057;
  exit;
 end;
  for i:=1 to n do
   begin
    if t and(1<<(i-1))=0 then
     if (a[i]>=a[x])and(pd(min(i,x),max(i,x),t)<=b[x]) then
      dfs(i,t+(1<<(i-1)));
   end;
end;
begin
readln(n);
for i:=1 to n do read(a[i]);
readln;
for i:=1 to n do read(b[i]);
{for i:=1 to n do
begin

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