#P16811. [NWRRC 2024]Misère

[NWRRC 2024]Misère

题目描述

Preference 是一种在东欧较为流行的纸牌游戏。标准游戏通常使用 3232 张牌:四种花色,每种花色包含点数 771010、J、Q、K、A 共八个等级。

在每一局中,三名玩家各获得十张牌,另有两张牌作为底牌。随后进行叫牌,玩家承诺至少赢得一定数量的牌墩。一种特殊叫牌称为 misère,其目标是无论其他玩家怎样行动,自己都不能赢得任何一墩。

本题考虑一种修改版的游戏。牌堆中共有 ABA\cdot B 张牌,其中:

  • AA 种花色,编号为 11AA
  • 每种花色有 BB 个等级,编号为 11BB

定义一手牌能够保证 misère 成功,当且仅当对每一种花色均满足以下条件:

将手中该花色的牌按等级升序排列为

b1<b2<<bk,b_1<b_2<\cdots<b_k,

则对所有 1ik1\le i\le k,都有

bi2i1.b_i\le 2i-1.

若手中没有该花色的牌,即 k=0k=0,则该花色自动满足条件。

你当前手中有 nn 张牌。你可以选择任意 xx 张当前不在手中的牌,将它们加入手牌;随后从这 n+xn+x 张牌中任意丢弃 xx 张,使手牌数量重新变为 nn

请找出最小的非负整数 xx,使得经过上述操作后,你的手牌能够保证 misère 成功。

输入格式

每个输入包含多组测试数据。

第一行包含一个整数 tt,表示测试数据组数。

对于每组测试数据:

  • 第一行包含三个整数 n,A,Bn,A,B,分别表示当前手牌数量、花色数和每种花色的等级数;
  • 接下来 nn 行,第 ii 行包含两个整数 ai,bia_i,b_i,表示第 ii 张牌的花色和等级。

保证手中的所有牌互不相同。

数据范围

1t1000,1\le t\le 1000, 1n5000,1\le n\le 5000, 1A,B109,1\le A,B\le 10^9, 1aiA,1\le a_i\le A, 1biB.1\le b_i\le B.

所有测试数据的 nn 之和不超过 50005000

输出格式

对于每组测试数据,输出最小的非负整数 xx,使得可以先补入 xx 张当前不在手中的牌,再从手中丢弃任意 xx 张牌,最终得到一手能够保证 misère 成功的 nn 张牌。

可以证明,答案总是存在。

样例

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