摘要：tag:2-SAT，trie优化建图 注意到每个串只有一个 ? (只有 \(2\) 种状态)，所求的是构造方案，所以考虑使用 2-SAT。 于是进一步想到如果 \(x_0,y_0\) 一个是另一个的前缀，就 \(x_0\to y_1,y_0\to x_1\)。 那么容易想到暴力 \(n^2\) 建图 阅读全文