这题比较容易看出来是2-sat. 2-sat箴言：如果a与b矛盾，则添加单向边(a,b'). 由题意可以看出：最好的情况是每个圆的半径都相等。 所以就可以二分枚举半径了： 对于每一个半径，用2-sat判断是否有解。 矛盾条件：圆心距小于周长的2倍。。 之后就可以直接用模板来解了： 去年成都现场赛有道题：3715 Go Deeper 也是一道2-sat题，不过不太容易看出来，至于满足矛盾条件建立边... [阅读全文]