UVA 1614 Hell on the Markets (思维 + 构造)

思路：
关键在于1 <= ai <= i。
结论：[1, sum(i)] 可以由 [a1, ai]组成。
证明 : 数学归纳法，n = 1显然成立，假设n = i成立
对n = i + 1时，需要凑出[sum(i) + 1, sum(i) + a(i +１)]
由于sum(i) >= i,  1 <= a(i + 1) <= i+1, sum(i + 1)舍去由[a1, ai]可凑出的值，证毕。(口胡证明)
实现：排序后从大往小取，由结论sum/2可得，进而sum/2 - ai, 可由[a1, ai-1]得到，可知最终毕有解。

#include <set>
#include <map>
#include <ctime>
#include <cmath>
#include <stack>
#include <queue>
#include <deque>
#include <cstdio>
#include <string>
#include <vector>
#include <cctype>
#include <sstream>
#include <utility>
#include <cstring>
#include <cstdlib>
#include <functional>
#include <iostream>
#include <algorithm>
#define SF(a) scanf("%d", &a)
#define PF(a) printf("%d\n", a)  
#define SFF(a, b) scanf("%d%d", &a, &b)  
#define SFFF(a, b, c) scanf("%d%d%d", &a, &b, &c)
#define SFFFF(a, b, c, d) scanf("%d%d%d%d", &a, &b, &c, &d)
#define CLEAR(a, b) memset(a, b, sizeof(a))
#define IN() freopen("in.txt", "r", stdin)
#define OUT() freopen("out.txt", "w", stdout)
#define FOR(i, a, b) for(int i = a; i < b; ++i)
#define ALL(a) (a).begin(), (a).end()
#define SZ(a) (int)(a).size()
#define PB push_back
#define LL long long
#define mod 10007
#define inf 1000007
#define eps 1e-5
using namespace std;
int buf[20];
int read() {
	int x = 0; char ch = getchar(); bool f = 0;
	while (ch < '0' || ch > '9') { if (ch == '-') f = 1; ch = getchar(); }
	while (ch >= '0' && ch <= '9') x = (x << 1) + (x << 3) + (ch ^ 48), ch = getchar();
	return f ? -x : x;
}
void write(int x) {
	if (!x) { putchar(48); return; }
	int l = 0; if (x < 0) putchar('-'), x = -x;
	while (x) buf[++l] = x % 10, x = x / 10;
	while (l) putchar(buf[l--] + 48);
}
//-------------------------chc------------------------------//
const int maxn = 100000 + 5;
struct Node {
	LL val;
	int idx;
	bool operator<(const Node &rhs) const {
		return val > rhs.val;
	}
}a[maxn]; 
bool flag[maxn];

int main() {
	//IN(); OUT();
	int n;
	while (~SF(n)) {
		CLEAR(flag, 0);
		LL sum = 0;
		FOR(i, 0, n)
			scanf("%lld", &a[i].val), a[i].idx = i, sum += a[i].val;
		bool ok = true;
		if (sum & 1) ok = false;
		else {
			LL target = sum / 2;
			sort(a, a + n);
			FOR(i, 0, n) {
				if (a[i].val <= target) target -= a[i].val, flag[a[i].idx] = true;
			}
			/*while (target) {	//错误做法，可能取重
				Node cur;
				cur.val = target;
				Node* pos = upper_bound(a, a + n, cur);
				pos--;
				target -= pos->val;
				flag[pos->idx] = true;
			}*/
		}
		puts(ok ? "Yes" : "No");
		if (ok) {
			printf("%d", flag[0] ? -1 : 1);
			FOR(i, 1, n) printf(" %d", flag[i] ? -1 : 1);
			putchar('\n');
		}
	}
	return 0;
}