A. 搭建帐篷 详细题解

题目核心理解

有三类人员：$a$ 个内向者、$b$ 个外向者、$c$ 个通用者。 每顶帐篷最多容纳 $3$ 人，且必须满足：

1. 内向者必须独占一顶帐篷（每顶仅 $1$ 人）。
2. 外向者所在帐篷必须恰好 $3$ 人。
3. 通用者无任何限制。

目标：求出满足所有条件的最小帐篷数，无法满足则输出 $-1$。

---

核心思路

1. 关键性质

• 内向者无组合可能，直接占用 $a$ 顶帐篷。
• 外向者必须以 $3$ 人为一组，不足 $3$ 人的部分必须用通用者补齐，否则无解。
• 通用者优先用于补齐外向者，剩余部分每 $3$ 人一组以最小化帐篷数。

2. 计算规则

设： $d = 3 - b \bmod 3$，表示为了让所有外向者凑成完整 $3$ 人组还需要的人数。

条件判断：

• 若 $b \bmod 3 = 0$：无需通用者补齐，直接使用 $\dfrac{b}{3}$ 顶帐篷。
• 若 $b \bmod 3 \neq 0$：
  • 若 $d > c$，无解。
  • 否则用 $d$ 个通用者补齐，消耗 $d$ 个通用者。

3. 最终计算

补齐后，总帐篷数为： 内向者帐篷数 $+$ 外向者完整组数 $+$ 剩余通用者组数（向上取整）。

---

算法流程

1. 答案初始值为 $a$（内向者占用的帐篷数）。
2. 计算外向者对 $3$ 取余的结果，得到需要补齐的人数 $d$。
3. 若需要补齐且通用者不足，输出 $-1$。
4. 若足够补齐，扣去对应的通用者，加入外向者占用的帐篷数。
5. 剩余通用者每 $3$ 人一顶，向上取整后加入答案。

---

公式与复杂度分析

有解时的通用公式：

$$ans = a + \dfrac{b+d}{3} + \left\lceil \dfrac{c-d}{3} \right\rceil $$

整数运算等价形式：

$$ans = a + \dfrac{b+d}{3} + \dfrac{c-d+2}{3}$$

复杂度

每组测试用例仅进行简单算术运算。 时间复杂度：$O(1)$。 可轻松处理 $a,b,c \le 10^9$、测试用例数 $t \le 10^4$ 的数据范围。