有n个宇航员,根据年龄限制,所有宇航员只能从事A或B中的一种任务,所有人都可以从事C的任务.有的宇航员之间相互讨厌,不能分在一组,求出一种满足条件的分配方案. 2sat.mark[]中i+i和i+i+1分别表示i从事C工作或者他的特有工作. 对于仇恨关系,我们可以知道U和V两个人不能同时从事C工作.于是加边 (U+U,V+V+1),(V+V,U+U+1). 同时,如果这两个人的特有工作相同,那么还需要加边(U+U+1,V+V),(V+V+1,U+U). 召唤代码君: #include <iost…