JSOI2017 Day1T3 code解题报告

JSOI2017 Day1T3 code解题报告
via. HbFS-

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

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

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

fi,j表示长度为i,寄存器初始值为0,运行结束寄存器值为x的程序数量
j0
fi,j=fi1,j1+fi1,j+1+ik=2dk1fik+ik=2(gk2,j+fk2,j)fik,0
否则:
fi,j=fi1,j1+fi1,j+1+ik=2dk1fik+ik=2hk2fik,0
其中gi,j表示长度为i,运行结果为j的约数的无循环程序数量

Fi,ji0j
j=0
Fi,j=Fi1,j1+Fi1,j+1+ik=2dk1Fik,j+ik=2l0(gk2,j+fk2,j)Fik,j+ik=2hk2Fik,0
否则
Fi,j=Fi1,j1+Fi1,j+1+ik=2dk1Fik,j

ans=iFn,i

阅读更多
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页