JSOI2017 Day1T3 code解题报告

JSOI2017 Day1T3 code解题报告
via. HbFS-

观察语法规则可以发现
1、每个循环结束后寄存器的值是0
2、若当前寄存器值为0，则在后面添加一个循环，在循环内部添加任意能通过编译的程序，新程序都不会死循环

我们可以用动态规划求解这个问题

$h_i$表示长度为$i$能通过编译的程序数量

$f_{i,j}$表示长度为$i$，寄存器初始值为0，运行结束寄存器值为$x$的程序数量
若$j\neq 0$
$f_{i,j}=f_{i-1,j-1}+f_{i-1,j+1}+\sum_{k=2}^id_{k-1} f_{i-k}+\sum_{k=2}^i(g_{k-2,j}+f_{k-2,j}) f_{i-k,0}$
否则：
$f_{i,j}=f_{i-1,j-1}+f_{i-1,j+1}+\sum_{k=2}^id_{k-1} f_{i-k}+\sum_{k=2}^ih_{k-2}f_{i-k,0}$
其中$g_{i,j}$表示长度为$i$，运行结果为$j$的约数的无循环程序数量

$F_{i,j}表示长度为i，寄存器初始值为0，运行结果为j的程序数量$
若$j=0$
$F_{i,j}=F_{i-1,j-1}+F_{i-1,j+1}+\sum_{k=2}^id_{k-1}F_{i-k,j}+\sum_{k=2}^i\sum_{l\neq0}(g_{k-2,j}+f_{k-2,j})F_{i-k,j}+\sum_{k=2}^ih_{k-2}F{i-k,0}$
否则
$F_{i,j}=F_{i-1,j-1}+F_{i-1,j+1}+\sum_{k=2}^id_{k-1}F_{i-k,j}$

$ans=\sum_i F_{n,i}$