题意相对来说比较扭曲。。所以来说下模型，具体做法有兴趣的孩纸去问度娘或者波塞冬吧~~
给出一个序列长度，并且输入该序列，该序列的含义是横坐标：
任何两个相邻坐标绝对值小于等于1000的必然为一个整体，
任何两个相邻坐标绝对值大于等于2000的必然是不同的两个整体，
其余有可能是，也有可能不是一个整体。
问，横跨三个坐标的整体有多少个，横跨两个坐标的整体有多少个？
如果唯一确定，则直接输出数量，否则输出“Ambiguous”
如果无解输出“Impossible”
直觉上认为这是有向无环图的DP问题，分别扫最大2坐标整体出现次数和最小2坐标整体出现次数。
如果二者中没有可行解，输出“Impossible”
如果二值不相等输出“Ambiguous”
否则直接按照要求输出即可。
时间复杂度是O（N）——状态总数n*每个状态决策数2*转移时间1
AC代码：
#include<iostream>
#include<stdio.h>
#include<string>
#include<string.h>
#include<vector>
#include<algorithm>
using namespace std;
const long long INF=1e8+233;
const long long MAXN=3000233;
long long n;
long long arr[MAXN];
long long dp1[MAXN];
long long dp2[MAXN];
void init()
{
// memset(dp2,0,sizeof(dp2));
// memset(arr,0,sizeof(arr));
// memset(dp1,0,sizeof(dp1));
for(long long i=0;i<n;++i)
{
dp1[i+1]=INF;
// dp2[i+1]=0;
cin>>arr[i];
}
}
int main()
{
cin.sync_with_stdio(false);
while(cin>>n&&n)
{
init();
dp1[0]=1;
dp2[0]=1;
for(long long i=0;i<n-1;++i)
{
if(dp1[i]!=INF&&dp2[i])
{
long long d1=10000;
if(i+2<n)
d1=arr[i+2]-arr[i+1];
long long d2=arr[i+1]-arr[i];
if(d1>1000&&d2<2000) dp1[i+2]=min(dp1[i+2],dp1[i]+1),dp2[i+2]=max(dp2[i+2],dp2[i]+1);
long long d3=15000;
if(i+3<n)d3=arr[i+3]-arr[i+2];
if(i+3>n)continue;
// else continue;
if(d1<2000&&d2<2000&&d3>1000)dp1[i+3]=min(dp1[i+3],dp1[i]),dp2[i+3]=max(dp2[i+3],dp2[i]);
}
}
if(dp2[n]==dp1[n])
{
long long car2=dp2[n];
car2--;
n-=car2*2;
long long car3=n/3;
cout<<"Cars without trailers: "<<car2<<"
";
cout<<"Cars with trailers: "<<car3<<"
";
}else
{
if(dp1[n]==INF&&dp2[n]==0){cout<<"Impossible
";break;}
cout<<"Ambiguous
";
}
}
return 0;
}