Language: C++

#define _CRT_SECURE_NO_WARNINGS
#define _SCL_SECURE_NO_WARNINGS
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cassert>
#include <iostream>
#include <string>
#include <vector>
#include <list>
#include <utility>
#include <algorithm>
#include <functional>
#include <cmath>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <iomanip>
#include <sstream>
#include <bitset>
#include <limits>
#include <numeric>
#include <valarray>
#include <fstream>
#include <array>
#include <random>
#include <unordered_set>
#include <unordered_map>

using namespace std;
using uint = uint32_t;
using LL = int64_t;
using ULL = uint64_t;
using PP = pair<LL, LL>;
template <typename T> using PriorityQ = priority_queue<T, vector<T>, greater<T> >;
#define REP(i, a, n) for(LL i = (a), i##_max_ = (n); i < i##_max_; ++i)
#define REM(i, a, n) for(LL i = (LL)(n) - 1, i##_min_ = (a); i >= i##_min_; --i)
#define FLOAT fixed << setprecision(16)
#define SPEEDUP { cin.tie(NULL); ios::sync_with_stdio(false); }
const int INF = 0x3FFFFFFF;
const LL INFLL = 0x3FFFFFFF3FFFFFFF;
const double INFD = 1.0e+308;
const double EPS = 1.0e-9;

void YesNo(bool b) { cout << (b ? "Yes" : "No") << endl; }
void YESNO(bool b) { cout << (b ? "YES" : "NO") << endl; }
template <class T, class U> istream& operator>>(istream& ist, pair<T, U>& right) { return ist >> right.first >> right.second; }
template <class T, class U> ostream& operator<<(ostream& ost, const pair<T, U>& right) { return ost << right.first << ' ' << right.second; }
template <class T, class TCompatible, size_t N> void Fill(T(&dest)[N], const TCompatible& val) { fill(dest, dest + N, val); }
template <class T, class TCompatible, size_t M, size_t N> void Fill(T(&dest)[M][N], const TCompatible& val) { for (int i = 0; i < M; ++i) Fill(dest[i], val); }
template <class T> T Next() { T buf; cin >> buf; return buf; }
istream& Ignore(istream& ist) { string s; ist >> s; return ist; }
bool Inside(int i, int j, int h, int w) { return i >= 0 && i < h && j >= 0 && j < w; }

#ifdef ONLY_MY_ENVIR
#include "IntMod.h"
#include "Algebraic.h"
#include "BinaryMatrix.h"
#include "BinaryTree.h"
#include "Bipartite.h"
#include "BIT.h"
#include "DynamicMod.h"
#include "Factorization.h"
#include "FFT.h"
#include "FlowSolver.h"
#include "Graph.h"
#include "LazySegmentTree.h"
#include "Math.h"
#include "Matrix.h"
#include "MinCostFlowSolver.h"
#include "MinMax.h"
#include "Numbers.h"
#include "Polynomial.h"
#include "Position.h"
#include "Range.h"
#include "Rational.h"
#include "SegmentTree.h"
#include "SegmentTree2D.h"
#include "SlidingWindow.h"
#include "StringSeaching.h"
#include "SuffixArray.h"
#include "Tree.h"
#include "UnionFind.h"
#endif

#ifdef __GNUC__
typedef __int128 LLL;
istream& operator>>(istream& ist, __int128& val) { LL tmp; ist >> tmp; val = tmp; return ist; }
ostream& operator<<(ostream& ost, __int128 val) { LL tmp = val; ost << tmp; return ost; }
#endif

const int MAX = 1000000000;
int N, M;
int D[100000];
vector<PP> G[100000];
int ans[200000];
int check[200000];
int color[200000];
vector<int> H[200000];

void rec(int from, int prev) {
	if (prev != -1) {
		color[from] = !color[prev];
	}

	for (int to : H[from]) {
		if (to == prev) continue;
		rec(to, from);
	}
}

void solve() {
	Fill(ans, MAX);
	Fill(check, MAX);
	PriorityQ<PP> Q;
	
	REP(i, 0, N) {
		Q.push(PP(D[i], i));
	}

	UnionFindTree uf(N);
	vector<bool> used(N);
	while (!Q.empty()) {
		auto p = Q.top(); Q.pop();
		int d = p.first;
		int from = p.second;
		used[from] = true;

		for (PP e : G[from]) {
			int to = e.first;
			int id = e.second;
			if (used[to]) {
				if (uf.isSame(from, to)) continue;
				uf.unite(from, to);
				ans[id] = d;
				H[from].push_back(to);
				H[to].push_back(from);
			}
		}
	}

	rec(0, -1);
	
	REP(from, 0, N) {
		for (PP e : G[from]) {
			int to = e.first;
			if (color[from] == color[to]) continue;
			int id = e.second;
			check[from] = min(check[from], ans[id]);
		}
		if (check[from] != D[from]) {
			cout << -1 << endl;
			return;
		}
	}

	REP(i, 0, N) {
		cout << (color[i] ? 'B' : 'W');
	}
	cout << endl;

	REP(j, 0, M) {
		cout << ans[j] << endl;
	}
}

int main() {
	cin >> N >> M;
	REP(i, 0, N) cin >> D[i];
	REP(j, 0, M) {
		int a, b;
		cin >> a >> b;
		--a; --b;
		G[a].push_back(PP(b, j));
		G[b].push_back(PP(a, j));
	}
	solve();
	return 0;
}

Compiler output:
a.cc: In function 'void solve()':
a.cc:122:9: error: 'UnionFindTree' was not declared in this scope
  122 |         UnionFindTree uf(N);
      |         ^~~~~~~~~~~~~
a.cc:134:37: error: 'uf' was not declared in this scope
  134 |                                 if (uf.isSame(from, to)) continue;
      |                                     ^~
a.cc:135:33: error: 'uf' was not declared in this scope
  135 |                                 uf.unite(from, to);
      |                                 ^~