27D

好一眼的题，据说出题人给的做法不是2-SAT，因此才会有这样的数据范围，但这个模型yysy实在是太典了啊喂 不难发现每条边的取法就是两种，并且内部和外部的边之间绝对不会相交，因此考虑使用2-SAT模型 枚举两条边\(i,j\)，如果\(i,j\)同时放在一边会产生冲突，就钦定两者的状态必须相异，然后 ......

前言：小程序代码运行在新电脑，连hbuilderx和微信开发者工具都是新的，报错：[微信小程序开发者工具] ? Enable IDE Service (y/N) 。 原因：hbuilderx无法启动微信开发者工具，再具体点是因为微信开发者工具的服务端口号没有打开。 解决方案：打开 ......