想到什么写什么昨晚CTH（大喊）：HDK！HDK（大喊）：CTH！CTH（愣了一下）：干啥？2-SAT定义给出若干个形如\(a\lorb\)的限制条件，询问是否有满足条件的一组解。人话：给出\(n\)个集合，每个集合两个元素，再给定若干个限制条件\(\left\langlea,b\right\rangle\)表示\(a\)与\(b\)矛盾，询