P12403 [COI 2025] 象掌兽 / Lirili Larila

题目背景

译自 [COI 2025](https://hsin.hr/hio2025/) T4。 > 苏格拉底曰:“请告诉我,柏拉图,你是否同意:最强的斗士当属能飞之辈,如‘邦巴迪罗·鳄地罗’(Bombardiro Crocodillo)与‘邦邦比尼·古西尼’(Bombombini Gusini)?” > > 柏拉图对曰:“此言不当。陆地斗士,如‘嘟嘟·帕塔品’(Brr Brr Patapim)与‘瞳瞳瞳·萨胡尔’(Tung Tung Tung Sahur),虽不能飞翔,然其功业辉煌,岂可轻视?” > > 苏格拉底复言:“吾以为,唯有让斗士鏖战,方能识真章,待其胜负自明,方可究竟是非。” > > 柏拉图欣然赞曰:“善哉,苏格拉底!吾亦以为此乃探求真理之正道也。”

题目描述

本题中,「仙人掌」指的是简单连通无向图,其中每个**点**至多在一个环中。 给定一张 $N$ 个点 $M$ 条边的仙人掌图,点编号 $1\sim N$。给定正整数 $A,B$。 选定两个点 $s,t$($s\neq t$)。我们将这 $N$ 个点染色: $\gdef \dist {\operatorname{dist}}$ 对于点 $i$, - 若 $\dist(i,s)\lt \dist(i,t)$,点 $i$ 被染粉; - 若 $\dist(i,s)\gt \dist(i,t)$,点 $i$ 被染黑; - 否则若 $\dist(i,s)=\dist(i,t)$,点 $i$ 被染蓝。 这里,$\dist(a,b)$ 表示图中 $a,b$ 路径的最短边数。 欲使图中粉色的点有 $A$ 个,黑色的点有 $B$ 个。构造 $s,t$ 满足这个条件。数据保证有解。

输入格式

**本题单个测试点内有多组测试数据。** 第一行,一个正整数 $T$,表示测试数据组数。 接下来依次输入 $T$ 组数据: > 第一行,四个正整数 $N,M,A,B$。 > > 接下来 $M$ 行,每行两个正整数 $a,b$,描述图中的一条边。 数据保证有解。

输出格式

对于每组数据,输出两个正整数,表示 $s,t$。 任意一组解均可。

说明/提示

## 数据范围 - $2\le N,\sum N\le 2\times 10^5$; - $1\le A,B$; - $2\le A+B\le N$; - $a\neq b$; - 给定的图是仙人掌。 ### 样例解释 #### 样例 $1$ 解释 被染粉的点:$4,5,6$。被染黑的点:$3$。 #### 样例 $2$ 解释 被染粉的点:$1,2,4$。被染黑的点:$5,6$。 #### 样例 $3$ 解释 被染粉的点:$4,5,6$。被染黑的点:$1,2,3$。 ## 子任务 子任务 $0$ 为样例。 | 子任务编号 | 图的形态 | $\sum N\le$ | 特殊性质 | 得分 | | :-: | :-: | :-: | :-: | :-: | | $1$ | | $300$ | | $6$ | | $2$ | 树 | $5\, 000$ | | $8$ | | $3$ | 树 | $2\times 10^5$ | | $25$ | | $4$ | 基环树 | $5\, 000$ | | $13$ | | $5$ | 基环树 | $2\times 10^5$ | $\text{A}$ | $17$ | | $6$ | 基环树 | $2\times 10^5$ | | $8$ | | $7$ | | $5\, 000$ | | $11$ | | $8$ | | $2\times 10^5$ | | $12$ | - 特殊性质 $\text{A}$:保证存在一组解,使得 $s,t$ 都在环上。