1. 跑完 tarjan 后，怎样判断一个布尔变量是无解，只能选某一个，还是两个都能选。

2. 为什么模板题 构造答案是独立地考虑每一个的答案，这不会导致因某一个变量可以同时取两个值而导致于条件冲突吗？

问题可能表述不是很清楚？有什么问题我再解释。