結果

問題 No.451 575
ユーザー IL_mstaIL_msta
提出日時 2017-02-04 12:14:16
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 89 ms / 2,000 ms
コード長 5,753 bytes
コンパイル時間 1,505 ms
コンパイル使用メモリ 119,380 KB
実行使用メモリ 17,284 KB
最終ジャッジ日時 2023-08-25 20:07:31
合計ジャッジ時間 5,211 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 6 ms
4,380 KB
testcase_06 AC 16 ms
5,792 KB
testcase_07 AC 78 ms
17,232 KB
testcase_08 AC 1 ms
4,384 KB
testcase_09 AC 3 ms
4,380 KB
testcase_10 AC 22 ms
6,480 KB
testcase_11 AC 62 ms
13,772 KB
testcase_12 AC 82 ms
17,284 KB
testcase_13 AC 81 ms
17,240 KB
testcase_14 AC 2 ms
4,380 KB
testcase_15 AC 4 ms
4,380 KB
testcase_16 AC 14 ms
5,176 KB
testcase_17 AC 71 ms
17,200 KB
testcase_18 AC 72 ms
17,188 KB
testcase_19 AC 47 ms
12,236 KB
testcase_20 AC 5 ms
4,376 KB
testcase_21 AC 2 ms
4,384 KB
testcase_22 AC 2 ms
4,380 KB
testcase_23 AC 89 ms
17,256 KB
testcase_24 AC 46 ms
11,284 KB
testcase_25 AC 2 ms
4,384 KB
testcase_26 AC 1 ms
4,376 KB
testcase_27 AC 2 ms
4,380 KB
testcase_28 AC 2 ms
4,380 KB
testcase_29 AC 10 ms
4,384 KB
testcase_30 AC 79 ms
17,276 KB
testcase_31 AC 2 ms
4,376 KB
testcase_32 AC 27 ms
7,744 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#ifdef __GNUC__
#pragma GCC optimize ("O3")
#pragma GCC target ("avx")
#endif

#define _USE_MATH_DEFINES

#include <iostream>
#include <iomanip>
#include <stdio.h>

#include <sstream>
#include <algorithm>
#include <cmath>

#include <string>
#include <cstring>
#include <vector>
#include <valarray>
#include <array>

#include <queue>
#include <complex>
#include <set>
#include <map>
#include <stack>
#include <list>

#include <cassert>//assert();
#include <fstream>
/////////
#define REP(i, x, n) for(int i = x; i < n; i++)
#define rep(i,n) REP(i,0,n)

/////////
typedef long long LL;
typedef long double LD;
typedef unsigned long long ULL;
#define PII pair<int,int>
/////////
using namespace::std;

