Problem BZOJ Solution 可能是因为快要省选了,所以最近更博的频率好像高了点_(:зゝ∠)_ 每个字符串最多有两个状态,然后要满足一些依赖关系,考虑2sat.可以先把字符串的结束节点在Trie树上建出来,这样它的前缀就是它的祖先,它作为前缀的就是它子树内的节点.利用Trie树的结构,建一棵向下的一棵向上的树优化连边,这样边数就减少到了 \(O(n)\) 的级别. 然而我高高兴兴写完之后连样例都过不去,调一调发现当两个字符串在同一个结束节点时也应该相互连边.为了避免边数退化,就把…