由对称性解凉2-sat问题.pptVIP

由对称性解2-SAT问题 2-SAT: 2-SAT就是2判定性问题，是一种特殊的逻辑判定问题。 2-SAT问题有何特殊性？该如何求解？ 我们从一道例题来认识2-SAT问题，并提出对一类2-SAT问题通用的解法。 Poi 0106 Peaceful Commission [和平委员会] 某国有n个党派，每个党派在议会中恰有2个代表。 现在要成立和平委员会 ，该会满足： 每个党派在和平委员会中有且只有一个代表 如果某两个代表不和，则他们不能都属于委员会 代表的编号从1到2n，编号为2a-1、2a的代表属于第a个党派 输入n（党派数），m（不友好对数）及m对两两不和的代表编号 其中1≤n≤8000，0≤m ≤20000 求和平委员会是否能创立。 若能，求一种构成方式。 分析： 原题可描述为： 有n个组，第i个组里有两个节点Ai, Ai 。需要从每个组中选出一个。而某些点不可以同时选出（称之为不相容）。任务是保证选出的n个点都能两两相容。 （在这里把Ai, Ai 的定义稍稍放宽一些，它们同时表示属于同一个组的两个节点。也就是说，如果我们描述Ai，那么描述这个组的另一个节点就可以用Ai） 初步构图 如果Ai与Aj不相容，那么如果选择了Ai，必须选择Aj‘ ；同样，如果选择了Aj，就必须选择Ai’ 。 Ai Aj Aj