如图题意看出x1有且仅有两种可能，==1或者==0，且知道了所有a的值，且因为要求所得答案字典序最小，所以先假设x1==0。

又因a2==x1+x2所以可以求出x2的值，又如a2==x1+x2+x3,所以可以求出x3的值依次求出所有x的值，但每求出一个值需要判断是否==1||==0如果不等于1或0则说明答案错误，x1==0的情况不对。

则应该使得x1==1，且因为一定存在一组解，则不需要再次判断x是否正确。如果x1==0能求出一组正确解则不需要再求x1==1的情况了，因为就算存在正解字典序也小于第一种情况。最后按照格式输出

#include <bits/stdc++.h>
using namespace std;
vector<int>a(2e5+5);//所有a的值
vector<int>num(2e5+5,0);//所有x的待存数组
int main()
{
  // 请在此输入您的代码
  int n,ai;cin>>n;
  for(int i=1;i<=n;i++)cin>>a[i];
  bool flag=false;//用来记录x1==0的情况是否能够有正解

  num[1]=0;//使得x1==0
  for(int i=2;i<=n;i++)
  {
    num[i]=a[i-1]-num[i-1]-num[i-2];//x的计算公式
    if(num[i]!=1&&num[i]!=0)//判断解是否正确
    {
      flag=true;//不正确的话则记录下来
      break;
    }
  }

  if(flag)//x1=0不正确，则进行x1=1
  {
    num[1]=1;
    for(int i=2;i<=n;i++)
      num[i]=a[i-1]-num[i-1]-num[i-2];
  }
  for(int i=1;i<=n;i++)
  cout<<num[i]<<' ';
  return 0;
}