算法分析习题参考答案八.docVIP

1．二元可满足性问题 2SAT 例：给定布尔变量的一个有限集合及定义其上的子句，其中。 问：是否存在的一个真赋值，使得中所有的子句均被满足？ 证明： 2SAT 是P－类问题。为叙述方便，采用数理逻辑中的“合取式”表达逻辑命题，于是 其中表示逻辑“与”，表示逻辑“或”，是某个或。 考虑表达式，如果有某个，则在乘积式中可以去掉该子句：，可见与的可满足性是等价的。所以我们可以假定中不含有形如的子句。注意到此时中的子句个数不会超过。 如果逻辑变量或它的非在的某个子句中出现，我们将表示成 （1） 其中是的一部分子句，而且不出现逻辑变量或它的非。令 （2） (2)式中不再含有变量和它的非。记。如果存在的真赋值，使得满足，在也一定满足。 因为如果取真值，则所有的必然取真值；取假值，所有的必然都取真值，不管那中情况，的乘积部分必然取真值。反之，假设存在的真赋值，使得满足。若有某个取假值，则所有的必然取真值，此时令取真值，得到的真赋值，使得满足。若有某个取假值，则令取假值，得到的真赋值，使得满足。如果所有的和都取真值，取假值得到的真赋值，使得满足。 至此我们得到：与的可满足性是等价的。但是后者涉及的变量数比前者少1，子句数为。但是，我们可以像前面一样简化掉所有形如的子句，因而可以假定中子句个数不超过。 上述过程可以一直进行到判定只含有一个逻辑变量的逻辑语句的可满足性问题。这需要一个常数时间即可。注意到我们每一步简化都可以在多项式（关于的）步骤内完成，总共需要至多步简化，因而，在多项式时间内可以完成2SAT二满足性问题的判定。即2SAT是P－类问题。 证毕 5. 独立集问题： 例：对于给定的无向图和正整数 问：是否包含一个于－独立集，即是否存在一个子集，使得中的任何两个顶点在图中都不相邻。 证明独立集问题都是NPC问题（提示：考虑独立集和团的关系：如果是图的团，则是的补图的独立集；反之亦然）。 证明（一）：思路：证明 ；选取一个已知的NP完全问题；构造一个从到的变换；证明为一个多项式变换。 我们选取团问题作为参照物。给定一个无向图，存在，，且对于任意有。我们构造新的无向图，使得为的补图，即对于任意，若，则，若，则。 考虑独立集和团的关系：如果是图的团，则是的补图的独立集；反之亦然。（详见（4）证明） 首先说明独立集问题是NP问题。因为无向图的团问题是一个NP问题，从而由其对应关系可知的独立集问题也是一个NP问题。（也可仿照无向图的独立团问题的三个阶段的方法，证明独立集问题是NP问题） 已知团问题是NPC问题。 下面证明独立集到团问题的转换是一个变换，只需要证明包含一个k独立集，当且仅当包含一个k团。 （i）如果包含一个k独立集，则在无向图中任何两个顶点都不相邻，因为为的补图，故在无向图中，对于顶点子集，任何两个顶点必然都存在，即包含一个k团。 （ii）如果包含一个k团，则对于无向图中任意有，因为为的补图，所以在无向图中对于顶点集，任何两个顶点必然都不相邻，即包含一个k独立集。 上述变换可以在多项式时间内完成，设无向图中的顶点个数为n，即，则对于，所以该变换可以在多项式时间内完成，即该变换为多项式变换。 证明（二）： 思路：由定理3如果，则. 可以证明独立集问题是一个NP问题，通过团问题独立集问题，而且团问题是一个NPC问题，来证明独立集问题是NP难问题，从而说明独立集问题是NPC问题。 如果是图的团，则是的补图的独立集；反之亦然。 所以团的问题独立集问题，所以只需证明V 是图G 的团即可。 由于团问题是一个NPC问题，所以独立集问题也是一个NPC问题。 （以上各题均来自同学们作业中的思想，仅供参考，自行整理答案。）