摘要：对于所有的x，我们枚举他的地图类型，事实上我们只需要枚举前两种地形就可以覆盖所有的情况。 之后就变成了裸的2-sat问题。 对于一个限制，我们分类讨论： 1.h[u]不可选，跳过 2.h[v]不可选，则h[v]也不可选，将u与u‘连边，表示u不可选。 3.否则从u向v连边表示选u就必须选v，从u’向 阅读全文

摘要：1997: [Hnoi2010]Planar Description Input Output Sample Input 2 6 9 1 4 1 5 1 6 2 4 2 5 2 6 3 4 3 5 3 6 1 4 2 5 3 6 5 5 1 2 2 3 3 4 4 5 5 1 1 2 3 4 5 S 阅读全文