LOJ
因为?只有两种可能为0,1，所以就把这两个串搞出来。 那么现在?取0和?取1不能并存，前缀不能并存，所以就是一个\(2-SAT\)，现在问题在于这个东西可能会有很多条边，所以考虑用Trie树优化这个过程。 显然根节点到这个点的路径上的所有字符串关键点都是它的前缀，那么考虑把每一个串用一个点挂到上面去，那么就还是可以跑\(2-SAT\)，所以就可以做出来了。
?
0
1
代码戳这里
