摘要：
【题目】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 阅读全文
摘要：
【题意】有n个城镇被分成了k个郡，有m条连接城镇的无向边。要求给每个郡选择一个城镇作为首都，满足每条边至少有一个端点是首都。n,m,k<=10^6。 【算法】2-SAT，前后缀优化建图 【题解】每个城镇只有作为首都和不是首都两种选项，即2-sat问题。 2-sat问题中所有边必须加反向边，下面过程忽 阅读全文