摘要：
典型的2-SAT问题，每个数要么是0，要么是1，直接连边Tarjan即可如果用x表示第x个数取0，x+n表示第x个数取1，注意在x and y=1 时连（x--->x+n） （y--->y+n）,表示x必须取1，当x取到0时，由于与1有边相连，在一个强连通里，无解！View Code 1 program pku3678(input,output); 2 type 3 node = ^link; 4 link = record 5 goal : longint; 6 next : node; 7 e... 阅读全文
摘要：
强省江苏也有这种比较水的送分题，囧典型的2-SAT问题，对于某一种材料，要么做满菜，要么做汉菜，连边时枚举评委，两者有相同编号的矛盾菜式则连边，不满足一得第一个要求就得满足一的第二个要求如h1 m2m1 h3由于材料1只有一种，所以做h1就必须做h3，做m1就必须做m2晒代码View Code 1 program jsoi2010(input,output); 2 type 3 link=^node; 4 node=record 5 goal:longint; 6 next:link; 7 end; 8 node2=record ... 阅读全文