#P3007. [USACO11JAN] The Continental Cowngress G

[USACO11JAN] The Continental Cowngress G

Description

由于对农场主约翰的领导不满,奶牛们已经从农场中分离出来,并成立了第一个大陆奶牛议会。基于「每头奶牛都能得到她想要的东西」这一原则,她们决定采用以下投票系统:

出席的 MM 头奶牛将对 NN 项立法议案进行投票。每头奶牛对两个(不同的)议案 BiB_iCiC_i 分别投下「赞成」或「反对」票(在输入文件中用 YN 表示)。这些投票分别称为 VBiVB_iVCiVC_i

最终,议案的通过与否必须满足每头奶牛至少有一个投票结果符合她的意愿。例如,如果 Bessie 对议案 11 投了「赞成」票,对议案 22 投了「反对」票,那么在任何有效的解决方案中,要么议案 11 通过,要么议案 22 被否决(或者两者都满足)。

给定每头奶牛的投票情况,你的任务是找出哪些议案将被通过,哪些议案将被否决,以符合上述规则。如果没有解决方案,请输出 IMPOSSIBLE。如果至少有一个解决方案,那么对于每个议案,显示:

Y 如果在每个解决方案中该议案都通过

N 如果在每个解决方案中该议案都被否决

? 如果存在一些解决方案中该议案通过,而在另一些解决方案中该议案没有通过

考虑以下投票集(每头奶牛投两票):

编号 11 22 33
奶牛 11 赞成 反对
奶牛 22 反对
奶牛 33 赞成 赞成
奶牛 44 赞成

由此,两个解决方案满足每头奶牛:

  • 议案 11 通过(这满足了奶牛 113344
  • 议案 22 被否决(这满足了奶牛 22
  • 议案 33 可以通过或被否决(这就是有两个解决方案的原因)

事实上,这些是仅有的两个解决方案,因此答案是 YN?

Input Format

11 行:两个用空格分隔的整数:NNMM

22 行到第 M+1M+1 行:第 i+1i+1 行描述奶牛 ii 的投票情况,包含四个用空格分隔的字段——一个整数,一个投票,另一个整数,和另一个投票:Bi,VBi,Ci,VCiB_i,VB_i,C_i,VC_i

Output Format

11 行:一个包含 NN 个字符的字符串,其中第 ii 个字符是 Y 表示第 ii 个议案必须通过,N 表示第 ii 个议案必须被否决,或者 ? 表示无法从这些投票中确定该议案是否通过。

如果没有满足每头奶牛的解决方案,则输出单行 IMPOSSIBLE

3 4 
1 Y 2 N 
1 N 2 N 
1 Y 3 Y 
1 Y 2 Y 

YN? 

Hint

对于 100%100\% 的数据,1M40001\le M\le40001N10001\le N\le10001Bi,CiN1\le B_i,C_i\le NVBi,VCi{Y,N}VB_i,VC_i\in\{Y,N\}
(本题由 ChatGPT 4o 翻译)