CF1264B Beautiful Sequence

如果一个整数序列中任意两个相邻数字的差的绝对值都等于 $1$，则称该序列是美丽的。更正式地说，序列 $s_1, s_2, \ldots, s_n$ 是美丽的，当且仅当对于所有 $1 \leq i \leq n-1$，都有 $|s_i - s_{i+1}| = 1$。 Trans 有 $a$ 个 $0$，$b$ 个 $1$，$c$ 个 $2$ 和 $d$ 个 $3$。他想用这 $a + b + c + d$ 个数字构造一个美丽的序列。 然而，这并不是一件容易的事，Trans 没能完成。你能帮帮他吗？

输入仅一行，包含四个非负整数 $a$、$b$、$c$、$d$，表示 $0$ 的个数、$1$ 的个数、$2$ 的个数和 $3$ 的个数（$0 < a+b+c+d \leq 10^5$）。

如果无法构造满足条件的美丽序列，输出一行 "NO"（不带引号）。 否则，第一行输出 "YES"（不带引号）。第二行输出 $a+b+c+d$ 个整数，空格分隔，表示一个美丽序列。序列中应恰好有 $a$ 个 $0$，$b$ 个 $1$，$c$ 个 $2$ 和 $d$ 个 $3$。 如果有多种答案，可以输出任意一种。

在第一个测试样例中，很容易看出该序列是美丽的，因为任意两个相邻数字的差的绝对值都等于 $1$。同时，序列中恰好有两个 $0$、两个 $1$、两个 $2$ 和一个 $3$。 可以证明，在第二个和第三个测试样例中，无法构造出美丽的序列。 由 ChatGPT 4.1 翻译