摘要：一个奶牛有两个选择方案，要么A成立B不成立，要么A不成立则B成立。所以可以2——sat建图，然后每个方案检查一下就行。 1 #include<cstdio> 2 #include<cstring> 3 #include<iostream> 4 #include<queue> 5 #include<s 阅读全文

摘要：题意：给你一个哈密顿图，判断是不是平面图 思路：先找出哈密顿图来。哈密顿回路可以看成一个环，把边集划分成两个集合，一个在环内，一个在外。如果有两条相交边在环内，则一定不是平面图，所以默认两条相交边，转化成2——sat，两条边不能同时在内或外，注意双向加边。（以边来转化成两倍） 1 #include< 阅读全文

摘要：算法指南 就是从飞机早着陆还晚着路两种状态可以组合成一个点，类似2--sat把一个点划分成两个点来表示状态，再二分时间，如果小于时间则可以转化成相应的约数条件：“xi或xj为假”这样的条件。 1 #include<cstdio> 2 #include<cstring> 3 #include<iost 阅读全文