#P12117. [NWRRC2024] Misère

[NWRRC2024] Misère

Description

Préférence 是一种在东欧非常流行的纸牌游戏。通常使用一副 32 张的牌组,包含四种花色(黑桃、梅花、方块、红心)中 7 到 10 的数字牌以及 J、Q、K、A。每轮游戏中,三位玩家各发 10 张牌,剩下 2 张作为底牌。随后进入叫牌阶段,玩家需要承诺赢得至少一定数量的墩。其中一种特殊的叫牌是 misère,即承诺无论其他玩家如何出牌都不赢得任何墩。

本题考虑一种变体游戏,使用修改后的牌组包含 ABA \cdot B 张牌,其中 AA 表示花色数量,BB 表示每个花色的牌面等级数。例如标准 32 张牌组中 A=4A=4B=8B=8。为方便起见,花色编号为 11AA,牌面等级编号为 11BB

我们需要解决关于这个变体游戏的谜题。在这个变体中,当满足以下条件时,我们称 misère 是 保证 的:对于每个花色,将你手中该花色的牌按等级排序为 b1<b2<<bkb_1 < b_2 < \cdots < b_kkk 为该花色牌的数量),必须满足对所有 1ik1 \le i \le kbi2i1b_i \le 2i - 1。若手中没有该花色的牌(k=0k=0),则自动满足条件。

你手中有 nn 张牌,允许选择任意 xx 张不拥有的牌加入手牌,然后从 n+xn+x 张牌中丢弃 xx 张,最终保留 nn 张牌。你的任务是找到最小的 xx,使得可以通过上述操作将手牌转变为保证的 misère。

Input Format

每个测试包含多个测试用例。第一行包含测试用例数 tt1t10001 \le t \le 1000)。接下来是各测试用例描述。

每个测试用例第一行包含三个整数 nnAABB,分别表示手牌数量、花色数量和牌面等级数量(1n50001 \le n \le 50001A,B1091 \le A, B \le 10^9)。

随后 nn 行每行包含两个整数 aia_ibib_i,描述一张牌的花色和等级(1aiA1 \le a_i \le A1biB1 \le b_i \le B)。所有手牌都是唯一的。

保证所有测试用例的 nn 之和不超过 50005000

Output Format

对于每个测试用例,输出最小的非负整数 xx,使得可以通过先添加 xx 张新牌再丢弃 xx 张牌的操作,将手牌转变为保证的 misère。

可以证明这样的 xx 总是存在。

2
4 2 6
1 1
1 2
1 6
2 3
2 4 5
3 4
2 4
1
2