传送门 看到哈密顿回路就被吓傻了……结果没有好好考虑性质…… 首先,平面图有个性质:边数小于等于$3n-6$(我也不知道为啥),边数大于这个的直接pass 然后考虑原图,先把哈密顿回路单独摘出来,就是一个环.对于每一条不在哈密顿回路上的边,有两种可能,一种是在环内,一种是在环外 我们用点来表示每一条边,把每一个点拆成两个分别表示这条边是在环内还是环外.对于两条边$i,j$,如果他们同时在环外或环内会交叉,那么就相当于有了约束条件,转化成一个2-SAT问题即可 至于连边,我们设$i$表示在环内,$…