好久沒寫 $2-sat$ 了……（話說這東西哪裡還考過）

題意

有 $3$ 種賽車 $A,B,C$ 和 $4$ 種賽道 $a,b,c,x$，賽車 $A$ 不適用於賽道 $a$，賽車 $B$ 不適用於賽道 $b$，賽車 $C$ 不適用於賽道 $c$。沒有賽車不適用於賽道 $x$，但是賽道 $x$ 的數量很少，不超過 $d$ 個。

現在給你一個字串（只包含 $a,b,c,x$），第 $i$ 位表示第 $i$ 天的賽道種類。

另外有 $m$ 條限制，每條限制是一個四元組 $(i, h_i, j, h_j)$，表示如果第 $i$ 天使用了賽車 $h_i$，第 $j$ 天就必須使用賽車 $h_j$。

請任意構造出一種合法的賽車使用方案，無解則輸出 $-1$。

$n\le 50000,\space m\le 100000,\space d\le 8$

題解

忘了 $2-sat$ 的點這裡複習一下