原文链接http://www.cnblogs.com/zhouzhendong/p/8125944.html　　有n道菜，分别可以做成满式和汉式（每道菜只能做成一种形式），有m个专家。　　每个专家喜欢两种菜，比如汉式猪肉和满式牛肉。　　问是否存在方案使得所有专家都被满足。　　2-sat模版题，连方案都不用输出，水过&h...