#P12825. [NERC 2021] Labyrinth

[NERC 2021] Labyrinth

Description

Leslie 和 Leon 进入了一个迷宫。这个迷宫由 nn 个大厅和 mm 条单向通道组成,大厅编号为 11nn

Leslie 和 Leon 从大厅 ss 开始他们的探险。很快他们发生了争吵,决定分开探索迷宫。不过,他们希望在旅程结束时能够再次相遇。

为了帮助 Leslie 和 Leon,你的任务是找到从给定大厅 ss 到另一个大厅 tt 的两条不同路径,且这两条路径除了起点 ss 和终点 tt 外不共享任何其他大厅。终点 tt 尚未确定,因此你可以选择迷宫中除 ss 外的任意大厅作为 tt

Leslie 和 Leon 的路径不必是最短路径,但必须是简单路径(即不重复访问任何大厅)。此外,在旅程中除了 sstt 外,他们不能访问任何共同的大厅,即使是在不同时间访问也不行。

Input Format

第一行包含三个整数 nnmmss,其中 nn2n21052 \le n \le 2 \cdot 10^5)是顶点数量,mm0m21050 \le m \le 2 \cdot 10^5)是迷宫中的通道数量,ss1sn1 \le s \le n)是起始大厅。

接下来 mm 行描述通道。每行包含两个整数 uiu_iviv_i1ui,vin1 \le u_i, v_i \le nuiviu_i \neq v_i),表示一条从大厅 uiu_i 到大厅 viv_i 的单向通道。每条通道 (ui,vi)(u_i, v_i) 在输入中最多出现一次。迷宫中可能存在环,且不保证任何连通性。

Output Format

如果存在满足条件的两条路径,输出 Possible,否则输出 Impossible

如果存在解,则输出两条路径的描述。每条描述占两行:第一行是一个整数 hh2hn2 \le h \le n)表示路径中的大厅数量,第二行是 hh 个互不相同的整数 w1,w2,,whw_1, w_2, \dots, w_hw1=sw_1 = s1wjn1 \le w_j \le nwh=tw_h = t),按顺序表示路径经过的大厅。两条路径必须终止于同一个顶点 tt,且路径必须不同,所有中间大厅必须互不相同。

5 5 1
1 2
2 3
1 4
4 3
3 5
Possible
3
1 2 3
3
1 4 3
5 5 1
1 2
2 3
3 4
2 5
5 4
Impossible
3 3 2
1 2
2 3
3 1
Impossible

Hint

翻译由 DeepSeek V3 完成