// 最大公約数
template<class T>
inline T gcd(T a, T b){return b == 0 ? a : gcd(b, a % b);}
// 最小公倍数
template<class T>
inline T lcm(T a, T b){return a * b / gcd(a, b);}
////////////////////////////////
const LL NUM_MAX = 10000000000;
struct bnum{
	bool neg;
	vector<LL> num;
	void set(ULL X){
		neg = false;
		num.resize(2);
		num[1] = X/NUM_MAX;
		num[0] = X%NUM_MAX;
	}
	inline bnum operator=(int X){
		bnum ret;
		ret.neg = X<0;
		ret.num.resize(2);
		ret.num[1] = X/NUM_MAX;
		ret.num[0] = X%NUM_MAX;
		return ret;
	}
	/*
	(+)+(+)=A+B
	(+)+(-)=A-B
	(-)+(+)=B-A
	(-)+(-)=-(A+B)
	(+)-(+)=A-B
	(+)-(-)=A+B
	(-)-(+)=-(A+B)
	(-)-(-)=B-A
	*/
	inline bnum& operator=(bnum X){
		num = vector<LL>(2);
		neg = X.neg;
		num = X.num;
		return *this;
	}
	inline bnum& operator=(bnum *P){
		neg = P->neg;
		num = P->num;
		return *this;
	}
	inline bnum operator-(){
		bnum ret;
		ret.neg = !neg;
		ret.num = num;
		return ret;
	}
	bnum operator+(bnum X){
		bnum ret;
		ret.neg = neg;
		ret.num = num;
		if( ret.neg == X.neg ){
			ret = add(ret,X);
			ret.neg = X.neg;
			return ret;
		}
		if( ret.neg == true){
			ret.neg = false;
			return X-ret;
		}else if( X.neg == true ){
			return ret-X;
		}
		return ret;//dum
	}
	bnum operator-(bnum X){
		bnum ret;
		ret.neg = neg;
		ret.num = num;
		if( X.neg == true ){
			X.neg = false;
			return ret+X;
		}
		//X>=0
		if( ret.neg == false && X.neg == false ){
			if( eq(ret,X) ){
				ret.set(0);
				return ret;
			}
			if( ABSlar(ret,X) ){
				if( ret.num[0] < X.num[0] ){
					ret.num[1]--;
					ret.num[0] += NUM_MAX;
				}
				ret.num[0] = ret.num[0]-X.num[0];
				ret.num[1] = ret.num[1]-X.num[1];
				return ret;
			}else{
				ret = X-ret;
				ret.neg = true;
			}
		}else{//ret<0 X>0
			ret = add(ret,X);
			ret.neg = true;
		}
		return ret;
	}
	bnum add(bnum A,bnum B){
		bnum ret;
		ret.neg = false;//指定しない
		ret.num.resize(2);
		ret.num[0] = 0;
		ret.num[1] = 0;
		ret.num[0] = A.num[0]+B.num[0];
		if( ret.num[0] >= NUM_MAX ){
			ret.num[0] -= NUM_MAX;
			ret.num[1] += 1;
		}
		ret.num[1] += A.num[1]+B.num[1];
		return ret;
	}
	bnum sub(bnum A,bnum B){//同符号として値だけ引くA-B
		bnum ret;
		ret.num.resize(2);
		if( ABSlar(A,B) ){//A-B->+
			ret.neg = false;
			if( A.num[0] < B.num[0] ){
				A.num[1]--;
				A.num[0] += NUM_MAX;
			}
			ret.num[0] = A.num[0]-B.num[0];
			ret.num[1] = A.num[1]-B.num[0];
			return ret;
		}else{
			ret = sub(B,A);
			ret.neg = true;
			return ret;
		}
	}
	//|A|>|B|
	bool ABSlar(const bnum A,const bnum B){
		if( A.num[1] > B.num[1] ){
			return true;
		}else if(A,num[1] < B.num[1]){
			return false;
		}
		if( A.num[0] > B.num[0] ){
			return true;
		}
		return false;
	}
	inline bool eq(bnum A,bnum B){
		if( A.num[0]==0 && A.num[1] ==0 &&
			B.num[0]==0 && B.num[1] == 0){
				return true;
		}
		if( A.num == B.num && A.neg==B.neg){return true;}
		return false;
	}
	bool operator<(bnum B){
		bnum temp;
		temp.neg = neg;
		temp.num = num;
		if( neg == B.neg ){	
			if( neg == false ){	
				return ABSlar(B,temp);
			}else{
				return ABSlar(temp,B);
			}
		}
		if( eq(temp,B) ){return false;}
		if( temp.neg == false ){
			return false;
		}else if( B.neg == false){
			return true;
		}
		return false;//dum
	}
	inline bool operator>(bnum B){
		bnum temp;temp.neg = neg;temp.num = num;
		return B<temp;}
	inline bool operator<=(bnum B){
		bnum temp;temp.neg = neg;temp.num = num;
		return !(temp>B);}
	inline bool operator>=(bnum B){
		bnum temp;temp.neg = neg;temp.num = num;
		return !(temp<B);}
};

const ULL MAX_A = (ULL)1000000000000000000;
inline void solve(){
	int N;
	cin >> N;
	vector<ULL> B(N+1);
	vector<bnum> Bnum(N+1);
	for(int i=1;i<=N;++i){
		cin >> B[i];
		Bnum[i].set(B[i]);
	}
	vector<ULL> A(N+2,0);
	vector<bnum> Anum(N+2);
	for(int i=0;i<N+2;++i){
		Anum[i] = 0;
	}
	Anum[1].set(1);
	for(int i=1;i<=N;++i){
		if(i%2 == 1){
			Anum[i+1] = Bnum[i]-Anum[i];
		}else{
			Anum[i+1] = Anum[i]-Bnum[i];
		}
	}

	ULL A1,AA,BB;
	A1 = 1;
	bnum negMax;
	negMax.set(1);
	for(int i=1;i<=N+1;++i){
		if( negMax > Anum[i] ){
			negMax = Anum[i];
			A1 = 2+negMax.num[0]+negMax.num[1]*NUM_MAX;

		}
	}

	A[1] = A1;//A1からAを作る
	for(int i=1;i<=N;++i){
		if( i%2 == 1 ){
			A[i+1] = B[i]-A[i];
		}else{
			A[i+1] = A[i]-B[i];
		}
	}

	//チェック
	for(int i=1;i<=N+1;++i){
		AA = A[i];
		if( AA == 0 || MAX_A < AA ){
			cout << -1 << endl;
			return;
		}
	}
	for(int i=1;i<=N;++i){
		if(i%2 == 1){
			AA = A[i]+A[i+1];
			BB = B[i];
			if( BB != AA || AA < A[i] || AA < A[i+1] ){
				cout << -1 << endl;
				return;
			}
		}
		else{
			AA = A[i]-A[i+1];
			BB = B[i];
			ULL A_1,A_2;
			A_1 = A[i];
			A_2 = A[i+1];
			if( BB != AA || A_2 >= A_1 ){
				cout << -1 << endl;
				return;
			}
		}
	}
	//出力
	{
		cout << N+1 << '\n';
		for(int i=1;i<=N+1;++i){
			cout << A[i] << '\n';
		}cout << flush;
	}
}

signed main(void){
	std::cin.tie(0);
	std::ios::sync_with_stdio(false);
	//std::cout << std::fixed;//小数を10進数表示
	//cout << setprecision(16);//小数をいっぱい表示する。16?

	solve();
}
0