1. 程式人生 > >【NOI2017】遊戲 2-sat算法

【NOI2017】遊戲 2-sat算法

eoj AR targe post noi lib body http log

【題目】LibreOJ

【題意】n場遊戲,有三種車ABC,給定長度為n的字符串,‘a‘表示不能選A,‘b‘‘c‘同理,‘x‘表示不限,至多d個‘x‘。有m個限制(i,hi,j,hj)表示如果第i場選擇車hi,那麽第j場必須選擇車hj。求可行方案,或無解。n<=10^5,d<=8。

【算法】2-sat

【題解】

【NOI2017】遊戲 2-sat算法