BZOJ 1823 [JSOI2010]满汉全席 2-SAT
题目大意:给出n种食材,m个评审员,每种食材能做成满式或汉式,每位评委想吃两种菜式,做出一种即可,问能否有一种做菜方案满足所有评委典型的2-SAT模型。来看看建图吧。将一种食材分成4个点,做成满式,不做成满式,做成汉式,不做成汉式。
对于每一个评委的要求x,y,若不做x就要做y,若不做y就要做x,分别连边。
对于每一种食材,若不做成满式就做成汉式,若不做成汉式就做成满式。
Tarjan缩点以后
原创
2017-02-22 16:26:31 ·
446 阅读 ·
0 评论