P13394 [GCJ 2010 #1B] Picking Up Chicks

一群小鸡沿着一条笔直狭窄的道路向东奔跑。每只小鸡都以自己的恒定速度奔跑。当一只小鸡追上前面的小鸡时，它必须减速并以前面小鸡的速度跟随。你驾驶着一辆移动起重机在小鸡群后面，驱赶小鸡们朝着道路尽头的谷仓前进。起重机的机械臂可以瞬间将任意一只小鸡提起，让紧跟在它后面的小鸡从下面穿过，然后再把被提起的小鸡放回原位。这个操作是瞬时完成的，并且只能对相邻的两只小鸡进行，即使有三只或更多小鸡连续排成一排，也只能让其中一只通过。每次交换都计为一次操作。 给定每只小鸡在时间 $0$ 时的位置（$X_i$）和自然速度（$V_i$），以及谷仓的位置（$B$），请你计算，至少有 $K$ 只小鸡能在不晚于时间 $T$ 到达谷仓，所需的最少交换次数。如果无法实现，输出 "IMPOSSIBLE"。 你可以将小鸡视为在一条直线上移动的点。即使有三只或更多小鸡在同一位置且相邻，提起其中一只也只能让另外一只通过。每次交换是瞬时的，这意味着你可以同时进行多次交换，但每次都单独计数。

输入的第一行是测试用例数 $C$。接下来有 $C$ 组测试数据。每组测试数据的第一行为四个整数 $N$、$K$、$B$ 和 $T$。下一行包含 $N$ 个递增的整数 $X_i$。再下一行包含 $N$ 个整数 $V_i$。所有距离单位为米，速度单位为米每秒，时间单位为秒。

对于每个测试用例，输出一行，格式为 "Case #$x$: $S$"，其中 $x$ 是测试用例编号（从 1 开始），$S$ 是所需的最小交换次数，或者是单词 "IMPOSSIBLE"。

**限制条件** - $1 \leqslant C \leqslant 100$； - $1 \leqslant B \leqslant 1,000,000,000$； - $1 \leqslant T \leqslant 1,000$； - $0 \leqslant X_i < B$； - $1 \leqslant V_i \leqslant 100$； - 所有 $X_i$ 均不同且递增。 **小数据范围（13 分，测试集 1 - 可见）** - $1 \leqslant N \leqslant 10$； - $0 \leqslant K \leqslant \min(3, N)$； **大数据范围（17 分，测试集 2 - 隐藏）** - $1 \leqslant N \leqslant 50$； - $0 \leqslant K \leqslant N$。 由 ChatGPT 4.1 翻译