#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <cmath>
using namespace std;
const int inf = 0x3f3f3f3f;
bool train[210][51][3];//train数组用来表示在时刻s,车站t,是否有行驶的列车
int dp[201][51], t1[51];//存储列车到站的时间
int n, t,d;
int main()
{
int kase = 0;
while (scanf("%d", &n) == 1 && n)
{
memset(t1, 0, sizeof(t1));
scanf("%d", &t);
for (int i = 1; i < n; i++)
{
scanf("%d", &t1[i]);
}//存储各个列车到达下一站的时间
int count1 = 0, count2 = 0;
scanf("%d", &count1);
memset(train, false, sizeof(train));
for (int i = 0; i < count1; i++)//注意判断哪些火车可用于访问
{
scanf("%d", &d);
int s = d;
for (int j = 0; j < n; j++)//判断总的时间是否超过要求时间,j=1,s=0时注意状态标记,同样有列车
{
s += t1[j];
if (s <= t)
train[s][j+1][0] = true;//表示向右开的列车,已经到达下一个车站
else
break;
}
}
scanf("%d", &count2);
for (int i = 0; i < count2; i++)
{
scanf("%d", &d);
int s = d;
train[d][n][1] = true;//注意第n个车站在s=0时刻仍然可行,注意输入可行车站时注意细节
for (int j = n - 1; j > 1; j--)//向左行驶的列车,注意倒序
{
s += t1[j];
if (s <= t)
train[s][j][1] = true;//反向到达之前的车站
else
break;
}
}
for (int i = 1; i <= n - 1; i++)//反推思路,最终结果为dp[0][1]
dp[t][i] = inf;
dp[t][n] = 0;//从最后时刻,最后一个车站向前推导,注意边界条件控制,以及初始化问题
for (int i = t - 1; i >= 0; i--)
{
for (int j = 1; j <= n; j++)
{
dp[i][j] = dp[i + 1][j] + 1;//在车站等待,增加一个时间单位
if (train[i][j][0] && i + t1[j] <= t && j < n)//注意j<n条件的控制,控制t1数组的读取
{
dp[i][j] = min(dp[i][j], dp[i + t1[j]][j + 1]);//与行驶至下一个车站的最短时间进行比较
}
if (train[i][j][1] && i + t1[j-1] <= t && j > 1)//注意t1的输入顺序
{
dp[i][j] = min(dp[i][j], dp[i +t1[j - 1]][j - 1]);//注意向左行驶的列车从第n站开始,往回行驶
}
}
}
cout << "Case Number " << ++kase << ": ";
if (dp[0][1] >= inf)
cout << "impossible\n";
else
cout << dp[0][1] << "\n";
}
getchar();
getchar();
return 0;
}
1、动态规划问题关键思想,定义状态,建立状态转移方程之前一定注意正确定义dp所表示的相应的状态,此处dp为s时刻,位于j车站时最少的等待时间,对应的决策有三种情况,时间单位加一,搭乘向左行驶的列车,搭乘向右行驶的列车,注意搭乘列车时时间的变化,以及开往下一个车站所需要的时间注意看清楚,细节问题,特别是反向的时候,注意时间的变化处理
2、train数组的作用,注意常见对于相应访问状态的处理,对访问过的状态注意添加相应的标记,此处train数组用于储存,在某个时刻,位于某个车站时是否有向左或向右行驶的列车
3、易错点,注意dp问题中常见对于动态规划的边界问题的处理,比如此题中在0时刻,n车站同样可用于访问,注意边界条件问题考虑清楚
4、初始化问题考虑,最大最小问题求解时,注意初始化问题一定想清楚
5、此题利用反推的思想,利用从前向后的推导思路,一直推导至dp[0][1]